Alternatives and similar repositories for arby

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

• enso-lang / enso
  ☆71Updated 5 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 5 years ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆57Updated 6 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 10 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 5 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• harp-lab / gdlog
  ☆83Updated 11 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆34Updated 3 months ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last month
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last week
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 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
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 11 months ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 7 months ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 17 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆64Updated this week
• prologbyexample / code
  ☆31Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆16Updated 4 years ago