TikZJax is TikZ running under WebAssembly in the browser

Linux kernel source tree

cocotb: Python-based chip (RTL) verification

Trace Taxi Trace Viewer

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

The open source coding agent.

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.

Machine Learning with Symbolic Tensors

eXpression differentiation in Julia

Hyper optimized contraction trees for large tensor networks and einsums

TensorLy: Tensor Learning in Python.

Convolutions and more as einsum for PyTorch

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

An open source replication of the stawberry method that leverages Monte Carlo Search with PPO and or DPO

The matrix cookbook, proved in the Lean theorem prover

a categorical deep learning compiler

Fuji is an AI agent that lives in your browser's sidepanel. You can now get tasks done online with a single command!

Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.

Pytorch implementation of preconditioned stochastic gradient descent (Kron and affine preconditioner, low-rank approximation preconditioner and more)

Collection of Matrix/Linear Algebra Information

Uncertainty quantification with PyTorch

Macros in Python: quasiquotes, case classes, LINQ and more!