HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,056Updated 7 months ago
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,685Updated 5 months ago
- A massively parallel, high-level programming language☆18,857Updated last month
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,508Updated 7 months ago
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆25,625Updated last week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,032Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆14,517Updated this week
- Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆11,480Updated last week
- A cross-platform GUI library for Rust, inspired by Elm☆27,030Updated this week
- Minimalist ML framework for Rust☆17,539Updated 2 weeks ago
- A fast, friendly, functional language.☆5,083Updated this week
- Rayon: A data parallelism library for Rust☆11,926Updated 3 months ago
- Write expressive, high-performance parsers with ease.☆4,119Updated last week
- A Rust compiler front-end for IDEs☆15,232Updated this week
- Cross-platform Rust rewrite of the GNU coreutils☆20,848Updated this week
- Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl☆5,798Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆16,595Updated last week
- A data-first Rust-native UI design toolkit.☆9,697Updated 8 months ago
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆4,521Updated this week
- Ergonomic and modular web framework built with Tokio, Tower, and Hyper☆22,236Updated this week
- Build fast web applications with Rust.☆18,731Updated this week
- The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible …☆5,073Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆13,874Updated last week
- A full featured, fast Command Line Argument Parser for Rust☆15,249Updated last week
- ☆6,090Updated 3 weeks ago
- General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.☆39,890Updated 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 10 months ago
- Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.☆19,764Updated this week
- A refreshingly simple data-driven game engine built in Rust☆40,455Updated this week
- 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, …☆15,052Updated this week
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆29,026Updated this week