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:
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Compiler and tools for the L programming language☆72Updated last year
- The Whiley Compiler (WyC)☆223Updated 2 years ago
- An imperative and functional programming language☆157Updated 4 months ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- ☆47Updated 7 years ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- The language of the future!☆72Updated last year
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- RFCs for changes to Pony☆61Updated 8 months ago
- The Higher-Order Intermediate Representation☆158Updated 3 weeks ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- The Kleenex programming language☆56Updated 11 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- A small implementation of type inference☆80Updated 10 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- (Nominal) Adapton in OCaml☆55Updated 9 years ago
- ☆29Updated 10 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Ordo: A minimalist language with row polymorphism☆85Updated 5 months ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- surgical precision JIT compilers☆122Updated 8 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 8 months ago