yzyzsun / truffle-erlang
Erlang implementation built on GraalVM/Truffle
☆13Updated 5 years ago
Alternatives and similar repositories for truffle-erlang:
Users that are interested in truffle-erlang are comparing it to the libraries listed below
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- ☆11Updated 7 months ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 6 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- Memory Management ToolKit☆33Updated last month
- ☆19Updated last month
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- Bachelor's thesis 2019☆12Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- Idris rules for Bazel☆13Updated 6 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Object Algebra Composition☆24Updated 11 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Monad transformers for exception handling☆17Updated 7 months ago
- A simple bidirectional type checker☆18Updated 6 years ago
- Purely functional data structures in Koka☆10Updated 3 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- https://openjdk.org/projects/metropolis☆16Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago