Repository

Repository di sdiehl

166 repository supportati

Mostra repository con issue indicizzate
sdiehl/ConstraintKindsHaskell

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

Ultimo commit 23 apr 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/MathJaxJavaScript

Beautiful math in all browsers

Ultimo commit 19 ago 2010

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/Write-You-a-Haskell-2Haskell

A continuation of Steven Diehl's Write You a Haskell

Ultimo commit 7 lug 2019

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/agents-experimentHaskell

Toy language

Ultimo commit 12 giu 2014

 (3 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/alex-toolsHaskell

A Haskell library making it easier to write Alex lexers.

Ultimo commit 27 mar 2020

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/aoc-2025-leanLean

Advent of Code 2025 done in Lean 4

Ultimo commit 12 dic 2025

 (18 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/aos-signatureHaskell

Abe-Ohkubo-Suzuki Linkable Ring Signatures

Ultimo commit 28 nov 2019

 (48 star) (6 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/arithmetic-circuitsHaskell

Arithmetic circuits for zero knowledge proof systems

Ultimo commit 14 apr 2020

 (83 star) (15 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

Ultimo commit 15 giu 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/aterm-utils

Utility functions for working with aterms as generated by Minitermite

Ultimo commit 17 nov 2012

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/awesome-crypto-critique

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

Ultimo commit 22 feb 2022

 (16 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/beamer_templatePython

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

Ultimo commit 3 mag 2011

 (12 star) (5 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/bitvecHaskell

Bit vectors library for Haskell

Ultimo commit 23 ott 2019

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/bnlcPython

Binary lambda calculus

Ultimo commit 2 lug 2013

 (6 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/bulletproofsHaskell

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

Ultimo commit 25 dic 2022

 (550 star) (49 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

Ultimo commit 30 mag 2026

 (18 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/cabal-editHaskell

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

Ultimo commit 25 lug 2020

 (77 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

Ultimo commit 6 lug 2017

 (34 star) (5 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/caverna-formalLean

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

Ultimo commit 27 apr 2026

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
sdiehl/cfracHaskell

Continued fractions for arithmetic

Ultimo commit 20 feb 2020

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)