HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,044Updated 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 massively parallel, high-level programming language☆18,803Updated 2 weeks ago
- A modern proof language☆3,680Updated 4 months ago
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆25,169Updated this week
- General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.☆39,541Updated this week
- A data-first Rust-native UI design toolkit.☆9,682Updated 7 months ago
- A cross-platform, safe, pure-Rust graphics API.☆14,414Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆26,797Updated last week
- Koka language compiler and interpreter☆3,525Updated 3 weeks ago
- A fast, friendly, functional language.☆5,023Updated this week
- Write expressive, high-performance parsers with ease.☆4,094Updated last week
- A Python Interpreter written in Rust☆20,176Updated this week
- 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, …☆14,958Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,498Updated 7 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆16,521Updated this week
- Build fast web applications with Rust.☆18,632Updated this week
- Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl☆5,770Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆9,978Updated this week
- Limbo is a project to build the next evolution of SQLite.☆11,174Updated this week
- A Rust compiler front-end for IDEs☆15,146Updated this week
- Ergonomic and modular web framework built with Tokio, Tower, and Hyper☆21,957Updated last week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,741Updated 2 months ago
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆19,820Updated this week
- ☆6,072Updated this week
- Rayon: A data parallelism library for Rust☆11,869Updated 2 months ago
- Rust / Wasm framework for creating reliable and efficient web applications☆31,682Updated this week
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆28,835Updated this week
- Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆11,379Updated this week
- A safe, extensible ORM and Query Builder for Rust☆13,425Updated this week
- 🦀 How to minimize Rust binary size 📦☆9,020Updated this week
- Rust parser combinator framework☆9,952Updated 4 months ago