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 3 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 8 months ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆98Updated 2 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated last week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A probabilistic approximate DNF counter☆37Updated this week
- An interactive Datalog☆49Updated this week
- egg is a flexible, high-performance e-graph library☆12Updated last year
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Use MiniZinc in the browser or with NodeJS☆40Updated 3 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated this week
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- SWI-Prolog WebAssembly build as a NPM package☆52Updated this week
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 8 months ago
- Trealla Prolog for the web☆53Updated last week
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆24Updated last week
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- Use SQL to instantly query stories, users and other items from Hacker News. Open source CLI. No DB required.☆17Updated 3 weeks ago
- A list of languages that compile to SQL☆68Updated 3 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 3 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A fast in-memory rule engine☆163Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Updated last year
- a very (x 10) basic wasm console☆21Updated last year
- HypergraphZ - A Hypergraph Implementation in Zig☆106Updated 2 months ago