yawgmoth / Ostari
Practical Specification of Belief Manipulation in Games
☆32Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Ostari
- Tutorial materials for Ceptre.☆14Updated 8 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆18Updated 5 years ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆275Updated 2 months ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Updated 7 years ago
- A simple development of linear logic in Coq.☆12Updated 2 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Logic for story telling!☆32Updated 6 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆17Updated 9 years ago
- Generative Grammar Compiler☆19Updated 8 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- ☆59Updated 5 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- A simple, ASP-like embedded logic programming language for games☆48Updated 5 months ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Scéalextric is a knowledge-base for generating stories and jokes comprising a large collection of interlocking action triples and their l…☆61Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- A causal creation tool for constraint-based PCG☆19Updated 2 years ago
- A bare-bones blogging system, written in Prolog☆25Updated 9 months ago
- Higher Order Prolog with Extensional Semantics☆51Updated 4 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 6 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago
- Interpreter for the reversible functional language rFun☆35Updated 6 years ago
- DAYDREAMER goal-based agent☆74Updated 2 years ago
- Framework for Gibbs sampling of probabilistic models☆49Updated 9 years ago
- purple: compiling a reflective language☆29Updated last month