jart / matmul
☆18Updated 7 months ago
Alternatives and similar repositories for matmul:
Users that are interested in matmul are comparing it to the libraries listed below
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Rutgers APL correctly rounded math library☆29Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆49Updated last year
- A probabilistic approximate DNF counter☆36Updated 9 months ago
- materials available to the public☆24Updated 2 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated last week
- C implementation of the L-Mul f32/f16 multiplications from paper: https://arxiv.org/html/2410.00907☆27Updated 4 months ago
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆19Updated last year
- A bignum library for C.☆34Updated 7 months ago
- Viznut's C-only GPT-2 implementation☆50Updated 2 years ago
- Modeling futexes in TLA+☆22Updated 4 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- An optimizing compiler for a large subset of the C programming language☆25Updated 3 months ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆25Updated 10 months ago
- egg is a flexible, high-performance e-graph library☆11Updated 10 months ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- Example of using SDL2 with Cosmopolitan Libc☆32Updated 10 months ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated last year
- A C11 compiler for the discrete logic computer☆20Updated 10 months ago
- egraphs-good website☆15Updated 4 months ago
- ☆18Updated 5 months ago
- Coordinate Hash Trie: A Trie Variant Balancing between Time, Space, and Simplicity☆20Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…☆6Updated 11 months ago
- Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project,…☆29Updated 3 years ago