Alternatives and similar repositories for arby

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

• GSA / i14y
  Search engine for agencies' published content
  ☆14Updated 3 weeks ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆57Updated 7 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 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 7 years ago
• caminadab / metamine
  A new declarative programming language
  ☆24Updated 5 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• HnimNart / deeplearning
  ☆53Updated 5 months 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
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆47Updated 17 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆82Updated 8 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆29Updated 8 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆24Updated 6 years ago
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆56Updated 2 years ago
• harp-lab / gdlog
  ☆87Updated last year
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 4 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• smarr / RoarVM
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆244Updated 12 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• prologbyexample / code
  ☆31Updated 2 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 4 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 4 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆102Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• tide-framework / tide
  The missing web framework for Pharo and Amber
  ☆47Updated 11 years ago
• chrisa / ruby-dtrace
  Ruby bindings for DTrace
  ☆63Updated 13 years ago