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
Sorting:
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- qrcode with image genreator☆12Aug 4, 2024Updated last year
- Create, modify, and export Half-Life/GoldSrc WAD3 files in your browser.☆11Oct 23, 2025Updated 4 months ago
- ☆13Updated this week
- ☆19Mar 25, 2013Updated 12 years ago
- watching for changes inside a directory and all sub-directories, recursively☆13Jul 5, 2018Updated 7 years ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- The community-maintained fork of the Dialog programming language for interactive fiction.☆26Updated this week
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated last year
- Restructor Prototype☆21Jun 10, 2017Updated 8 years ago
- Why can't the 6502 virtualize itself? Good question.☆21May 15, 2024Updated last year
- αProlog☆18Jul 9, 2023Updated 2 years ago
- ☆18Jul 31, 2011Updated 14 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- An alternative to godoc.org☆22Apr 15, 2018Updated 7 years ago
- A curated collection of CP/M software☆32May 5, 2025Updated 10 months ago
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- Battle-tested Go struct and map traversal utilities.☆33Jan 17, 2020Updated 6 years ago
- The 70s Super Star Trek command line game revived as an HTML 5 app☆35Jul 14, 2025Updated 7 months ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- Trealla Prolog embedded in Go using WASM☆82Dec 24, 2025Updated 2 months ago
- Polynomial-time Meta-Interpretive Learning☆134Feb 11, 2025Updated last year
- Angband on the web☆32Aug 24, 2021Updated 4 years ago
- A simple Z-Machine implementation in a single C file. Now with online multiplayer! :)☆141Nov 29, 2025Updated 3 months ago
- Minimal Railway Oriented Programming for Go☆27Jun 12, 2017Updated 8 years ago
- The Castles of Dr. Creep☆32Mar 18, 2022Updated 3 years ago
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 3 weeks ago
- Moongate is modern Ultima Online server built from scratch in C# with AOT compilation for high performance and nostalgic gameplay experie…☆158Updated this week
- Per-project preference utility for Unity tools development.☆39Nov 22, 2021Updated 4 years ago
- Clojure parsing in Go☆38Oct 13, 2023Updated 2 years ago
- Art of Prolog Code☆37Aug 28, 2019Updated 6 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago