HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,107Updated 9 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,968Updated 2 months ago
- A modern proof language☆3,692Updated 7 months ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,228Updated this week
- Write expressive, high-performance parsers with ease.☆4,206Updated last week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆14,734Updated this week
- A fast, friendly, functional language.☆5,162Updated this week
- build-once run-anywhere c library☆19,693Updated 3 months ago
- Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆12,731Updated this week
- mold: A Modern Linker 🦠☆15,572Updated last week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆16,818Updated this week
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆4,779Updated 7 months ago
- Build fast web applications with Rust.☆19,005Updated this week
- The financial transactions database designed for mission critical safety and performance.☆13,301Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆15,017Updated this week
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆4,658Updated last week
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆19,988Updated last week
- A Python Interpreter written in Rust☆20,438Updated this week
- Rayon: A data parallelism library for Rust☆12,150Updated last week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,770Updated 5 months ago
- Koka language compiler and interpreter☆3,615Updated last week
- Melody is a language that compiles to regular expressions and aims to be more readable and maintainable☆4,700Updated 9 months ago
- The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible …☆5,160Updated last month
- Ergonomic and modular web framework built with Tokio, Tower, and Hyper☆22,874Updated 2 weeks ago
- Rust parser combinator framework☆10,062Updated last week
- Compiler for the Vale programming language - http://vale.dev/☆1,922Updated last year
- Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.☆20,139Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,551Updated 9 months ago
- 🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, …☆15,567Updated this week
- Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust☆13,673Updated this week
- 🦀 How to minimize Rust binary size 📦☆9,315Updated 2 weeks ago