Alternatives and similar repositories for WhileyCompiler:

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

• cliffclick / aa
  Cliff Click Language Hacking
  ☆277Updated 3 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 10 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆164Updated 3 weeks ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆169Updated 2 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆156Updated 2 months ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆100Updated 3 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated this week
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆155Updated this week
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆216Updated last year
• metaborg / spoofax
  Spoofax runtime
  ☆137Updated 3 weeks ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆416Updated this week
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 9 months ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆195Updated 4 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated this week
• jozefg / pcf
  A small compiler for PCF
  ☆123Updated 4 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 4 months ago
• stedolan / mlsub
  Prototype type inference engine
  ☆200Updated 3 weeks ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆421Updated this week
• HackerFoo / poprc
  A Compiler for the Popr Language
  ☆246Updated 4 years ago