Lists (1)
Stars
An easy to use, minimal, text focused Jekyll theme
CoCalc: Collaborative Calculation in the Cloud
An open source implementation of the Fountain screenplay formatting language.
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
A personal library, formalizing cohesive homotopy type theory in Agda.
The user home repository for the Mathematics in Lean tutorial.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Perfectoid spaces in the Lean formal theorem prover.
Lean files for the 2024 Durham Computational Algebraic Geometry workshop
Templates that are directly maintained by the Typst team.
Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.
NixOS Guide. Learn all about the immutable Nix Operating System and the declarative Nix Expression Language.
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
Allows switch environment for Visual Studio Code using Nix Package Manager.
A modern commutative diagram editor for the web.
Logical manifestations of topological concepts, and other things, via the univalent point of view.
OBS Studio - Free and open source software for live streaming and screen recording
Command line client for Nix binary cache hosting:
Haskell library for writing Discord bots