Stars
Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
A 128-bit universal hash function designed for fast file/data stream integrity checks with cryptographic strength, written in Rust.
UMASH: a fast enough hash and fingerprint with collision bounds
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Examples and checks for the ByteDMD metric of complexity
SystemVerilog compiler and language services
Open-source vector similarity search for Postgres
TikZJax is TikZ running under WebAssembly in the browser
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Browser MCP is a Model Context Provider (MCP) server that allows AI applications to control your browser
Build effective agents using Model Context Protocol and simple workflow patterns
Development environments for coding agents. Enable multiple agents to work safely and independently with your preferred stack.
Pytest plugin for testing examples in docstrings and markdown files.
Hyper optimized contraction trees for large tensor networks and einsums
a compact tensor library capable of training deep neural networks on both cpu and cuda devices
Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion