o89 / n2oLinks
N2O: Application Server
☆12Updated 2 years ago
Alternatives and similar repositories for n2o
Users that are interested in n2o are comparing it to the libraries listed below
Sorting:
- A TOML parser for Idris 2☆17Updated last year
- Package manager for Idris☆37Updated 3 years ago
- Formalization of type theory☆22Updated 4 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- Anders: Cubical Type Checker☆23Updated last year
- A dependently typed programming language, and verification tool☆27Updated 9 years ago
- A simple supercompiler formally verified in Agda☆34Updated 8 years ago
- A Dependently Typed Programming Language☆27Updated 5 years ago
- implementation deriving for idris2☆12Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 5 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- ☆16Updated 7 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- Experimental type-checker for internally parametric type theory☆32Updated 5 months ago
- A portable idris2 implementation of TLS☆32Updated 10 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆40Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Effectful Streaming for Idris☆15Updated 4 years ago
- Session types in Idris2!☆27Updated 4 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- being an experiment with potato power☆23Updated 5 years ago
- Generation of abstract binding trees☆27Updated 11 months ago