System Fc Coq
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Resume | 685 | 4 months ago | agpl-3.0 | Typst | ||||||
| :space_invader: My resume / 我的简历 | ||||||||||
| Bnfc | 551 | 3 | 3 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 | 9 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 | |||||||
Alternatives To System Fc CoqSelect To Compare
Alternative Project Comparisons
Popular Tex Projects
Popular Ghc Projects
Popular Text Processing Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Tex
Ghc
Coq