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:
- Idris LLVM codegen factored out☆82Updated 8 years ago
- RFCs for changes to Pony☆61Updated 8 months ago
- ☆47Updated 8 years ago
- The web framework nobody asked for, wants, or needs.☆20Updated 4 years ago
- Compiler and tools for the L programming language☆72Updated last year
- An imperative and functional programming language☆158Updated 5 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆128Updated last year
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆71Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- ☆29Updated 10 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- A DSL for describing and implementing communication protocols☆84Updated 10 years ago
- The language of the future!☆72Updated last year
- ☆35Updated 7 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Updated 11 years ago
- Ikko language☆26Updated 5 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Updated 6 years ago
- (Nominal) Adapton in OCaml☆55Updated 9 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago