Alternatives and similar repositories for rascal:

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

• metaborg / spoofax
  Spoofax runtime
  ☆143Updated last week
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆280Updated 6 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆399Updated 2 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…
  ☆979Updated this week
• 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.
  ☆302Updated 5 months ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆269Updated 6 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 6 months ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 2 years ago
• hpi-swa / trufflesqueak
  A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.
  ☆292Updated last week
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆944Updated this week
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated this week
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• rossberg / 1ml
  1ML prototype interpreter
  ☆282Updated 4 years ago
• JetBrains / Arend
  The Arend Proof Assistant
  ☆713Updated 2 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆110Updated 5 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated this week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆444Updated last week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆311Updated this week
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆136Updated 3 years ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆714Updated 3 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 2 weeks ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆368Updated 8 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆199Updated last year
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆69Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆922Updated last week
• 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