serge-sans-paille / i8mm
Various implementation of byte matrix multiplication
☆25Updated 2 months ago
Alternatives and similar repositories for i8mm:
Users that are interested in i8mm are comparing it to the libraries listed below
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- Brzozowski derivative python sketch☆85Updated 11 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- A mirror of https://git.sr.ht/~grego/sumtypes.h☆76Updated 2 months ago
- Run erlang as a WASI http server (vapourware)☆26Updated 4 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- the origins of J☆62Updated last year
- ☆34Updated 2 months ago
- Fun with wgpu: Simulating slime mold☆24Updated 7 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆66Updated 2 years ago
- A C11 compiler for the discrete logic computer☆20Updated 11 months ago
- A toy programming language I wrote in late 2022☆24Updated 11 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- HypergraphZ - A Hypergraph Implementation in Zig☆103Updated 2 weeks ago
- ☆80Updated 5 months ago
- Autoregressive transformers in APL☆99Updated last month
- Zig library for HyperLogLog estimation☆89Updated 8 months ago
- ☆50Updated 9 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- Multi-Array Queue program codes☆75Updated 2 months ago
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year