john-ml / stitch
Prolog + SMT
☆7Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for stitch
- Compiler for untyped π-calculus + simple C FFI☆9Updated 4 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 8 years ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- Generalized syntax & semantics for universe hierarchies☆28Updated 11 months ago
- ICFP tutorial☆40Updated 3 years ago
- WIP stack language that uses regex for control flow☆41Updated last year
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Updated 9 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A simple λProlog interpreter☆20Updated 2 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- Compiler and tooling for the Myte programming language.☆21Updated last year
- A Teeny Type Theory☆26Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Work in progress on semi-simplicial types☆23Updated last year
- Changes and Pinafore projects. Pull requests not accepted.☆32Updated 2 weeks ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Updated 9 months ago
- An Agda library for programming with ternary relations☆16Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- Linear algebra formalization in Agda☆16Updated 4 years ago
- Simply typed lambda calculus in cubical agda☆21Updated 4 years ago
- ☆39Updated 3 months ago
- Haskell implementation of interaction net-based lambda evaluation☆16Updated 8 years ago
- Setoid type theory implementation☆38Updated last year
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago