HigherOrderCO / HVM1Links
A massively parallel, optimal functional runtime in Rust
☆31Updated last year
Alternatives and similar repositories for HVM1
Users that are interested in HVM1 are comparing it to the libraries listed below
Sorting:
- HVM3☆255Updated this week
- It's a baby compiler. (Lean btw.)☆16Updated 3 months ago
- Temporary repository for Kind2's refactor based on HVM2☆281Updated 11 months ago
- The Finite Field Assembly Programming Language☆36Updated 3 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- A minimal proof checker.☆75Updated 11 months ago
- An interaction combinator runtime☆17Updated 11 months ago
- Tensor library with autograd using only Rust's standard library☆69Updated last year
- 8-bit computational substrates☆41Updated last year
- ☆98Updated 8 months ago
- GPT-2 inference engine written in Zig☆39Updated 2 years ago
- tiny code to access tenstorrent blackhole☆59Updated 3 months ago
- ☆53Updated last week
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Tiny Autograd engine written in Rust☆58Updated last year
- Attempt at Neuralink's Compression Challenge☆86Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Can I make an *optimizing* compiler under 1k lines of code?☆61Updated 6 months ago
- GPU-accelerated compiler☆349Updated last year
- parallelized hyperdimensional tictactoe☆124Updated last year
- Experimental compiler for deep learning models☆68Updated 3 months ago
- Using Large Language Models for Repo-wide Type Prediction☆111Updated last year
- Training AI for Super Smash Bros. Melee☆30Updated 5 months ago
- a categorical deep learning compiler☆203Updated 6 months ago
- ☆52Updated 7 months ago
- The SM-2 algorithm.☆22Updated 7 months ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- A Mojo implementation of the Tiny Stable Diffusion model☆51Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆310Updated 10 months ago
- ☆117Updated 4 months ago