Stars
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
Get up and running with Llama 3.3, Mistral, Gemma 2, and other large language models.
Claude vim plugin for AI pair programming - a hacker's gateway to LLMs
Sparse and discrete interpretability tool for neural networks
Create feature-centric and prompt-centric visualizations for sparse autoencoders (like those from Anthropic's published research).
watchpoints is an easy-to-use, intuitive variable/object monitor tool for python that behaves similar to watchpoints in gdb.
The boundary of neural network trainability is fractal
A debugging and profiling tool that can trace and visualize python code execution
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
An interactive guide to the game theory of cooperation
An introduction to theorem proving in Lean for the impatient.
Lean 4 programming language and theorem prover
Msgpack serialization/deserialization library for Python, written in Rust using PyO3 and rust-msgpack. Reboot of orjson. msgpack.org[Python]
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
(OLD REPO) Line-by-line profiling for Python - Current repo ->