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
- Object Algebra Composition☆24Updated 11 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 4 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆33Updated last month
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- SML The Living Language☆11Updated 10 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 last week
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated last week
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- Effect Handlers for Java / the JVM☆30Updated 4 years ago
- Bachelor's thesis 2019☆12Updated last year
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- ☆19Updated 2 months ago
- Unix-specific portions of Core☆15Updated last month
- An extended typed Lambda Calculus☆20Updated 5 months ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- This repository is supposed to hold a released version of Xanadu☆24Updated 3 years ago
- Idris rules for Bazel☆13Updated 6 years ago
- My Attempt at System Fω with Row-Polymorphism☆29Updated 3 years ago
- Ikko language☆26Updated 4 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- WebAssembly specification, reference interpreter, and test suite.☆13Updated last year