SaberVM / SaberVM
☆201Updated 8 months ago
Alternatives and similar repositories for SaberVM:
Users that are interested in SaberVM are comparing it to the libraries listed below
- an experimental new programming language based on interaction nets☆212Updated this week
- A modern supercompiler for call-by-value functional languages☆402Updated last month
- ☆172Updated 4 months ago
- A fast functional language based on two level type theory☆389Updated 2 years ago
- The parallel, concurrent, and functional programming language for scalable software development☆453Updated this week
- A general purpose programming language☆185Updated last week
- A declarative concatenative programming language☆164Updated 4 months ago
- Functional language with a powerful type system.☆168Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆217Updated 4 months ago
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- A garden of small programming language implementations 🪴☆212Updated 2 weeks ago
- A statically typed Lisp like scripting programming language for Rust.☆210Updated 2 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆291Updated 4 months ago
- The Standard ML compiler that produces Lua/JavaScript☆366Updated 2 weeks ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated last week
- The practical relational programing language for data-oriented applications☆196Updated 2 years ago
- A language server for Standard ML.☆223Updated 2 weeks ago
- A functional programming language with shell scripting capabilities☆114Updated 2 months ago
- A human readable quasi-concatenative programming language☆249Updated 3 weeks ago
- Simple live calculator in tree-sitter + cranelift jit☆72Updated 3 months ago
- A simple ML-like programming language with subtyping and full type inference.☆169Updated 3 months ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆241Updated this week
- Claro Lang☆141Updated 9 months ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Bootstrap compiler for Firefly☆52Updated 2 weeks ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆225Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆345Updated this week