Stars
A computer science textbook
Mathematical terms, definitions, and propositions in as many languages as possible
Class materials for a distributed systems lecture series
Present anything Emacs can do with programmable, extensible, configurable slides & presentation steps made from org mode headings
OCR & Document Extraction using vision models
Mathematical proofs of the bbchallenge project.
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with yo…
A post-processing tool for scanned sheets of paper.
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
Lean theorem proving interface which feels like pen-and-paper proofs.
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Best Practices on Recommendation Systems
Merlin Mann attempts to capture the best advice he's heard and learned from.
Tools to support converting a Python project into a standalone native application.
Code for the book Deep Learning From Scratch, from O'Reilly September 2019
A Git-compatible VCS that is both simple and powerful
Advanced Python Mastery (course by @dabeaz)
mimalloc is a compact general purpose allocator with excellent performance.