Tools and sample code for authenticating to Gmail with OAuth2

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

A formalization of the Banach-Tarski theorem in Lean

A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.

A C++ implementation of the Schubfach algorithm - fast and accurate conversion of IEEE-754 double values to decimal strings

A signed and notarized universal macOS installer package for XZ Utils.

Common Lisp for Python

Breathe fresh life into your bricked Nest, now with 100% less evil!

Compiler for Elm, a functional language for reliable webapps.

Python and Julia in harmony.

COIN-OR Branch-and-Cut solver

Signal Messenger client for terminal

A repo with a minimal Sphinx example for Python documentation.

ESP32 based module to control Daikin aircon units

Python wrapper for bliss graph automorphism toolkit.

Enumeration of SRG(85,14,3,2)

Fast file synchronization and network forwarding for remote development

Count graph homomorphisms effortlessly in SageMath for fun! 🚀

Path library for C/C++. Cross-Platform for Linux, FreeBSD, Windows and MacOS. Supports UNIX and Windows path styles on those platforms.

A modern Discord <-> IRC bridge

sirocco port to C++ and MPFR

Gap4 version of Vector enumeration

Touying is a powerful package for creating presentation slides in Typst.

A Lean companion to Analysis I

Direct File

A signed and notarized universal macOS installer package for pkg-config.

nanobind: tiny and efficient C++/Python bindings