sdg-mit / arby

Related projects ⓘ

Alternatives and complementary repositories for arby

• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 2 years ago
• enso-lang / enso
  ☆71Updated 4 years ago
• jsl / ruby_ukanren
  A port of microKanren to Ruby
  ☆27Updated 9 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 4 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• Ducasse / SOUL
  Rescuing the SOUL great logic meta programming language
  ☆12Updated 6 years ago
• cjheath / activefacts
  A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
  ☆55Updated 5 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• plum-umd / rtc
  ☆84Updated 8 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• tide-framework / tide
  The missing web framework for Pharo and Amber
  ☆46Updated 10 years ago
• softdevteam / libkalibera
  libkalibera
  ☆17Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• rubys / showcase
  Ballroom Dance Showcase Scheduler
  ☆20Updated this week
• mcfilib / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 2 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆27Updated 3 years ago
• harp-lab / gdlog
  ☆75Updated last month
• bollwyvl / TangleDown
  Markdown + Tangle.js + (someday) SymPy
  ☆31Updated 2 years ago
• swift-nav / wolf
  Wolf is a wrapper around Amazon Simple Workflow Service.
  ☆16Updated 2 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆22Updated 5 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• tuzz / ascii_tree
  Parses a usable tree from ASCII art.
  ☆17Updated 9 years ago
• prologbyexample / code
  ☆27Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆42Updated 2 years ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 5 months ago