Starred repositories
Natural language tactics to teach mathematics using Lean 4
The CompCert formally-verified C compiler
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
GPTeam: An open-source multi-agent simulation
Ai2 Climate Emulator: fast machine learning models for weather and climate prediction
A JavaScript framework for interactive (mathematical) content.
A collaborative book on algorithms
A package for marking and annotating in math blocks in Typst.
PyTorch building blocks for the OLMo ecosystem
Helper toolkit for creating your own Lean 4 UserWidgets
CodeScientist: An automated scientific discovery system for code-based experiments
Toolkit for linearizing PDFs for LLM datasets/training
Repo housing the open sourced code for the ai2 scholar qa app and also the corresponding library
A curated list of resources dedicated to table recognition
A Deductive Verification Tool for OCaml Programs
Pretty good call graphs for dynamic languages
⛔️ DEPRECATED – See https://github.com/ageron/handson-ml3 instead.
A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
📊 Create visualizations from numbers in documents.
Step by step math solutions for everyone
Computer Algebra System in Javascript (Typescript)
A sandboxed JavaScript interpreter in JavaScript.
A feature-rich command-line audio/video downloader