Course notes for Formalising Mathematics 2026

Open Source HTML5 Puzzle Game Engine

Magma code for computing maps from a modular curve to an elliptic curve

Algorithm to compute isogeny primes over given number field

Magnificent app which corrects your previous console command.

Main repository of SageMath

JSON schema to connect to the quantum compute runtimes.

Data validation using Python type hints

A repository for all the sage functions I've written.

Accompanying electronic data for my MSc thesis (supervised by Nils Bruin)

A Puzzle Box using ciphers, mechanics, and Arduino

Repository for the Stacks Project

Implementation of Chabauty-Coleman algorithm in Magma

Improvements to the doctest standard library

Magma code for computations with modular curves

L-Functions and Modular Forms Database

This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…

a 3d fractal

PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts…

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.