chrisamaphone / interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
☆275Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for interactive-lp
- An in-memory datalog implementation for OCaml.☆261Updated last month
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- Practical Specification of Belief Manipulation in Games☆32Updated 6 years ago
- A bare-bones calculus-of-constructions☆375Updated 2 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- Tutorial materials for Ceptre.☆14Updated 8 years ago
- A less devious proof assistant☆222Updated last year
- The People's Refinement Logic☆227Updated 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
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- ☆135Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Parser for Attempto Controlled English (ACE)☆188Updated 7 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 7 months ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- A modern syntax for the λ-calculus.☆409Updated 8 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated last week
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- Higher Order Prolog with Extensional Semantics☆51Updated 4 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆365Updated last year
- Malfunctional Programming☆341Updated last week
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆158Updated 5 years ago
- The implementation of microKanren, a featherweight relational programming language☆307Updated 10 years ago
- A rules-based AI framework for social simulation☆50Updated 2 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- Noether programming language☆126Updated 7 years ago
- Spartan type theory☆257Updated 5 months ago
- 1ML prototype interpreter☆270Updated 4 years ago
- Categorical Query Language IDE☆299Updated last month