chrisamaphone / interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
☆274Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for interactive-lp
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆261Updated 3 weeks ago
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- Higher Order Prolog with Extensional Semantics☆50Updated 4 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- ☆205Updated 6 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- A bare-bones calculus-of-constructions☆374Updated 2 years ago
- Tutorial materials for Ceptre.☆14Updated 7 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated last year
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆179Updated 6 years ago
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆365Updated last year
- Plasma Programming Language☆162Updated 2 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 6 months ago
- The Om programming language.☆168Updated 3 weeks ago
- A reference library for constraint-solving with propagators and CDCL.☆302Updated 4 months ago
- Noether programming language☆126Updated 7 years ago
- A less devious proof assistant☆222Updated last year
- Malfunctional Programming☆340Updated this week
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated 2 weeks ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆158Updated 5 years ago
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- Library and Toolkit for Standard ML☆144Updated last year
- The Incredible Proof Machine☆359Updated 10 months ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆210Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Charity language interpreters and literature☆114Updated 5 years ago
- syn·di·cate: a language for interactive programs☆152Updated 3 months ago