eftsilio / Incremental_RTECLinks
Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order streams.
☆13Updated 4 years ago
Alternatives and similar repositories for Incremental_RTEC
Users that are interested in Incremental_RTEC are comparing it to the libraries listed below
Sorting:
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 11 months ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆100Updated last week
- egg is a flexible, high-performance e-graph library☆13Updated last year
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 3 months ago
- A probabilistic approximate DNF counter☆39Updated 2 weeks ago
- An interactive Datalog☆57Updated this week
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last week
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Updated 11 months ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- ☆23Updated last year
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- A programming language for data stream analytics.☆22Updated 2 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.☆320Updated 7 months ago
- Using Large Language Models for Repo-wide Type Prediction☆112Updated 2 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- ergonomic columnar storage encoding crate☆27Updated 2 months ago
- Use MiniZinc in the browser or with NodeJS☆51Updated 2 months ago
- depict – share mental models better☆39Updated 2 years ago
- A list of languages that compile to SQL☆69Updated 3 years ago
- Antithesis SDK for Rust☆28Updated 2 months ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- A RISC-V emulator built with ClickHouse SQL☆48Updated last week
- SWI-Prolog WebAssembly build as a NPM package☆56Updated this week
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 10 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 6 months ago