:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
A tiny, friendly, C# parser construction library
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
Library for creating tagged constructors.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
Flexible regular expressions constructor for Golang.
- builder-pattern
- constructor
- go
- golang
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds
- compiler
- compiler-principles
- compiler-construction
- swift