LeetArxiv / Finite-Field-AssemblyLinks
The Finite Field Assembly Programming Language
☆36Updated 3 months ago
Alternatives and similar repositories for Finite-Field-Assembly
Users that are interested in Finite-Field-Assembly are comparing it to the libraries listed below
Sorting:
- a categorical deep learning compiler☆203Updated 6 months ago
- Tensor library & inference framework for machine learning☆107Updated last week
- Can I make an *optimizing* compiler under 1k lines of code?☆61Updated 6 months ago
- asynchronous/distributed speculative evaluation for llama3☆39Updated last year
- tiny code to access tenstorrent blackhole☆59Updated 3 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated 3 weeks ago
- Train neural networks that distill into logic circuits, using JAX☆62Updated 2 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Pytorch script hot swap: Change code without unloading your LLM from VRAM☆126Updated 4 months ago
- A tiny deep learning library written in Java☆26Updated 2 years ago
- Tensor library with autograd using only Rust's standard library☆69Updated last year
- A probabilistic approximate DNF counter☆37Updated last month
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Learning about CUDA by writing PTX code.☆135Updated last year
- Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator☆211Updated last year
- A tiny autograd engine with a Jax-like API☆74Updated last month
- parallelized hyperdimensional tictactoe☆124Updated last year
- High-Performance SGEMM on CUDA devices☆97Updated 7 months ago
- Matrix multiplication schemes☆197Updated 3 months ago
- throwaway GPT inference☆140Updated last year
- A massively parallel, optimal functional runtime in Rust☆31Updated last year
- ctypes wrappers for HIP, CUDA, and OpenCL☆130Updated last year
- It's a baby compiler. (Lean btw.)☆16Updated 3 months ago
- ☆51Updated last year
- Training GPTs to solve interaction nets☆17Updated last year
- ☆18Updated last year
- RDNA3 emulator☆54Updated 4 months ago
- An implementation of delta-iris in tinygrad☆72Updated last year
- SIMD quantization kernels☆83Updated last week
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago