jart / matmulLinks
☆18Updated last year
Alternatives and similar repositories for matmul
Users that are interested in matmul are comparing it to the libraries listed below
Sorting:
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Can I make an *optimizing* compiler under 1k lines of code?☆60Updated 4 months ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated last week
- Rutgers APL correctly rounded math library☆30Updated 4 years ago
- a GPT in pure Python☆10Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆109Updated 11 months ago
- Modeling futexes in TLA+☆20Updated 9 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- Robin Hood Sort, for uniform data☆73Updated 2 years ago
- materials available to the public☆25Updated 7 months ago
- A bignum library for C.☆33Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- A Tensor Language☆55Updated 4 years ago
- Viznut's C-only GPT-2 implementation☆52Updated 2 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Quipu Programming Language☆20Updated 12 years ago
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆20Updated last year
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆28Updated 8 months ago
- Lightweight framework for easy and efficient code generation☆100Updated 10 months ago
- Zig Optimizing Backend☆20Updated last month
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- Various implementation of byte matrix multiplication☆26Updated 6 months ago
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Busy Beaver deciders backed by Coq proof☆53Updated 4 months ago
- ☆53Updated 4 years ago
- Example of using SDL2 with Cosmopolitan Libc☆36Updated last year
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last week