Repositories

sdiehl repositories

166 supported repositories

Show repositories with indexed issues
sdiehl/ConstraintKindsHaskell

Implements common Haskell type classes using the constraint kinds pattern to allow constraints.

Last commit Apr 23, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/MathJaxJavaScript

Beautiful math in all browsers

Last commit Aug 19, 2010

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/Write-You-a-Haskell-2Haskell

A continuation of Steven Diehl's Write You a Haskell

Last commit Jul 7, 2019

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/agents-experimentHaskell

Toy language

Last commit Jun 12, 2014

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/alex-toolsHaskell

A Haskell library making it easier to write Alex lexers.

Last commit Mar 27, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/aoc-2025-leanLean

Advent of Code 2025 done in Lean 4

Last commit Dec 12, 2025

 (18 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/aos-signatureHaskell

Abe-Ohkubo-Suzuki Linkable Ring Signatures

Last commit Nov 28, 2019

 (48 stars) (6 forks) (0 indexed issues) (0 open good first issues)
sdiehl/arithmetic-circuitsHaskell

Arithmetic circuits for zero knowledge proof systems

Last commit Apr 14, 2020

 (83 stars) (15 forks) (0 indexed issues) (0 open good first issues)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

Last commit Jun 15, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/aterm-utils

Utility functions for working with aterms as generated by Minitermite

Last commit Nov 17, 2012

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/awesome-crypto-critique

Awesome critique of crypto / web3. Aim for this to be high quality and constructive (where possible!)

Last commit Feb 22, 2022

 (16 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/beamer_templatePython

A toolchain to make beautiful Beamer presentations without fussing with LaTeX.

Last commit May 3, 2011

 (12 stars) (5 forks) (0 indexed issues) (0 open good first issues)
sdiehl/bitvecHaskell

Bit vectors library for Haskell

Last commit Oct 23, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/bnlcPython

Binary lambda calculus

Last commit Jul 2, 2013

 (6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/bulletproofsHaskell

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Last commit Dec 25, 2022

 (550 stars) (49 forks) (0 indexed issues) (0 open good first issues)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

Last commit May 30, 2026

 (18 stars) (1 fork) (0 indexed issues) (0 open good first issues)
sdiehl/cabal-editHaskell

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

Last commit Jul 25, 2020

 (77 stars) (2 forks) (0 indexed issues) (0 open good first issues)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

Last commit Jul 6, 2017

 (34 stars) (5 forks) (0 indexed issues) (0 open good first issues)
sdiehl/caverna-formalLean

Formal model of strategy dominance in 2-player Caverna board game

Last commit Apr 27, 2026

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
sdiehl/cfracHaskell

Continued fractions for arithmetic

Last commit Feb 20, 2020

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)