rntz / datafun
Research on integrating datalog & lambda calculus via monotonicity types
☆397Updated 2 years ago
Alternatives and similar repositories for datafun:
Users that are interested in datafun are comparing it to the libraries listed below
- An in-memory datalog implementation for OCaml.☆268Updated 5 months ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- 1ML prototype interpreter☆280Updated 4 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- Malfunctional Programming☆346Updated 5 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆609Updated last week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- A less devious proof assistant☆224Updated 2 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆376Updated last year
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- Programming language agnostic type construction language based on polynomials.☆367Updated 10 months ago
- A prototype successor to Idris☆540Updated 5 years ago
- Compiler for the Mirth programming language.☆462Updated this week
- Embeddable Lambda Prolog Interpreter☆309Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- A fast functional language based on two level type theory☆390Updated 2 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Poly/ML☆498Updated 2 weeks ago
- Links: Linking Theory to Practice for the Web☆337Updated 3 weeks ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- Resources for type theory, functional programming, etc.☆318Updated 4 years ago
- Shen language kernel sources for porters☆372Updated 8 months ago
- Functional language for parallel programming☆432Updated 7 years ago
- Project: M36 Relational Algebra Engine☆919Updated 2 weeks ago
- Spartan type theory☆262Updated 10 months ago
- A categorical programming language with effects☆276Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 7 months ago