yzyzsun / truffle-erlangLinks
Erlang implementation built on GraalVM/Truffle
☆14Updated 6 years ago
Alternatives and similar repositories for truffle-erlang
Users that are interested in truffle-erlang are comparing it to the libraries listed below
Sorting:
- 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.☆31Updated last month
- Memory Management ToolKit☆35Updated last month
- A simple bidirectional type checker☆18Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 9 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- An interpreter for the D3-level syntax of ATS3/Xanadu☆11Updated 4 years ago
- ☆11Updated 2 months ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- The Encore compiler.☆44Updated 5 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- An educational JS virtual machine based on Eclipse OMR☆45Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last week
- ☆20Updated last week
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 7 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- ☆15Updated 5 years ago