ndmitchell / interpret
☆38Updated 4 years ago
Alternatives and similar repositories for interpret:
Users that are interested in interpret are comparing it to the libraries listed below
- A rust crate which implements nanboxing☆21Updated 7 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆19Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆60Updated 2 years ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆19Updated 4 years ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- A WIP little dependently-typed systems language☆41Updated 6 months ago
- ☆92Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆32Updated 10 months ago
- A Hindley-Milner polymorphic typing system☆58Updated last year
- hindley-milner algorithm☆54Updated last year
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Updated 8 years ago
- WLambda - Embeddable Scripting Language for Rust☆53Updated 2 weeks ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- A (nearly) pure functional programming language.☆24Updated 6 years ago
- Rust testing framework for compilers and VMs☆50Updated 5 months ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆51Updated 3 years ago
- ☆58Updated 5 months ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- Macros have types!☆129Updated 2 years ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- Lisp compiler using Rust☆18Updated last year
- An experimental RVSDG optimizer for brainfuck code☆23Updated 2 years ago
- Garbage collector library☆23Updated 2 years ago