HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,194Updated last year
Alternatives and similar repositories for HVM
Users that are interested in HVM are comparing it to the libraries listed below
Sorting:
- A modern proof language☆3,720Updated 11 months ago
- A massively parallel, high-level programming language☆19,135Updated 7 months ago
- Koka language compiler and interpreter☆3,782Updated 3 weeks ago
- Write expressive, high-performance parsers with ease.☆4,402Updated last week
- A fast, friendly, functional language.☆5,440Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,717Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,830Updated 9 months ago
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆13,849Updated this week
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,287Updated this week
- mold: A Modern Linker 🦠☆16,024Updated last month
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,407Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆27,655Updated last week
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆4,971Updated this week
- Lean 4 programming language and theorem prover☆7,054Updated this week
- A Python Interpreter written in Rust☆21,648Updated this week
- A friendly programming language from the future☆6,464Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆29,016Updated this week
- A data-parallel functional programming language☆2,642Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,585Updated 2 months ago
- Rust bindings for the Python interpreter☆15,125Updated this week
- Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.☆21,400Updated this week
- Rayon: A data parallelism library for Rust☆12,541Updated this week
- A purely functional programming language with first class types☆2,828Updated this week
- Boa is an embeddable Javascript engine written in Rust.☆6,781Updated this week
- A Scalable, User-Friendly Source Control System.☆6,692Updated this week
- Cross-platform Rust rewrite of the GNU coreutils☆22,507Updated this week
- A post-modern modal text editor.☆42,280Updated this week
- ☆6,326Updated last week
- Moved to Codeberg☆42,617Updated last month
- Modern embedded framework, using Rust and async.☆8,382Updated this week