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.
  ☆52Updated 2 months ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆285Updated 10 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 4 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆168Updated 13 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆430Updated this week
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆157Updated 3 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆147Updated 4 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆219Updated 2 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated last month
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆201Updated 5 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆158Updated last week
• wyvernlang / wyvern
  The Wyvern programming language.
  ☆561Updated last month
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆286Updated 5 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆127Updated 4 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆128Updated 3 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…
  ☆131Updated 2 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆291Updated 3 weeks ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 6 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆249Updated 4 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆124Updated last year
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 8 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆167Updated this week
• stedolan / mlsub
  Prototype type inference engine
  ☆204Updated 7 months ago