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
- ☆19Updated last week
- SML The Living Language☆11Updated 11 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Bachelor's thesis 2019☆12Updated last year
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- ☆11Updated 6 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated this week
- 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☆33Updated last week
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated last month
- The uncurried minimal functional programming language for CPS transformation☆18Updated 11 months ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated 5 months ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- ☆13Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Object Algebra Composition☆24Updated 11 years ago
- My Attempt at System Fω with Row-Polymorphism☆29Updated 3 years ago
- ☆22Updated this week
- Http4s on Finagle Server or Client☆11Updated 3 weeks ago
- A parsing combinator library.☆10Updated 8 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆13Updated 6 years ago
- Effect Handlers for Java / the JVM☆30Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago