schwering / limboLinks
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
☆234Updated 4 years ago
Alternatives and similar repositories for limbo
Users that are interested in limbo are comparing it to the libraries listed below
Sorting:
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 4 months ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Chaotic Life☆44Updated 7 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- ☆136Updated 6 years ago
- Eskéndereyya: Learn how to read and write Arabic in less than 60 minutes☆81Updated 8 years ago
- An AI/bot for 0 A.D.☆168Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- a multi-syntax language☆136Updated 9 years ago
- Open Research is a framework that contains documents that aid in the practice of product and customer research☆117Updated 9 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆622Updated 4 years ago
- The collection synthesizer☆211Updated 4 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- An example of PEG usage☆55Updated 8 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- An alternative approach to food☆187Updated 9 months ago
- generator for complex configurations☆99Updated 7 years ago
- A framework of abstractions☆294Updated last year
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 4 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- Find surprising moves in chess games☆178Updated 4 years ago
- Rewrite text in linear time.☆81Updated 2 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Updated 5 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 8 months ago
- Prototype smart text editor☆1,063Updated 3 months ago