Alternatives and similar repositories for rascal:

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

• metaborg / spoofax
  Spoofax runtime
  ☆138Updated last month
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆221Updated 2 years ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆279Updated 4 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆393Updated 2 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 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.
  ☆296Updated 3 months ago
• 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…
  ☆967Updated last month
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆655Updated 8 months ago
• 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
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• agraef / pure-lang
  Pure programming language
  ☆319Updated 2 years ago
• graalvm / simplelanguage
  A simple example language built using the Truffle API.
  ☆616Updated 9 months ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆937Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated last month
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆303Updated last month
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆25Updated 3 months ago
• frank-lang / frank
  Frank compiler
  ☆285Updated 10 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆169Updated 3 months ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆128Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,008Updated this week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆439Updated last week
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 9 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year