Alternatives and similar repositories for rascal

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

• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆146Updated 2 months ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆283Updated 8 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆126Updated 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.
  ☆307Updated 3 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• smarr / are-we-fast-yet
  Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays
  ☆355Updated 4 months ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆956Updated this week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆455Updated this week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 2 weeks ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆167Updated 13 years 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
• c3d / xl
  A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
  ☆282Updated 2 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 2 weeks ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• xtclang / xvm
  Ecstasy and XVM
  ☆208Updated last week
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆228Updated this week
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 2 months ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆156Updated this week
• wyvernlang / wyvern
  The Wyvern programming language.
  ☆560Updated 3 weeks ago
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆296Updated 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…
  ☆994Updated 3 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated last month
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆112Updated 3 years ago
• graalvm / simplelanguage
  A simple example language built using the Truffle API.
  ☆623Updated 3 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆315Updated this week
• JetBrains / Arend
  The Arend Proof Assistant
  ☆718Updated 4 months ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago