Repositórios

Repositórios de sdiehl

172 repositórios suportados

Mostrar repositórios com issues indexadas
sdiehl/ConstraintKindsHaskell

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

Último commit 23 de abr. de 2014

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/MathJaxJavaScript

Beautiful math in all browsers

Último commit 19 de ago. de 2010

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

A continuation of Steven Diehl's Write You a Haskell

Último commit 7 de jul. de 2019

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/agents-experimentHaskell

Toy language

Último commit 12 de jun. de 2014

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/alex-toolsHaskell

A Haskell library making it easier to write Alex lexers.

Último commit 27 de mar. de 2020

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/aoc-2025-leanLean

Advent of Code 2025 done in Lean 4

Último commit 12 de dez. de 2025

 (18 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
sdiehl/aos-signatureHaskell

Abe-Ohkubo-Suzuki Linkable Ring Signatures

Último commit 28 de nov. de 2019

 (48 stars) (6 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/arithmetic-circuitsHaskell

Arithmetic circuits for zero knowledge proof systems

Último commit 14 de abr. de 2020

 (83 stars) (15 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

Último commit 15 de jun. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/aterm-utils

Utility functions for working with aterms as generated by Minitermite

Último commit 17 de nov. de 2012

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/awesome-crypto-critique

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

Último commit 22 de fev. de 2022

 (16 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/beamer_templatePython

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

Último commit 3 de mai. de 2011

 (12 stars) (5 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/bitvecHaskell

Bit vectors library for Haskell

Último commit 23 de out. de 2019

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/bnlcPython

Binary lambda calculus

Último commit 2 de jul. de 2013

 (6 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/bulletproofsHaskell

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

Último commit 25 de dez. de 2022

 (554 stars) (49 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

Último commit 22 de jun. de 2026

 (18 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
sdiehl/cabal-editHaskell

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

Último commit 25 de jul. de 2020

 (77 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

Último commit 6 de jul. de 2017

 (34 stars) (5 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/caverna-formalLean

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

Último commit 27 de abr. de 2026

 (5 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
sdiehl/cfracHaskell

Continued fractions for arithmetic

Último commit 20 de fev. de 2020

 (5 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)