Repositories

sdiehl repositories

172 supported repositories

Show repositories with indexed 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

 (554 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 Jun 22, 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

 (6 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)
sdiehl/church-numbersPython

Lambda Calculus in Python

Last commit Apr 8, 2011

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

A Clifford algebra number type for Haskell

Last commit Apr 10, 2018

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

Generalized Clifford algebra explorer

Last commit May 13, 2026

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