HigherOrderCO / HVM
A massively parallel, optimal functional runtime in Rust
☆10,527Updated this week
Related projects ⓘ
Alternatives and complementary repositories for HVM
- A modern proof language☆3,581Updated this week
- A massively parallel, high-level programming language☆17,465Updated 3 weeks ago
- A Git-compatible VCS that is both simple and powerful☆9,261Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆9,098Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆22,485Updated this week
- A data-first Rust-native UI design toolkit.☆9,570Updated 3 weeks ago
- build-once run-anywhere c library☆18,413Updated this week
- A fast, friendly, functional language.☆4,459Updated this week
- Build fast web applications with Rust.☆16,385Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆24,801Updated last week
- Ergonomic and modular web framework built with Tokio, Tower, and Hyper☆19,259Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆10,769Updated this week
- Fullstack app framework for web, desktop, mobile, and more.☆21,571Updated this week
- The financial transactions database designed for mission critical safety and performance.☆10,607Updated this week
- A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!☆5,126Updated 3 months ago
- Rayon: A data parallelism library for Rust☆11,077Updated 3 weeks ago
- 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, …☆13,476Updated last week
- A full featured, fast Command Line Argument Parser for Rust☆14,329Updated this week
- Rust parser combinator framework☆9,488Updated last month
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆4,082Updated 3 weeks ago
- A safe, extensible ORM and Query Builder for Rust☆12,770Updated this week
- ⭐️ A friendly language for building type-safe, scalable systems!☆18,020Updated this week
- the champagne of beta embedded databases☆8,175Updated last month
- A Rust compiler front-end for IDEs☆14,295Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆12,691Updated this week
- A container runtime written in Rust☆6,317Updated this week
- Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl☆5,171Updated this week
- a structural diff that understands syntax 🟥🟩☆21,122Updated this week
- A fast and secure runtime for WebAssembly☆15,422Updated this week
- Mold: A Modern Linker 🦠☆14,395Updated 2 weeks ago