hazelgrove / diy-hazelnutLinks
A template for you to implement Hazelnut yourself
β22Updated 2 weeks ago
Alternatives and similar repositories for diy-hazelnut
Users that are interested in diy-hazelnut are comparing it to the libraries listed below
Sorting:
- πͺ A Staged Type Theoryβ35Updated last year
- Playing with type systemsβ51Updated 5 months ago
- A pretty-printing combinator library for OCamlβ51Updated 10 months ago
- π©Ί A library for compiler diagnosticsβ46Updated 4 months ago
- A type theory with native support for Polynomial Functors.β39Updated last year
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ37Updated last year
- Prototype for https://github.com/Innf107/vegaβ19Updated 11 months ago
- FΟΞΌ type checker and compilerβ54Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.β39Updated 4 years ago
- Duo - A research language exploring duality in programming language designβ57Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ52Updated 4 months ago
- A formalization of System FΟ in Agdaβ17Updated 4 months ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modulesβ31Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own languageβ28Updated 5 months ago
- A TOML parser for Idris 2β17Updated 11 months ago
- Efficient effect handlers based on Evidence Passing Semantics.β30Updated 4 years ago
- A pure type system implemented in OCamlβ78Updated 4 years ago
- An interpreter of F-ing modulesβ19Updated 6 years ago
- A Toy Inverse Bidirectional Typecheckerβ31Updated 6 years ago
- π¦ Reusable components based on algebraic effectsβ50Updated 8 months ago
- An implementation of a simple Neural network in Idris using category theory.β23Updated 9 months ago
- Formalization of CBPV extended with effect and coeffect trackingβ13Updated 9 months ago
- An error-tolerant live programming environment (my Master's thesis)β19Updated 2 years ago
- π§ An indexed construction of semi-simplicial and semi-cubical setsβ29Updated 2 weeks ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and moreβ26Updated 2 years ago
- MetaML and MetaOCaml bibliographyβ91Updated 6 months ago
- Anders: Cubical Type Checkerβ24Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-tyβ¦β26Updated 3 years ago
- β35Updated last year