リポジトリ

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)