SaberVM / SaberVMLinks
☆212Updated last year
Alternatives and similar repositories for SaberVM
Users that are interested in SaberVM are comparing it to the libraries listed below
Sorting:
- ☆174Updated last month
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆225Updated 11 months ago
- an experimental new programming language based on interaction nets☆306Updated 2 weeks ago
- Functional language with a powerful type system.☆172Updated last year
- A modern supercompiler for call-by-value functional languages☆426Updated last month
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆468Updated 2 weeks ago
- A compiler for Standard ML, somewhat☆203Updated 3 years ago
- Embedded Scheme for the Async Rust Ecosystem☆221Updated this week
- Minimal Prolog implemented in Rust☆45Updated last year
- The miniature, embeddable R7RS Scheme implementation in Rust☆104Updated last week
- A declarative concatenative programming language☆166Updated last week
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 4 months ago
- A fast functional language based on two level type theory☆392Updated 2 years ago
- The parallel, concurrent, and functional programming language for scalable software development☆460Updated this week
- The Standard ML compiler that produces Lua/JavaScript☆410Updated this week
- hindley-milner algorithm☆62Updated 2 years ago
- A statically typed Lisp like scripting programming language for Rust.☆231Updated 7 months ago
- A general purpose programming language☆210Updated 4 months ago
- A language server for Standard ML in Rust.☆229Updated 2 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 10 months ago
- ☆122Updated last month
- Claro Lang☆146Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆204Updated last week
- Pure functional programming with whole-program mutability inference☆75Updated 2 months ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆333Updated this week
- The practical relational programing language for data-oriented applications☆210Updated 2 years ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 months ago
- QBE IR in natural Rust data structures☆115Updated 3 weeks ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year