ru / casanova
A charming general game player
☆15Updated 14 years ago
Related projects ⓘ
Alternatives and complementary repositories for casanova
- The SWI-Prolog Unit Testing library☆9Updated this week
- Tinkering with creating a functional programming language for procedural content generation.☆18Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Compiler for MFM programming language☆21Updated 3 weeks ago
- Building and Using A Seed Corpus for the Human Language Project☆11Updated 6 years ago
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- Generative Grammar Compiler☆19Updated 8 years ago
- Write TAP tests with SWI-Prolog☆12Updated last year
- Operations with matrices, SWI pack☆12Updated 11 months ago
- A city building game for the Anthropocene☆16Updated 5 years ago
- Implementation of dependent type theory in SWI-Prolog☆8Updated 4 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Explainable machine learning☆18Updated 5 years ago
- A book of explanations: a project for nanogenmo 2016☆11Updated 7 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆19Updated 4 years ago
- Annie's version of talespin☆12Updated 6 years ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆14Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated last year
- English is fun☆9Updated 9 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆11Updated 9 years ago
- bbs written in Ur/Web☆13Updated 8 years ago
- Small Prolog☆12Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years ago