A Reasoning System for a First-Order Logic of Limited Belief, written in C++
☆234Dec 23, 2020Updated 5 years ago
Alternatives and similar repositories for limbo
Users that are interested in limbo are comparing it to the libraries listed below
Sorting:
- Chaotic Life☆44Oct 9, 2017Updated 8 years ago
- A prolog-like language with compound truth value logic☆70Apr 5, 2018Updated 7 years ago
- Qubic Lite Reference Implementation (ql-node software)☆10Sep 22, 2018Updated 7 years ago
- Terminal Image Renderer☆36Sep 14, 2016Updated 9 years ago
- Kisrhombille geometry classes and methods☆311Feb 11, 2018Updated 8 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Dec 4, 2018Updated 7 years ago
- ☆52Apr 6, 2017Updated 8 years ago
- Probabalistic Advanced Modeling and Execution Learning Architecture☆230Nov 26, 2023Updated 2 years ago
- Cloe programming language☆413Nov 21, 2025Updated 3 months ago
- Wormhole Docker base image (Based on Ubuntu 14.04)☆18Apr 4, 2016Updated 9 years ago
- ☆136Apr 14, 2019Updated 6 years ago
- An in-memory datalog implementation for OCaml.☆276Oct 17, 2024Updated last year
- Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH☆28Jul 3, 2015Updated 10 years ago
- Skream is a high-performance time-series library with memory-footprint guarantees.☆162Jul 29, 2014Updated 11 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056May 23, 2017Updated 8 years ago
- Prototype smart text editor☆1,078Updated this week
- Bug-free machine learning on stochastic computation graphs☆398Mar 3, 2019Updated 7 years ago
- utilities☆15Jul 2, 2013Updated 12 years ago
- Go package to detect interesting portions of images☆60Mar 14, 2024Updated last year
- A repository for generative models☆117Jan 17, 2026Updated last month
- Tableau-based Theorem Prover for Natural Logic and Language☆120Nov 14, 2025Updated 3 months ago
- Time Series Pipeline (TSP) is an open metric gathering and routing system.☆27Sep 5, 2016Updated 9 years ago
- Emacs, vim, Sublime, Atom, IntelliJ, etc☆23Jan 27, 2017Updated 9 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- A neural network trained to help writing neural network code using autocomplete☆1,162Dec 23, 2020Updated 5 years ago
- x86-64 assembler library☆490Jan 15, 2021Updated 5 years ago
- A graph based REPL that saves to and loads from disk☆44Jun 13, 2015Updated 10 years ago
- Bloom Filter Demo☆21Jul 4, 2017Updated 8 years ago
- The Hindley Milner Type Inference Algorithm☆376Dec 11, 2016Updated 9 years ago
- A probabilistic programming language☆322Mar 21, 2022Updated 3 years ago
- A small personal project to learn Clojure by implementing some simple machine learning algorithms☆29Oct 12, 2009Updated 16 years ago
- Blazingly fast, GC friendly R-Tree☆12Jan 18, 2019Updated 7 years ago
- Node interface which parses sentences into grammatical structures☆12May 31, 2017Updated 8 years ago
- Bayesian Inference with Markov Chain Monte Carlo in Clojure☆16Mar 12, 2014Updated 11 years ago
- LBFGS optimization algorithm ported from liblbfgs☆12Nov 25, 2022Updated 3 years ago
- The Yak☆16May 11, 2018Updated 7 years ago
- Clojure Hardware Description Language (compiles down to vhdl)☆17Nov 27, 2013Updated 12 years ago
- TypeLeap☆12Mar 8, 2025Updated 11 months ago
- A wrapper around the OS X security library☆21May 13, 2011Updated 14 years ago