parapluu / encoreLinks
The Encore compiler.
☆44Updated 5 years ago
Alternatives and similar repositories for encore
Users that are interested in encore are comparing it to the libraries listed below
Sorting:
- An imperative and functional programming language☆161Updated 6 months ago
- RFCs for changes to Pony☆61Updated 10 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆129Updated 2 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆72Updated 8 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Modernized Sisal Interpreter☆29Updated 7 years ago
- The language of the future!☆73Updated last year
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Reagents for multicore OCaml☆126Updated 2 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- The Higher-Order Intermediate Representation☆161Updated last week
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆163Updated 6 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago
- (Nominal) Adapton in OCaml☆57Updated 9 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Orc programming language implementation☆45Updated 3 years ago
- ☆47Updated 8 years ago
- The Slate programming language☆149Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- ☆40Updated 9 years ago
- Fungi: Typed incremental computation with names☆70Updated 6 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 8 months ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago