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 10 months ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated this week
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 2 months ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆53Updated this week
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Updated 10 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆67Updated 3 months ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 2 months ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆188Updated last week
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆86Updated 2 years ago
• guregu / trealla-js
  Trealla Prolog for the web
  ☆53Updated last month
• frankmcsherry / datatoad
  An interactive Datalog
  ☆55Updated last week
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆167Updated last week
• nobrayner / rust-charts
  My way of learning Rust, and trying to implement an xstate-like statechart library
  ☆15Updated 3 years ago
• ajnsit / languages-that-compile-to-sql
  A list of languages that compile to SQL
  ☆69Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year
• Aluriak / webclingo-example
  Example of clingo usage on website as a client-side JS program
  ☆13Updated 6 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆51Updated 3 weeks ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆83Updated 2 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆26Updated 4 months ago
• asgerf / dts-tree-sitter
  Generate TypeScript .d.ts files for using tree-sitter grammars.
  ☆28Updated 6 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• worm-blossom / macromania
  Macro-based string templating.
  ☆24Updated 3 weeks ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last week
• abetlen / sqlite3-bfsvtab-ext
  A virtual table extension for breadth-first search queries in Sqlite3
  ☆33Updated 4 years ago
• bugout-dev / locust
  "git diff" over abstract syntax trees
  ☆58Updated 2 years ago