Dépôts

Dépôts de sdiehl

172 dépôts pris en charge

Afficher les dépôts avec des issues indexées
sdiehl/ConstraintKindsHaskell

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

Dernier commit 23 avr. 2014

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/MathJaxJavaScript

Beautiful math in all browsers

Dernier commit 19 août 2010

 (1 star) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/Write-You-a-Haskell-2Haskell

A continuation of Steven Diehl's Write You a Haskell

Dernier commit 7 juil. 2019

 (3 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/agents-experimentHaskell

Toy language

Dernier commit 12 juin 2014

 (3 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/alex-toolsHaskell

A Haskell library making it easier to write Alex lexers.

Dernier commit 27 mars 2020

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/aoc-2025-leanLean

Advent of Code 2025 done in Lean 4

Dernier commit 12 déc. 2025

 (18 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/aos-signatureHaskell

Abe-Ohkubo-Suzuki Linkable Ring Signatures

Dernier commit 28 nov. 2019

 (48 stars) (6 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/arithmetic-circuitsHaskell

Arithmetic circuits for zero knowledge proof systems

Dernier commit 14 avr. 2020

 (83 stars) (15 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

Dernier commit 15 juin 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/aterm-utils

Utility functions for working with aterms as generated by Minitermite

Dernier commit 17 nov. 2012

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/awesome-crypto-critique

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

Dernier commit 22 févr. 2022

 (16 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/beamer_templatePython

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

Dernier commit 3 mai 2011

 (12 stars) (5 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/bitvecHaskell

Bit vectors library for Haskell

Dernier commit 23 oct. 2019

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/bnlcPython

Binary lambda calculus

Dernier commit 2 juil. 2013

 (6 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/bulletproofsHaskell

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

Dernier commit 25 déc. 2022

 (554 stars) (49 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

Dernier commit 22 juin 2026

 (18 stars) (1 fork) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/cabal-editHaskell

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

Dernier commit 25 juil. 2020

 (77 stars) (2 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

Dernier commit 6 juil. 2017

 (34 stars) (5 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/caverna-formalLean

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

Dernier commit 27 avr. 2026

 (5 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
sdiehl/cfracHaskell

Continued fractions for arithmetic

Dernier commit 20 févr. 2020

 (5 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)