yzyzsun / truffle-erlang
Erlang implementation built on GraalVM/Truffle
☆13Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for truffle-erlang
- ☆11Updated 3 months ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Memory Management ToolKit☆31Updated 3 weeks ago
- Unix-specific portions of Core☆14Updated this week
- The MLPolyR programming language, revived☆24Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated 9 months ago
- My Attempt at System Fω with Row-Polymorphism☆29Updated 3 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- A simple bidirectional type checker☆17Updated 5 years ago
- The official compiler for the Quartz programming language☆29Updated 6 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated last week
- Bachelor's thesis 2019☆12Updated last year
- Purely functional data structures in Koka☆9Updated 3 years ago
- Object Algebra Composition☆24Updated 11 years ago
- Erlang port of the Shen programming language☆26Updated 4 years ago
- Lightweight affine types and object capabilities in Scala☆32Updated 5 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 2 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- An interpreter for the D3-level syntax of ATS3/Xanadu☆10Updated 3 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- Low-level OCaml/Java interface☆13Updated 3 months ago
- An experimental language server for SomewhatML☆24Updated last year