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
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 3 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆42Updated 3 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
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 11 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆36Updated 4 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆92Updated 2 months ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆105Updated last month
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆52Updated 13 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 5 months ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆29Updated 5 years ago
• strymonas / staged-streams.scala
  ☆57Updated 8 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 3 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 5 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated 2 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆44Updated 7 months ago
• snape / Loopless-Functional-Algorithms
  Loopless Functional Algorithms (Haskell)
  ☆16Updated last year
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆46Updated 2 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• timjb / idris-pfds
  Purely functional data structures in Idris
  ☆11Updated 8 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆61Updated 3 months ago
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆89Updated 3 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆70Updated 4 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆167Updated last year
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 9 years ago