Alternatives and similar repositories for arby

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

• 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
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• GSA / i14y
  Search engine for agencies' published content
  ☆14Updated 3 weeks ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• HnimNart / deeplearning
  ☆53Updated 4 months ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 10 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 10 months ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• harp-lab / gdlog
  ☆87Updated last year
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆43Updated 9 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 4 months ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 11 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
• jgalenson / research.js
  Share your research online by compiling it to JavaScript!
  ☆23Updated 11 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
• raganwald / combinators.info
  ☆23Updated 12 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆29Updated 8 years ago
• NICTA / iris-reasoner
  Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge
  ☆11Updated 9 years ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆48Updated 2 years ago
• plum-umd / rtc
  ☆84Updated 9 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 4 months ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 4 years ago
• feenkcom / JSLink
  A bridge between Pharo and JavaScript
  ☆11Updated 3 weeks ago