Whiley / WhileyCompiler

Related projects ⓘ

Alternatives and complementary repositories for WhileyCompiler

• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 7 months ago
• cliffclick / aa
  Cliff Click Language Hacking
  ☆276Updated 3 weeks ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆111Updated 11 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆130Updated 3 months ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆151Updated this week
• rossberg / 1ml
  1ML prototype interpreter
  ☆271Updated 4 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆132Updated 6 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆164Updated 6 months ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆149Updated 3 weeks ago
• astampoulis / makam
  The Makam Metalanguage
  ☆194Updated last year
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆407Updated this week
• stedolan / mlsub
  Prototype type inference engine
  ☆197Updated 3 months ago
• mth / yeti
  Functional programming language for JVM.
  ☆246Updated 7 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 weeks ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆65Updated 5 years ago
• SMLFamily / Successor-ML
  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
  ☆193Updated 3 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 5 months ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆162Updated 2 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated last week
• unison-code / unison
  Unison's source code
  ☆104Updated 8 months ago
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 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…
  ☆125Updated 2 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 8 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆396Updated this week
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆153Updated this week