Alternatives and similar repositories for arby:

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

• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• acunniffe / marvin
  Learn the structure of a programming language from examples. "Brain the size of a planet and they just have me reading code"
  ☆19Updated 6 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆57Updated 6 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• PetriNets / petrinets.github.io
  Petrinet.org interactive playground website
  ☆15Updated 5 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆28Updated 10 years ago
• tuzz / ascii_tree
  Parses a usable tree from ASCII art.
  ☆17Updated 9 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• krypt / krypt
  Platform- and library-independent cryptography for Ruby.
  ☆130Updated 10 years ago
• atomicobject / piece_pipe
  PiecePipe helps you break your code into small interesting pieces and provides the glue for pipelining them together to provide elegant, …
  ☆53Updated 4 years ago
• jimwise / unific
  a unification engine for Ruby
  ☆17Updated 7 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• glean / glean
  A data management tool for humans
  ☆117Updated 8 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• mguymon / lock_jar
  LockJar manages Java Jars for Ruby
  ☆45Updated 8 years ago
• cie / rubylog
  A Prolog DSL and interpreter for Ruby
  ☆31Updated 9 years ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 16 years ago
• prathyvsh / nature-of-thought
  Catalogue on the nature and bounds of thought
  ☆27Updated 2 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆12Updated this week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• mneumann / wee
  A high-level, light-weight web framework for Ruby with many ideas from Seaside.
  ☆117Updated 4 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 5 years ago