Alternatives and similar repositories for rebel

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

• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 10 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated last month
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆101Updated 2 weeks ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 3 months ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 2 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 10 months ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated last year
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆36Updated 4 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• CatarinaGamboa / liquidjava
  ☆42Updated 2 weeks ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆52Updated 12 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 3 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 4 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆77Updated 2 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 6 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated last month
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆91Updated 3 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last month
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆118Updated last month
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆60Updated 8 years ago