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☆266Updated last week
- ☆104Updated 10 months ago
- 8-bit computational substrates☆42Updated last year
- The Finite Field Assembly Programming Language☆36Updated 4 months ago
- Tensor library with autograd using only Rust's standard library☆69Updated last year
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated last year
- Tiny Autograd engine written in Rust☆59Updated last year
- Can I make an *optimizing* compiler under 1k lines of code?☆61Updated 7 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- GPT-2 inference engine written in Zig☆39Updated 2 years ago
- tiny code to access tenstorrent blackhole☆59Updated 4 months ago
- It's a baby compiler. (Lean btw.)☆16Updated 4 months ago
- Experimental compiler for deep learning models☆67Updated 3 weeks ago
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Attempt at Neuralink's Compression Challenge☆86Updated last year
- Training GPTs to solve interaction nets☆17Updated last year
- Training AI for Super Smash Bros. Melee☆30Updated 6 months ago
- Bend2 - WIP☆190Updated last week
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆21Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- ☆18Updated last year
- a categorical deep learning compiler☆205Updated last week
- parallelized hyperdimensional tictactoe☆125Updated last year
- Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.☆274Updated 11 months ago
- egraphs-good website☆18Updated last year
- GPU-accelerated compiler☆354Updated last year
- Arduino and Desktop compatible fast online/incremental machine learning system.☆80Updated 2 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- A distributed execution framework built upon lunatic.☆16Updated last year