SaberVM / SaberVM
☆204Updated 9 months ago
Alternatives and similar repositories for SaberVM:
Users that are interested in SaberVM are comparing it to the libraries listed below
- ☆172Updated 6 months ago
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- A fast functional language based on two level type theory☆390Updated 2 years ago
- A general purpose programming language☆190Updated 2 months ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆171Updated this week
- Functional language with a powerful type system.☆169Updated last year
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- an experimental new programming language based on interaction nets☆252Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 5 months ago
- The Standard ML compiler that produces Lua/JavaScript☆375Updated last month
- A general purpose statically-typed concatenative programming language.☆54Updated last year
- A declarative concatenative programming language☆164Updated 6 months ago
- ☆102Updated 3 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 4 months ago
- The parallel, concurrent, and functional programming language for scalable software development☆456Updated last week
- Embedded Scheme for the Async Rust Ecosystem☆175Updated this week
- Experiments in building "better" languages and tools; for some measure of better.☆230Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆221Updated this week
- A functional programming language with shell scripting capabilities☆114Updated 3 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆104Updated 2 months ago
- A language server for Standard ML in Rust.☆223Updated last month
- A statically typed Lisp like scripting programming language for Rust.☆214Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)☆299Updated 5 months ago
- A human readable quasi-concatenative programming language☆251Updated 2 months ago
- 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.☆328Updated this week
- Claro Lang☆143Updated 11 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆185Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- An implementation of the Self programming language in Zig☆178Updated last month
- Simple live calculator in tree-sitter + cranelift jit☆74Updated 4 months ago