仓库

sdiehl 的仓库

166 个支持的仓库

只显示包含已索引 issue 的仓库
sdiehl/ConstraintKindsHaskell

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

最近提交 2014年4月23日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/MathJaxJavaScript

Beautiful math in all browsers

最近提交 2010年8月19日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/Write-You-a-Haskell-2Haskell

A continuation of Steven Diehl's Write You a Haskell

最近提交 2019年7月7日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/agents-experimentHaskell

Toy language

最近提交 2014年6月12日

 (3 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/alex-toolsHaskell

A Haskell library making it easier to write Alex lexers.

最近提交 2020年3月27日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/aoc-2025-leanLean

Advent of Code 2025 done in Lean 4

最近提交 2025年12月12日

 (18 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/aos-signatureHaskell

Abe-Ohkubo-Suzuki Linkable Ring Signatures

最近提交 2019年11月28日

 (48 stars) (6 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/arithmetic-circuitsHaskell

Arithmetic circuits for zero knowledge proof systems

最近提交 2020年4月14日

 (83 stars) (15 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

最近提交 2019年6月15日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/aterm-utils

Utility functions for working with aterms as generated by Minitermite

最近提交 2012年11月17日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/awesome-crypto-critique

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

最近提交 2022年2月22日

 (16 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/beamer_templatePython

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

最近提交 2011年5月3日

 (12 stars) (5 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/bitvecHaskell

Bit vectors library for Haskell

最近提交 2019年10月23日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/bnlcPython

Binary lambda calculus

最近提交 2013年7月2日

 (6 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/bulletproofsHaskell

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

最近提交 2022年12月25日

 (550 stars) (49 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

最近提交 2026年5月30日

 (18 stars) (1 fork) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/cabal-editHaskell

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

最近提交 2020年7月25日

 (77 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

最近提交 2017年7月6日

 (34 stars) (5 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/caverna-formalLean

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

最近提交 2026年4月27日

 (5 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
sdiehl/cfracHaskell

Continued fractions for arithmetic

最近提交 2020年2月20日

 (5 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)