serge-sans-paille / i8mmLinks
Various implementation of byte matrix multiplication
☆26Updated 8 months ago
Alternatives and similar repositories for i8mm
Users that are interested in i8mm are comparing it to the libraries listed below
Sorting:
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- Tensor library & inference framework for machine learning☆110Updated last week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 6 months ago
- B-field implementation in Rust☆203Updated 2 months ago
- 😎 A curated list of WebAssembly runtimes☆59Updated 9 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- 🪝"mnist" in 60 lines of code, no dependencies. For educational purposes.☆31Updated last year
- Fun with wgpu: Simulating slime mold☆24Updated last year
- a 64-bit histogram / quantile sketch☆59Updated 8 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- A GPU Accelerated Binary Vector Store☆47Updated 6 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- ☆34Updated last week
- a small, lightweight crate for numerical integration written in Rust.☆110Updated last month
- Run erlang as a WASI http server (vapourware)☆27Updated 9 months ago
- Multi-Array Queue program codes☆76Updated 3 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- HypergraphZ - A Hypergraph Implementation in Zig☆106Updated 2 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 11 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- A probabilistic approximate DNF counter☆37Updated last week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆74Updated last year
- A bibliography for protocol design☆41Updated 4 months ago