Whiley / WhileyCompilerLinks
The Whiley Compiler (WyC)
☆227Updated 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.☆54Updated 7 months ago
- Cliff Click Language Hacking☆289Updated 3 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆223Updated 3 years ago
- Plasma Programming Language☆167Updated 9 months ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆448Updated this week
- A programming language where the syntax and semantics are mutable at runtime☆169Updated 13 years ago
- A Java parser combinator library written with an unmatched feature set.☆131Updated 4 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 11 months ago
- Editor for language composition☆58Updated 3 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Standard ML Compiler and Toolkit☆296Updated 3 weeks ago
- History of Programming Languages, Spring 2017☆137Updated 8 years ago
- Self-hosting compiler for the Grace programming language☆42Updated last year
- surgical precision JIT compilers☆123Updated 8 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆208Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆131Updated 2 years ago
- Spoofax runtime☆160Updated 9 months ago
- Alternative algorithm for algebraic subtyping.☆174Updated 2 months ago
- An imperative and functional programming language☆161Updated 8 months ago
- Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays☆386Updated 2 months ago
- A simple ML-like programming language with subtyping and full type inference.☆188Updated last year
- The Higher-Order Intermediate Representation☆161Updated last week
- The Pika Parser reference implementation☆148Updated last month
- Functional programming language for JVM.☆252Updated last month
- Strongtalk VM☆103Updated 4 years ago
- The Wyvern programming language.☆560Updated last week
- 1ML prototype interpreter☆290Updated 5 years ago
- ☆88Updated 5 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Java dialect using S-expressions☆31Updated 7 years ago