Alternatives and similar repositories for Incremental_RTEC

Users that are interested in Incremental_RTEC are comparing it to the libraries listed below

• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆19Updated last year
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated 2 months ago
• mstone / depict
  depict – share mental models better
  ☆39Updated 2 years ago
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Updated last year
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated this week
• terohuttunen / proto-vulcan
  A relational logic programming language embedded in Rust.
  ☆12Updated 5 months ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆58Updated this week
• loro-dev / columnar
  ergonomic columnar storage encoding crate
  ☆27Updated 4 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆39Updated 2 months ago
• KittyCAD / delouse
  delouse exposes opinionated debugging stubs most useful for tokio based async programs
  ☆32Updated last month
• yamafaktory / hypergraph
  Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.
  ☆326Updated 9 months ago
• hediet / slideo
  This tool uses OpenCV to automatically synchronize slides with videos that show these slides.
  ☆105Updated 4 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆47Updated this week
• knowsys / nemo
  A fast in-memory rule engine
  ☆210Updated last week
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Updated 5 months ago
• terminusdb / technical-blogs
  Technical blogs around data collaboration, data management, and building collaborative applications.
  ☆46Updated 2 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆52Updated last week
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated 2 years ago
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆37Updated 2 months ago
• antithesishq / antithesis-sdk-rust
  Antithesis SDK for Rust
  ☆30Updated this week
• ajnsit / languages-that-compile-to-sql
  A list of languages that compile to SQL
  ☆72Updated 3 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 3 weeks ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 4 years ago
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆23Updated 4 months ago
• cool-japan / oxirs
  Rust-native, modular platform for Semantic Web, SPARQL 1.2, GraphQL, and AI-augmented reasoning
  ☆30Updated last week
• Fault-lang / Fault
  a language for building system dynamic models
  ☆169Updated this week