An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
☆98Jun 9, 2020Updated 6 years ago
Alternatives and similar repositories for rete
Users that are interested in rete are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clojure RETE implementation for frames☆76Dec 22, 2021Updated 4 years ago
- A ruby ffi interface to SWI-Prolog that goes both ways.☆12Jul 21, 2023Updated 3 years ago
- C plus Prolog☆169Apr 11, 2026Updated 6 months ago
- OPS5 Production System☆60Mar 28, 2013Updated 13 years ago
- JSON representation of first-order logic formulas☆13Aug 30, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated 2 weeks ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- A collection of interesting files for testing CSG engines in OpenSCAD file format.☆12Aug 22, 2025Updated last year
- A python implementation of delta debugging tool.☆27Feb 9, 2024Updated 2 years ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- Bringing Prolog to the masses.☆36Mar 7, 2022Updated 4 years ago
- OCaml bindings to kqueue☆21Feb 20, 2026Updated 8 months ago
- A Small Lisp in Forth☆160Apr 21, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ⚙️ Generate Components.js component files from TypeScript☆14Updated this week
- Create gifs in clojure!☆11Jan 23, 2024Updated 2 years ago
- UI infrastructure & framework for Pharo.☆17Updated this week
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- Extend JUnit 5 with a more flexible fixture style.☆10May 27, 2022Updated 4 years ago
- 99 Prolog Problems in Clojure core.logic☆18Nov 27, 2012Updated 13 years ago
- ☆13May 20, 2022Updated 4 years ago
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated 4 months ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆11Jun 4, 2026Updated 4 months ago
- A compact, efficient Prolog interpreter written in plain old C.☆391Updated this week
- TypeDB Behaviour Test Specification☆16Updated this week
- Only for educational purposes☆11Jun 17, 2023Updated 3 years ago
- Connect to any GRPC service from a browser via a WebSocket Proxy Server☆16Jun 12, 2018Updated 8 years ago
- ☆18Jul 16, 2013Updated 13 years ago
- ☆40Jul 15, 2024Updated 2 years ago
- Unstable egglog standard library.☆18Updated this week
- A compatibility layer for Gray streams including extensions☆14Jun 22, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Immutable database☆49Updated this week
- Documentation of Roassal3☆16Sep 28, 2023Updated 3 years ago
- A Lean (4) type checker written in RPython☆11Oct 26, 2026Updated last week
- Curated index of Outline-compatible circumvention strategies, adapters and tools☆12Sep 26, 2026Updated last month
- An understandable fast brainfuck interpreter using closures rather than bytecode☆13Apr 16, 2025Updated last year
- Pure lazy functional programming on the Java Platform☆37May 2, 2016Updated 10 years ago