Sintrastes / Montague
A library for non-deterministically parsing natural language expressions into a structured form.
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Montague
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- A type theory with native support for Polynomial Functors.☆38Updated last year
- A string diagram generator for LaTeX.☆26Updated last year
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- ☆16Updated 7 months ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- A proof that Idris is pacman complete☆8Updated 7 years ago
- Spartan implementation of H.O.T.T.☆25Updated 2 years ago
- Experiments with higher-order abstract syntax in Agda☆19Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Two-Level Type Theory☆27Updated 4 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Generalized syntax & semantics for universe hierarchies☆28Updated 11 months ago
- Haskell implementation of the Edinburgh Logical Framework☆26Updated last month
- A small NuPRL style proof assistant☆32Updated 5 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- ☆22Updated 8 years ago
- A simple λProlog interpreter☆20Updated 2 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Session types in Idris2!☆27Updated 3 years ago
- TPTP linear logic version☆13Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 2 months ago