schwering / limboLinks
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
☆237Updated 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 3 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Chaotic Life☆44Updated 7 years ago
- The collection synthesizer☆211Updated 4 years ago
- Algebraic Number Theory package☆272Updated 3 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- Athena Regional Stability Simulation☆85Updated 9 years ago
- a multi-syntax language☆134Updated 9 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- A framework of abstractions☆293Updated 10 months ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated last week
- ☆136Updated 6 years ago
- A modern syntax for the λ-calculus.☆413Updated 8 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 6 months ago
- Prototype smart text editor☆1,064Updated 2 months ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- generator for complex configurations☆99Updated 7 years ago
- Improve your shell by making it functional through Haskell! (An update to Awkward)☆290Updated 3 years ago
- Generate guitar tablatures using a constraint solver☆138Updated 5 years ago
- A fun image processing project in javascript that is marginally related to my learning theory research.☆58Updated 9 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
- Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json☆358Updated 5 years ago
- A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…☆248Updated last year
- Casual experiments with cellular automata☆78Updated 6 years ago
- Neural network inference the Unix way☆560Updated 6 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- APL Compiler targeting a typed array intermediate language☆213Updated 8 months ago