HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,123Updated 10 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,702Updated 8 months ago
- A massively parallel, high-level programming language☆19,022Updated 4 months ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,379Updated this week
- A Git-compatible VCS that is both simple and powerful☆20,681Updated this week
- A fast, friendly, functional language.☆5,223Updated this week
- Write expressive, high-performance parsers with ease.☆4,246Updated this week
- Koka language compiler and interpreter☆3,681Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆15,212Updated this week
- A new type of shell☆36,572Updated last week
- mold: A Modern Linker 🦠☆15,728Updated 2 weeks ago
- A Python Interpreter written in Rust☆20,561Updated last week
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆5,037Updated last week
- Rust parser combinator framework☆10,104Updated last month
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,780Updated 6 months ago
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,565Updated 10 months ago
- The financial transactions database designed for mission critical safety and performance.☆13,544Updated this week
- Command-line sampling profiler for macOS, Linux, and Windows☆3,440Updated last week
- The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible …☆5,203Updated 2 months ago
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆26,657Updated last week
- Compiler for the Vale programming language - http://vale.dev/☆1,927Updated last year
- Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.☆20,483Updated this week
- Rayon: A data parallelism library for Rust☆12,225Updated last month
- a structural diff that understands syntax 🟥🟩☆23,134Updated last week
- A stack-based array programming language☆1,911Updated this week
- Borgo is a statically typed language that compiles to Go.☆4,471Updated 11 months ago
- A post-modern modal text editor.☆40,106Updated last week
- ⭐️ A friendly language for building type-safe, scalable systems!☆20,426Updated this week
- A data-first Rust-native UI design toolkit.☆9,694Updated 11 months ago
- 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,118Updated last year
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆16,956Updated last week