リポジトリ

sdiehl のリポジトリ

172 件の対応リポジトリ

索引済み issue があるリポジトリを表示
sdiehl/ConstraintKindsHaskell

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

最終コミット 2014/04/23

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/MathJaxJavaScript

Beautiful math in all browsers

最終コミット 2010/08/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/07/07

 (3 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/agents-experimentHaskell

Toy language

最終コミット 2014/06/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/03/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/04/14

 (83 stars) (15 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

最終コミット 2019/06/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/02/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/05/03

 (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/07/02

 (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

 (554 stars) (49 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

最終コミット 2026/06/22

 (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/07/25

 (77 stars) (2 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

最終コミット 2017/07/06

 (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/04/27

 (5 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
sdiehl/cfracHaskell

Continued fractions for arithmetic

最終コミット 2020/02/20

 (5 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)