chrisamaphone / ceptre-tutorial
Tutorial materials for Ceptre.
☆14Updated 8 years ago
Alternatives and similar repositories for ceptre-tutorial:
Users that are interested in ceptre-tutorial are comparing it to the libraries listed below
- Tinkering with creating a functional programming language for procedural content generation.☆18Updated 2 months ago
- Practical Specification of Belief Manipulation in Games☆32Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆277Updated 5 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Updated 9 years ago
- Our Ludum Dare entry☆20Updated 7 years ago
- purple: compiling a reflective language☆32Updated 4 months ago
- A rules-based AI framework for social simulation☆51Updated 2 years ago
- Novel generator written for NaNoGenMo 2015☆23Updated 11 months ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆21Updated 3 weeks ago
- A simple Prolog interpreter☆42Updated 3 years ago
- ☆13Updated 6 years ago
- Logic for story telling!☆34Updated 6 years ago
- https://mkremins.itch.io/starfreighter☆14Updated 6 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Exercism exercises in Coq.☆18Updated 3 months ago
- A generator of American small towns, with an emphasis on social simulation.☆94Updated 4 months ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A strongly-typed, functional rendering/game engine☆26Updated 10 years ago
- A relational interpretation of Lojban☆33Updated 2 weeks ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- microkanren in sml☆26Updated 9 years ago
- A bare-bones blogging system, written in Prolog☆25Updated last year
- Choba is an experimental interactive storytelling engine written in JavaScript. It is intended for choice-based interactive fiction (IF),…☆26Updated 8 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- DAYDREAMER goal-based agent☆75Updated 3 years ago