A fast in-memory rule engine

A computer science textbook

Mathematical terms, definitions, and propositions in as many languages as possible

Class materials for a distributed systems lecture series

A bug finding tool for quantum compilers

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. Stored as pure Python. All in a modern, AI-native editor.

SPARQL graph database

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…

Unified Cybersecurity Ontology

A post-processing tool for scanned sheets of paper.

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

xv6 OS

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.

Open textbook on modal logic

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.

The package of IBM’s typeface, IBM Plex.