Derive

A Haskell program and library to derive instances for data types
Alternatives To Derive
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Resume685
3 months agoagpl-3.0Typst
:space_invader: My resume / 我的简历
Bnfc551
32 months ago27October 27, 202379TeX
BNF Converter
Derive21
775 years ago47December 01, 202313otherTeX
A Haskell program and library to derive instances for data types
Sat2015 Crypto14
8 years agobsd-3-clauseTeX
Slides and examples to accompany the September 25th invited talk at SAT 2015
Lk Proof Assistant7
11 years agootherHaskell
Simple Proof assistant for LK Calculus (First-Order logic)
Ruby2haskell Tutorial6
9 years agoTeX
A presentation/tutorial on basic Haskell for Ruby programmers, and support materials.
System Fc Coq6
9 years agoTeX
Alternatives To Derive
Select 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
Preprocessor