Alternatives and similar repositories for WhileyCompiler

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

• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 6 months ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆287Updated last month
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆169Updated 13 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 8 months ago
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆256Updated 4 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 10 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆446Updated this week
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆221Updated 3 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆156Updated 8 months ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆160Updated last week
• wyvernlang / wyvern
  The Wyvern programming language.
  ☆560Updated 3 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆161Updated 7 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆207Updated 5 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆159Updated 6 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆186Updated last year
• mth / yeti
  Functional programming language for JVM.
  ☆252Updated last week
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆171Updated last month
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆294Updated last week
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• briantrice / slate-language
  The Slate programming language
  ☆149Updated 2 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 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…
  ☆132Updated 3 years ago