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 8 months ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- Chaotic Life☆44Updated 8 years ago
- Eskéndereyya: Learn how to read and write Arabic in less than 60 minutes☆81Updated 8 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- a multi-syntax language☆136Updated 9 years ago
- Algebraic Number Theory package☆271Updated 4 years ago
- Rewrite text in linear time.☆81Updated 2 years ago
- An example of PEG usage☆55Updated 9 years ago
- Open Research is a framework that contains documents that aid in the practice of product and customer research☆116Updated 9 years ago
- An alternative approach to food☆187Updated last year
- ☆136Updated 6 years ago
- generator for complex configurations☆99Updated 7 years ago
- A prolog-like language with compound truth value logic☆69Updated 7 years ago
- An AI/bot for 0 A.D.☆168Updated 8 years ago
- A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"☆624Updated 4 years ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆117Updated 7 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆272Updated 8 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Updated 5 years ago
- Simple blockchain server written in Haskell for educational purposes☆602Updated 7 years ago
- A proof of concept of Neural Networking for Quantum State recognition.☆68Updated 8 years ago
- A Wildflower IDE for touch devices.☆95Updated 10 years ago
- Fun with time travel: Implementing retroactive data structures in Python☆225Updated 4 years ago
- The BLOG programming language☆100Updated 2 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over☆80Updated 5 years ago
- The collection synthesizer☆211Updated 5 years ago
- APL Compiler targeting a typed array intermediate language☆216Updated last year
- A life simulator by providing rules and genes.☆50Updated 9 years ago