A Lean file formatter

This project converts structured Lean code into an interactive browser game.

A conda-smithy repository for realalg.

Trac to GitLab migration toolbox

Python wrapper to the PPL library. Source repository for https://pypi.org/project/pplpy/

A pure Common Lisp build of FriCAS

Computations for the "Torsion divisors of plane curves with maximal flexes and Zariski pairs"

Computations of the j-function

Generic rings in C (experimental)

Knuth's implementation of the dancing links algorithm

A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython

modular_resolution, a C library part of p_group_cohomology

Sage files to produce complex plots with both phase and magnitude

Simple LRU Cache for browser's localStorage

Markdown editor with inline preview

Simple command-line invoicing tool

[ARCHIVED] Automatic tiling window manager for Windows 10/11

Utility tools for PARI/GP

Implementation of Hilbert modular groups using SageMath

Test worksheets for SageMath

An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execu…

Numerically evaluate riemann theta functions to arbitrary precision in SageMath

GNU Fortran (and GCC) compilers for macOS

A visual graph editor widget for SageMath

Python code (using regina, snappy, and sage) for working with transverse taut and veering ideal triangulations.