Alternatives and similar repositories for rascal

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

• metaborg / spoofax
  Spoofax runtime
  ☆146Updated last month
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆126Updated 3 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 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.
  ☆305Updated this week
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 3 years 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…
  ☆992Updated last week
• cliffclick / aa
  Cliff Click Language Hacking
  ☆283Updated 7 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆270Updated 8 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆167Updated 13 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• smarr / are-we-fast-yet
  Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
  ☆354Updated 4 months ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆950Updated this week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆312Updated 3 weeks ago
• agraef / pure-lang
  Pure programming language
  ☆323Updated 2 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆112Updated 3 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆294Updated this week
• usethesource / clair
  C Language Analysis in Rascal
  ☆26Updated last month
• c3d / xl
  A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
  ☆281Updated 2 years ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆229Updated this week
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆339Updated this week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated 7 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• graalvm / simplelanguage
  A simple example language built using the Truffle API.
  ☆621Updated 3 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 last week
• BNFC / bnfc
  BNF Converter
  ☆602Updated 3 months ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆661Updated last week
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆876Updated 9 months ago