Starred repositories
LaTeX code for a paper on lean's type theory
😎 Awesome lists about all kinds of interesting topics
The "batteries included" extended library for the Lean programming language and theorem prover
Draft proposal for additional sub/superscript characters in Unicode
Browser extension that simplifies the GitHub interface and adds useful features
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Formalization of the existence of sphere eversions
A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)
Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.
A collection of tools for writing technical documents that mix Coq code and prose.
FD- / RPiPlay
Forked from KqSMea8/AirplayServerAn open-source AirPlay mirroring server for the Raspberry Pi. Supports iOS 9 and up.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
A fork of Ubuntu's Yaru theme - in different colors
Lean 3's obsolete mathematical components library: please use mathlib4
Lean 4 programming language and theorem prover