A Roguelike Tabletop RPG
☆60Feb 19, 2024Updated 2 years ago
Alternatives and similar repositories for nests-and-insects
Users that are interested in nests-and-insects are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- Refactoring Tools for SWI-Prolog☆23Jul 1, 2026Updated last month
- Fast, simplified WAM-based Prolog system☆27Oct 30, 2025Updated 9 months ago
- Fonts for OpenMW☆16Jan 30, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- live visuals with audio analysis and support for midi controllers – implemented in proccesing☆12Dec 28, 2020Updated 5 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- GrizzlyBer, the fiercest TLV-BER parser!☆15Feb 9, 2026Updated 6 months ago
- Roguelike for 7DRL make in Elm☆30Jan 25, 2016Updated 10 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- Fullscreen CRT-like shader for GZDoom☆17Aug 14, 2021Updated 5 years ago
- Evaluate code in a running Guile process☆16Feb 14, 2026Updated 6 months ago
- GNU-Make-like utility for managing builds and complex workflows☆112Nov 14, 2023Updated 2 years ago
- A JNA wrapper for nanomsg/nng☆15Oct 5, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Jul 24, 2021Updated 5 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- Boxing primitive types in C++☆17Sep 27, 2024Updated last year
- Language Server for Prolog☆13Jul 16, 2026Updated 3 weeks ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- GOPHI: an AMR-to-English Verbalizer☆12Feb 5, 2020Updated 6 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 11 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Word counting made easy. Retrieve the number of words in a string or stdin.☆10Jan 5, 2023Updated 3 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…☆16Sep 20, 2025Updated 10 months ago
- Modern ANSI & ASCII Art Editor☆18Apr 6, 2025Updated last year
- A modern Prolog implementation written mostly in Rust.☆12Jun 10, 2026Updated 2 months ago
- JSK planning packages☆13Oct 7, 2025Updated 10 months ago
- Optional types for Prolog☆11Aug 14, 2018Updated 8 years ago
- Simple Python module to call termux-api by subprocess.☆13May 13, 2025Updated last year
- Reason about Term Rewriting Systems☆19Jul 24, 2022Updated 4 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Learn Ada by programming Minecraft robots!☆20Jan 13, 2026Updated 7 months ago
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- This python script streamlines the process required to encode and decode files to cassette tapes using an old dos program called KCS (CUT…☆16Apr 26, 2023Updated 3 years ago
- Explainable machine learning☆17Mar 17, 2019Updated 7 years ago
- Examples of common usage of the Cyc APIs.☆17Jan 18, 2018Updated 8 years ago