Alternatives and similar repositories for rascal:

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

• metaborg / spoofax
  Spoofax runtime
  ☆140Updated last month
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆221Updated 2 years ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆279Updated 4 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆394Updated 2 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆297Updated 4 months ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆655Updated 9 months ago
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆287Updated this week
• souffle-lang / souffle
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆968Updated last week
• rossberg / 1ml
  1ML prototype interpreter
  ☆280Updated 4 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 5 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆304Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated last month
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 3 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 weeks ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆940Updated this week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆606Updated last month
• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆78Updated 6 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated this week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆364Updated 2 months ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆595Updated 2 years ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆710Updated 3 weeks ago
• smarr / are-we-fast-yet
  Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
  ☆347Updated last month
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 11 months ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆711Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated last month
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated 2 weeks ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated last week