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.
  ☆51Updated last year
• cliffclick / aa
  Cliff Click Language Hacking
  ☆279Updated 5 months ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆161Updated last month
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆281Updated 4 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆420Updated this week
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated this week
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆117Updated last year
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated 2 weeks ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆172Updated 4 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 2 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated 10 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated 2 months ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆304Updated last week
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆263Updated 11 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 5 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆370Updated 3 months ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆215Updated 2 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆161Updated 2 weeks ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆268Updated 6 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• au-ts / cogent
  Cogent Project
  ☆162Updated last month
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 5 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆93Updated 3 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 6 years ago