Whiley / WhileyCompilerLinks
The Whiley Compiler (WyC)
☆224Updated 2 years ago
Alternatives and similar repositories for WhileyCompiler
Users that are interested in WhileyCompiler are comparing it to the libraries listed below
Sorting:
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 7 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- Cliff Click Language Hacking☆286Updated 11 months ago
- A programming language where the syntax and semantics are mutable at runtime☆168Updated 13 years ago
- Plasma Programming Language☆166Updated 5 months ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆433Updated this week
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Alternative algorithm for algebraic subtyping.☆170Updated last week
- Editor for language composition☆58Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆126Updated last year
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- Spoofax runtime☆149Updated 5 months ago
- 1ML prototype interpreter☆287Updated 5 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆131Updated 3 years ago
- The Higher-Order Intermediate Representation☆158Updated last week
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- Standard ML Compiler and Toolkit☆293Updated 2 weeks ago
- A Compiler for the Popr Language☆252Updated 4 years ago
- The Wyvern programming language.☆561Updated last week
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- An imperative and functional programming language☆157Updated 4 months ago
- A small compiler for PCF☆127Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- Functional programming language for JVM.☆251Updated 3 months ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- Strongtalk VM☆103Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago