HigherOrderCO / HVMLinks
A massively parallel, optimal functional runtime in Rust
☆11,194Updated 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,135Updated 7 months ago
- A modern proof language☆3,720Updated 11 months ago
- A fast, friendly, functional language.☆5,440Updated this week
- Koka language compiler and interpreter☆3,782Updated 3 weeks ago
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,717Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆16,068Updated this week
- Write expressive, high-performance parsers with ease.☆4,402Updated last week
- ⭐️ A friendly language for building type-safe, scalable systems!☆20,928Updated this week
- A friendly programming language from the future☆6,464Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆27,655Updated last week
- Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl☆6,008Updated this week
- build-once run-anywhere c library☆20,331Updated last month
- A cross-platform GUI library for Rust, inspired by Elm☆29,016Updated this week
- ☆6,326Updated last week
- Cross-platform Rust rewrite of the GNU coreutils☆22,507Updated this week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆13,849Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,407Updated this week
- A Python Interpreter written in Rust☆21,616Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,830Updated 9 months ago
- Rust bindings for the Python interpreter☆15,125Updated this week
- The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible …☆5,366Updated 2 weeks ago
- Build fast web applications with Rust.☆19,722Updated this week
- Moved to Codeberg☆42,608Updated last month
- A safe, easy systems language☆2,186Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,585Updated 2 months ago
- Odin Programming Language☆9,526Updated this week
- A data-parallel functional programming language☆2,642Updated this week
- A tacit array programming language☆2,039Updated this week
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆3,816Updated last year
- 🚀 Fast, secure, lightweight containers based on WebAssembly☆20,287Updated this week