HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,083Updated 8 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,926Updated 2 months ago
- A modern proof language☆3,692Updated 6 months ago
- A fast, friendly, functional language.☆5,130Updated this week
- mold: A Modern Linker 🦠☆15,508Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,143Updated last week
- General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.☆40,373Updated this week
- Koka language compiler and interpreter☆3,593Updated last week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆16,724Updated this week
- A post-modern modal text editor.☆39,291Updated this week
- The financial transactions database designed for mission critical safety and performance.☆13,152Updated this week
- build-once run-anywhere c library☆19,626Updated 2 months ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,761Updated 4 months ago
- Burn is a next generation Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆12,536Updated this week
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆4,719Updated 6 months ago
- peer-2-peer that just works☆6,686Updated last week
- Build fast web applications with Rust.☆18,866Updated last week
- A friendly programming language from the future☆6,157Updated this week
- Borgo is a statically typed language that compiles to Go.☆4,446Updated 9 months ago
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆6,505Updated last week
- A stack-based array programming language☆1,861Updated this week
- A terminal workspace with batteries included☆25,596Updated this week
- A data-parallel functional programming language☆2,562Updated this week
- Write expressive, high-performance parsers with ease.☆4,160Updated 2 weeks ago
- ☆6,126Updated 3 weeks ago
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆19,945Updated this week
- Lightning-fast and Powerful Code Editor written in Rust☆37,141Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆26,103Updated this week
- The Jakt Programming Language☆2,949Updated 2 weeks ago
- Odin Programming Language☆8,762Updated this week
- An incremental parsing system for programming tools☆21,604Updated this week