Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Resume | 685 | 3 months ago | agpl-3.0 | Typst | ||||||
:space_invader: My resume / 我的简历 | ||||||||||
Bnfc | 551 | 3 | 2 months ago | 27 | October 27, 2023 | 79 | TeX | |||
BNF Converter | ||||||||||
Derive | 21 | 77 | 5 years ago | 47 | December 01, 2023 | 13 | other | TeX | ||
A Haskell program and library to derive instances for data types | ||||||||||
Sat2015 Crypto | 14 | 8 years ago | bsd-3-clause | TeX | ||||||
Slides and examples to accompany the September 25th invited talk at SAT 2015 | ||||||||||
Lk Proof Assistant | 7 | 11 years ago | other | Haskell | ||||||
Simple Proof assistant for LK Calculus (First-Order logic) | ||||||||||
Ruby2haskell Tutorial | 6 | 9 years ago | TeX | |||||||
A presentation/tutorial on basic Haskell for Ruby programmers, and support materials. | ||||||||||
System Fc Coq | 6 | 9 years ago | TeX | |||||||