Alternatives and similar repositories for ticker

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

• CognitiveComputingResearchGroup / lida-framework
  ☆10Updated 9 years ago
• jgralab / jgralab
  The Java Graph Laboratory
  ☆19Updated 6 years 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
• agilebirds / openflexo
  Software in this repository is not maintained anymore
  ☆11Updated 3 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 4 months ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆21Updated 2 years ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 10 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆28Updated 7 months ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆50Updated 3 years ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆46Updated 6 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆31Updated 4 years ago
• aav / clojure.osgi
  Clojure / OSGi integration
  ☆32Updated 13 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 4 years ago
• bigraphs / jlibbig
  A Java library for bigraphical reactive systems.
  ☆11Updated 2 years ago
• inejc / mcts
  Domain independent implementation of Monte Carlo Tree Search methods.
  ☆17Updated 7 years ago
• jsa-aerial / DMM
  Data Flow Matrix Machines. Generalization of recurrent neural networks.
  ☆15Updated 11 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 5 years ago
• soartech / jsoar
  Pure Java implementation of the Soar cognitive architecture.
  ☆58Updated 5 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 3 months ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆41Updated 3 years ago
• beehive-lab / beehive-spirv-toolkit
  Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.
  ☆13Updated last month
• stanford-ppl / argon
  Scala staging framework
  ☆17Updated 7 years ago
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 4 years ago
• tiantiangao7 / kalm
  Knowledge Acquisition Logic Machine
  ☆18Updated 6 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated last month
• EricssonResearch / scott-eu
  SCOTT – Secure Connected Trustable Things
  ☆20Updated 4 years ago
• mica-gossip / MiCA
  MiCA gossip framework research project
  ☆15Updated 2 years ago