A simple, ASP-like embedded logic programming language for games
☆47Jun 8, 2024Updated last year
Alternatives and similar repositories for CatSAT
Users that are interested in CatSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Jul 25, 2017Updated 8 years ago
- A simple text planner for use in Unity games☆27Mar 6, 2026Updated last month
- StoryAssembler: a dynamic choice-based narrative generation engine☆65Apr 5, 2020Updated 6 years ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A rules-based AI framework for social simulation☆56Nov 10, 2022Updated 3 years ago
- A simple-to-use graph grammar engine☆11May 8, 2021Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them☆18Dec 8, 2023Updated 2 years ago
- Sabre is a narrative planning platform that generates stories which meet the author's goals and only contain actions that make sense for …☆49Oct 8, 2025Updated 6 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A narrative engine for interactive storytelling☆123Nov 20, 2022Updated 3 years ago
- UNIX is my IDE and Neovim my Emacs☆14Jun 12, 2025Updated 10 months ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tinkering with creating a functional programming language for procedural content generation.☆19Nov 28, 2024Updated last year
- Borogove online IDE for IF languages☆38Dec 18, 2025Updated 3 months ago
- Tune your Unity game's constants using a Korg MIDI controller☆57Aug 5, 2022Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Mar 30, 2026Updated 2 weeks ago
- Implementation of the Metropolis algorithm in the Rust programming language☆21May 12, 2019Updated 6 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- A Matrix chat client☆14Feb 1, 2026Updated 2 months ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Jul 7, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- XKCD 3062☆23Mar 13, 2025Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- ck2gen source☆13Mar 10, 2019Updated 7 years ago
- Choba is an experimental interactive storytelling engine written in JavaScript. It is intended for choice-based interactive fiction (IF),…☆26Feb 26, 2016Updated 10 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- ☆16Dec 23, 2020Updated 5 years ago
- A simple demo showing D3.js visualisations embedded in a Microsoft WPF application.☆12Sep 22, 2016Updated 9 years ago
- Generate a zelda 1 like dungeon using Joris Dormans' Mission Graph and Layout Grammar☆38Feb 5, 2020Updated 6 years ago
- This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie☆14Nov 22, 2015Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- a web tool for making "one-way" flowcharts for game design☆17Oct 22, 2024Updated last year
- A port of MiniKanren to F# - embedded, typed logic programming☆30Jan 28, 2018Updated 8 years ago
- The Coil Programming Language☆33Mar 19, 2024Updated 2 years ago
- Script to manage computer usage by time and schedule.☆18Jul 28, 2017Updated 8 years ago
- Advent Of Code (http://adventofcode.com/) solutions☆14Dec 12, 2025Updated 4 months ago
- A native implementation of the MicroKanren DSL for .NET☆47Feb 26, 2015Updated 11 years ago
- A relationship system for RPGs, simulation games, and adventure games in Unity.☆27Sep 19, 2025Updated 6 months ago