Alternatives and similar repositories for ticker:

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

• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated 2 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆45Updated 2 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 8 months ago
• friguzzi / trill-on-swish
  The Trill probabilistic ontology reasoner on SWISH
  ☆12Updated 5 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• hexhex / core
  DLVHEX solver: core system and plugin API
  ☆25Updated 5 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• ftsrg / ingraph
  Incremental view maintenance for openCypher graph queries.
  ☆48Updated 5 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• uzh / fox
  A framework for PSL inference.
  ☆21Updated 9 years ago
• tiantiangao7 / kalm
  Knowledge Acquisition Logic Machine
  ☆17Updated 5 years ago
• aschaetzle / S2RDF
  S2RDF (SPARQL on Spark for RDF) is a SPARQL query processor for Hadoop based on Spark SQL. It uses the relational interface of Spark for …
  ☆13Updated 6 years ago
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 6 years ago
• julianmendez / born
  Bayesian Ontology Reasoner
  ☆13Updated this week
• jinhuang / hyperx
  A Spark Based Scalable Framework for Efficient Hypergraph Processing
  ☆22Updated 9 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆70Updated last month
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 4 months ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆50Updated 8 years ago
• balhoff / arachne
  RDF rule engine
  ☆21Updated 7 months ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• prova / prova
  ☆36Updated last year
• CognitiveComputingResearchGroup / lida-framework
  ☆9Updated 8 years ago
• andriusvelykis / isabelle-scala
  A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…
  ☆15Updated 10 years ago