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 causal creation tool for constraint-based PCG☆19Nov 4, 2022Updated 3 years ago
- A general framework for embedding Logic Programming in complex systems☆30Mar 30, 2024Updated last year
- Procjam 2019 project that builds tiny economies☆29Jun 21, 2022Updated 3 years ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Jul 25, 2017Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A simple text planner for use in Unity games☆27Mar 6, 2026Updated 2 weeks ago
- StoryAssembler: a dynamic choice-based narrative generation engine☆64Apr 5, 2020Updated 5 years ago
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- stupid conlang project☆15Mar 1, 2022Updated 4 years ago
- A rules-based AI framework for social simulation☆56Nov 10, 2022Updated 3 years ago
- Tools to create and build interactive fiction.☆38Jul 17, 2025Updated 8 months 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 …☆48Oct 8, 2025Updated 5 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- UNIX is my IDE and Neovim my Emacs☆14Jun 12, 2025Updated 9 months ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆19Nov 28, 2024Updated last year
- A command-line tool for building web playable versions of Ink stories☆17Aug 13, 2017Updated 8 years ago
- A Vite plugin for Melange☆13Feb 26, 2025Updated last year
- Borogove online IDE for IF languages☆37Dec 18, 2025Updated 3 months ago
- Tune your Unity game's constants using a Korg MIDI controller☆57Aug 5, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- A Matrix chat client☆14Feb 1, 2026Updated last month
- High performance FID (Fully Indexable Dictionary) library☆25Jul 19, 2024Updated last year
- XKCD 3062☆23Mar 13, 2025Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago
- Create simulation-driven visual novels in Unity.☆75Sep 19, 2025Updated 6 months ago
- ck2gen source☆13Mar 10, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- Q line editor and full-screen interface editor☆11May 16, 2021Updated 4 years ago
- A narrative-focused agent-based settlement simulation framework.☆73Jul 16, 2025Updated 8 months ago
- A simple demo showing D3.js visualisations embedded in a Microsoft WPF application.☆12Sep 22, 2016Updated 9 years ago
- Latent space walks for VAE-Space, Clip-Space and Noise-Space + Random Walks for Clip-Space☆17Aug 20, 2024Updated last year
- Myself as a Package☆16Apr 11, 2025Updated 11 months ago