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:
- The language of the future!☆72Updated last year
- RFCs for changes to Pony☆61Updated 4 months ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Idris LLVM codegen factored out☆81Updated 7 years ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- ☆38Updated 9 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆91Updated 6 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- ☆29Updated 9 years ago
- Kempe is a compiled stack-based language☆58Updated 8 months ago
- surgical precision JIT compilers☆121Updated 7 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 5 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆119Updated last year
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- The Ur/Web People Organizer☆30Updated last year
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆61Updated 4 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆52Updated 8 years ago