rntz / datafun
Research on integrating datalog & lambda calculus via monotonicity types
☆385Updated 2 years ago
Related projects: ⓘ
- Programming language agnostic type construction language based on polynomials.☆366Updated 3 months ago
- A simple expressions language with polymorphic extensible row types.☆300Updated last year
- An in-memory datalog implementation for OCaml.☆254Updated 2 years ago
- Software Foundations in Idris☆452Updated 5 years ago
- Functional programming with fewer indirections☆758Updated 4 years ago
- 1ML prototype interpreter☆271Updated 4 years ago
- Hazel, a live functional programming environment with typed holes☆744Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆200Updated 7 months ago
- The implementation of microKanren, a featherweight relational programming language☆305Updated 10 years ago
- Compiler for the Mirth programming language.☆445Updated last month
- Links: Linking Theory to Practice for the Web☆320Updated last month
- A less devious proof assistant☆220Updated last year
- A prototype successor to Idris☆539Updated 5 years ago
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- Spartan type theory☆250Updated 3 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆364Updated 10 months ago
- A bare-bones calculus-of-constructions☆373Updated 2 years ago
- Bootstrapping ATS3☆194Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- Minimal implementations for dependent type checking and elaboration☆600Updated last month
- Malfunctional Programming☆336Updated 2 months ago
- A categorical programming language with effects☆266Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆253Updated last week
- The Makam Metalanguage☆187Updated last year
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,019Updated last year
- A fast functional language based on two level type theory☆388Updated last year
- A demo implementation of a simple dependently-typed language☆557Updated last month
- Demo for high-performance type theory elaboration☆516Updated 10 months ago
- Frank compiler☆274Updated 4 months ago