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 11 months ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆279Updated 4 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated last month
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆419Updated this week
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆68Updated last month
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆170Updated 3 months ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated last year
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated last month
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆158Updated this week
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated last month
• sparist / Om
  The Om programming language.
  ☆172Updated 5 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆147Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆144Updated 2 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆153Updated 2 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 5 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆101Updated 3 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago