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
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- ☆11Updated 8 months ago
- SML The Living Language☆11Updated 11 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 7 months ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 3 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- Memory Management ToolKit☆34Updated this week
- Bachelor's thesis 2019☆12Updated last year
- To experiment with ligh-weight user threads based on stack copying.☆12Updated 2 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- ☆20Updated last week
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Idris rules for Bazel☆13Updated 6 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated last month
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Unix-specific portions of Core☆16Updated last week
- ☆22Updated this week
- Low-level OCaml/Java interface☆13Updated 8 months ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago