Stars
Universal Tensor Operations in Einstein-Inspired Notation for Python.
Buckaroo - The data table UI for Notebooks. Quickly explore dataframes, scroll through dataframes, search, sort, view summary stats and histograms. Works with Pandas, Polars, Jupyter, Marimo, VSCod…
Large Concept Models: Language modeling in a sentence representation space
Running Claude Code in docker container
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
The AWS provider for the Secrets Store CSI Driver allows you to fetch secrets from AWS Secrets Manager and AWS Systems Manager Parameter Store, and mount them into Kubernetes pods.
CleverBee - The Open Source Deep Researcher Tool
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
plasTeX plugin to build formalization blueprints.
My solutions to the Lean 4 Natural Number Game
Overview of tactics in Lean 4 for beginners — longer version
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
A web-based application for collaborating on simulation models in real-time using Firebase
A Python library for amortized Bayesian workflows using generative neural networks.
🦖 A SQL-on-everything Query Engine you can execute over multiple databases and file formats. Query your data, where it lives.
Presentation on how the Linux kernel is developed
Build a minimal multi-tasking OS kernel for ARM from scratch
A kernel that can read from keyboard and print on-screen
🤖 A prototype assistant for writing and thinking
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
A sample OS as demonstrated in the book Operating System: From 0 to 1