Alternatives and similar repositories for arby:

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

• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 10 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆47Updated 3 months ago
• tomzx / agi-concept-map
  The AGI Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about artificial general intelligence over t…
  ☆14Updated 5 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 9 months ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆56Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆35Updated 11 months ago
• atdt / snoflake
  A JavaScript runtime for the SNOBOL4 programming language
  ☆18Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• joshuafcole / claire
  A fuzzy file finding Light Table plugin with style.
  ☆32Updated 10 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• tide-framework / tide
  The missing web framework for Pharo and Amber
  ☆46Updated 10 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated this week
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 16 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• racket / datalog
  ☆45Updated last month
• harp-lab / gdlog
  ☆80Updated 5 months ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• GSA / i14y
  Search engine for agencies' published content
  ☆14Updated this week
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago