A tiny, friendly, C# parser construction library
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A C# parser construction toolkit with high-quality error reporting
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine