HigherOrderCO / HVM2Links
A massively parallel, optimal functional runtime in Rust
☆11,204Updated last year
Alternatives and similar repositories for HVM2
Users that are interested in HVM2 are comparing it to the libraries listed below
Sorting:
- A massively parallel, high-level programming language☆19,156Updated 8 months ago
- A modern proof language☆3,718Updated last year
- A fast, friendly, functional language.☆5,466Updated last week
- Koka language compiler and interpreter☆3,797Updated last month
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,381Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,842Updated 10 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,527Updated this week
- Write expressive, high-performance parsers with ease.☆4,438Updated 2 weeks ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,861Updated this week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆14,227Updated this week
- A friendly programming language from the future☆6,471Updated this week
- ☆6,342Updated this week
- Minimalist ML framework for Rust☆19,245Updated last week
- A cross-platform, safe, pure-Rust graphics API.☆16,290Updated this week
- Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl☆6,158Updated this week
- A Rust compiler front-end for IDEs☆16,014Updated this week
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆5,283Updated 4 months ago
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆30,958Updated last week
- Rust parser combinator framework☆10,284Updated 5 months ago
- Rayon: A data parallelism library for Rust☆12,640Updated last month
- 🤖 Just a command runner☆30,625Updated this week
- 🚂 🦀 The one-person framework for Rust for side-projects and startups☆8,572Updated last month
- A data-parallel functional programming language☆2,664Updated this week
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆5,042Updated 3 weeks ago
- A data-first Rust-native UI design toolkit.☆9,717Updated last month
- An incremental parsing system for programming tools☆23,635Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,590Updated 3 months ago
- Build fast web applications with Rust.☆19,896Updated this week
- 🦀 How to minimize Rust binary size 📦☆9,636Updated 4 months ago
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,091Updated this week