HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,177Updated 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,716Updated 11 months ago
- A massively parallel, high-level programming language☆19,116Updated 6 months ago
- A fast, friendly, functional language.☆5,409Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆27,448Updated this week
- Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl☆5,986Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆15,874Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,313Updated this week
- peer-2-peer that just works☆7,582Updated this week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆13,678Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆28,773Updated this week
- Koka language compiler and interpreter☆3,766Updated 2 weeks ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,651Updated this week
- Build fast web applications with Rust.☆19,606Updated this week
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆30,525Updated last week
- Write expressive, high-performance parsers with ease.☆4,369Updated this week
- A friendly programming language from the future☆6,445Updated this week
- An incremental parsing system for programming tools☆23,024Updated last week
- mold: A Modern Linker 🦠☆15,969Updated last week
- ☆6,292Updated 2 months ago
- Moved to Codeberg☆42,600Updated 3 weeks ago
- The financial transactions database designed for mission critical safety and performance.☆14,709Updated this week
- A data-first Rust-native UI design toolkit.☆9,699Updated last week
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆4,932Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆16,725Updated last week
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,254Updated this week
- Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.☆21,255Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,822Updated 8 months ago
- A Rust compiler front-end for IDEs☆15,811Updated this week
- Fullstack app framework for web, desktop, and mobile.☆32,751Updated last week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,583Updated last month