A boilerplate/proof-of-concept for a Rete Algorithm implementation in Elixir
-
Updated
Aug 26, 2023 - Elixir
#
rete-algorithm
Here are 16 public repositories matching this topic...
Simple RETE algorithm implementation
-
Updated
May 7, 2023 - Python
Rules Engine written in TypeScript implementing the Rete algorithm
-
Updated
Feb 1, 2013
GenPark AI Agent Skill - High-speed forward chaining expert system implementing the Rete pattern matching algorithm across working memory facts.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - High-speed forward chaining expert system implementing the Rete pattern matching algorithm across working memory facts.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - DPLL (Davis-Putnam-Logemann-Loveland) Boolean satisfiability solver with unit clause propagation and pure literal elimination for agent policy verification.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - Linear Temporal Logic (LTL) symbolic model checker verifying safety (G), liveness (F), and response (G(p -> Fq)) across finite state transition graphs.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.
mcp first-order-logic model-checking sat-solver constraint-satisfaction dpll symbolic-logic rete-algorithm agentic-ai python-stdlib genpark-skill
-
Updated
Sep 7, 2026 - Python
Forward Chaining Rules compiler. RETE algorithm widely extended. Fastest implementation made in C++. Node side memories optimized with BTrees to ease matching
-
Updated
Dec 8, 2022 - C++
Lisa is a production rule system for Common Lisp, whose purpose is to provide a foundation for the development of "intelligent" applications. Lisa employs a modern CLOS implementation of Rete and is based on CLIPS and Jess.
-
Updated
Dec 26, 2024 - Common Lisp
⚡ Integrate type-safe TanStack Query with Eden Treaty for Elysia. Streamline data fetching while ensuring type safety and ease of use.
firebase xml blockchain solidity dts eden rete trade-agreements wto treaty rete-algorithm react-dashboard react-hooks react-query cmdk tanstack-react-query nuqs tanstack-start-dashboard
-
Updated
Sep 7, 2026 - TypeScript
The Ops5 programming language for production systems
-
Updated
Apr 12, 2025 - Common Lisp
A curated list of forward- and backward-chaining rule engines, BRMS platforms, rule DSLs, and language-specific libraries.
-
Updated
Jul 29, 2026
Add this topic to your repo
To associate your repository with the rete-algorithm topic, visit your repo's landing page and select "manage topics."