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
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆29Updated 11 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆24Updated 6 years ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆57Updated 7 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 5 months ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• pascalpoizat / fbpmn
  formal tools for BPMN
  ☆36Updated 6 months ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• esad / lot
  Constaints-based spreadsheet prototype
  ☆18Updated 9 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years 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
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 4 years ago
• harp-lab / gdlog
  ☆87Updated last year
• pSpaces / Programming-with-Spaces
  Getting started, manuals and tutorials
  ☆56Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆29Updated 8 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 4 years ago
• simularity / SimGen
  A simulation language
  ☆21Updated 5 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 11 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 11 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 4 years ago
• prg-titech / ikra-ruby
  A Rubygem for array-based scientific computations using GPGPU
  ☆12Updated 8 years ago
• llnl / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• aquasync / ruby-ometa
  Library for parsing and compiling OMeta grammars to ruby
  ☆48Updated 17 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆54Updated 9 years ago
• softdevteam / libkalibera
  libkalibera
  ☆16Updated 3 years ago