HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,175Updated last year
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☆19,108Updated 6 months ago
- A modern proof language☆3,714Updated 10 months ago
- Koka language compiler and interpreter☆3,760Updated last week
- A Git-compatible VCS that is both simple and powerful☆22,831Updated last week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,620Updated this week
- Moved to Codeberg☆42,559Updated 2 weeks ago
- A fast, friendly, functional language.☆5,382Updated last week
- A cross-platform, safe, pure-Rust graphics API.☆15,805Updated this week
- Write expressive, high-performance parsers with ease.☆4,334Updated last week
- mold: A Modern Linker 🦠☆15,944Updated this week
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,245Updated this week
- A Scalable, User-Friendly Source Control System.☆6,639Updated last week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆13,609Updated this week
- Rust parser combinator framework☆10,222Updated 3 months ago
- A Python Interpreter written in Rust☆20,881Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆27,377Updated this week
- peer-2-peer that just works☆7,507Updated this week
- Odin Programming Language☆9,376Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,816Updated 8 months ago
- Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.☆4,909Updated last week
- Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possib…☆3,163Updated last week
- Rayon: A data parallelism library for Rust☆12,453Updated last month
- 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,105Updated last year
- ☆6,281Updated 2 months ago
- the champagne of beta embedded databases☆8,812Updated last month
- A new type of shell☆37,489Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,583Updated last month
- Rust bindings for the Python interpreter☆14,958Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆16,610Updated this week
- A fast static site generator in a single binary with everything built-in. https://www.getzola.org☆16,232Updated this week