A fast in-memory rule engine
☆310Nov 4, 2026Updated this week
Alternatives and similar repositories for nemo
Users that are interested in nemo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java library based on the VLog rule engine☆36Jul 12, 2025Updated last year
- Logic programming in Rust☆592Aug 29, 2026Updated 2 months ago
- A semantic-less tool for the Semantic Web☆133Updated this week
- SPARQL graph database☆2,024Updated this week
- A SPARQL database, RDF Stream Processing Engine and RDF toolkit, supporting Neurosymbolic Stream Reasoning☆62Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Library and Protégé plugin for generating Description Logic explanations☆20Oct 22, 2026Updated last week
- PurRDF — one RDF 1.2 engine, one behavior, in Rust, Python, WebAssembly and C. Deterministic BM25 full-text search, exact GeoSPARQL 1.1 a…☆54Updated this week
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated 2 weeks ago
- ☆58Jul 16, 2023Updated 3 years ago
- ☆12Oct 29, 2025Updated last year
- High Availability Container Registry☆12Apr 9, 2025Updated last year
- Datalog compiler embedded in Rust as a procedural macro☆535Dec 14, 2025Updated 10 months ago
- Rust interface for the RDFox database☆13Mar 15, 2026Updated 7 months ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.☆25Updated this week
- JSON representation of first-order logic formulas☆13Aug 30, 2020Updated 6 years ago
- Reactive Reasoning☆55Sep 28, 2025Updated last year
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆18Mar 22, 2018Updated 8 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Oct 26, 2026Updated last week
- Property Graph and RDF engine, still in development☆267Sep 30, 2026Updated last month
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- A lightweight Datalog engine in Rust☆909Oct 28, 2026Updated last week
- FlowLog is an actively developed Datalog-to-Timely compiler that turns Souffle-compatible programs into standalone Differential Dataflow …☆61Updated this week
- 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.
- Generate SHACL shapes and vocabularies from Mermaid class diagrams.☆11Aug 14, 2025Updated last year
- egraphs + datalog!☆871Updated this week
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,192Updated this week
- Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.☆2,150Updated this week
- Command line tool and Java API for ontology engineering☆32Jul 15, 2026Updated 3 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆86Oct 24, 2026Updated last week
- A curated list of RDF Shape resources☆78Nov 17, 2025Updated 11 months ago
- ☆186Oct 28, 2026Updated last week
- Openllet is an OWL 2 reasoner in Java, build on top of Pellet.☆136Aug 4, 2025Updated last year
- 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.
- Whelk is an OWL EL reasoner☆47Oct 24, 2026Updated last week
- Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning☆101Sep 12, 2026Updated last month
- SPARQL Anything is a system for Semantic Web re-engineering that allows users to ... query anything with SPARQL.☆309Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,501Jul 7, 2023Updated 3 years ago
- Framework and Language for Neurosymbolic Programming.☆523Jun 26, 2026Updated 4 months ago
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆4,138Dec 4, 2024Updated last year
- 🕸️ A visualizer for graphs defined as logic programs☆36Aug 25, 2026Updated 2 months ago