kisonecat

tikzjax

TikZJax is TikZ running under WebAssembly in the browser

dvi2html

Device independent (DVI) file format parsing with node

pi-base-mathlib

some Lean 4 code for verifying facts from pi-base using mathlib

chart

course-descriptions

Descriptions of courses from Ohio State University's math department

ford-circles

javascript demo of Ford circles

math3345-game

An online game built with lean-make-game for Math 3345H

math7851

Characteristic class course readings and problem sets

mathlib_knot_theory

Trying to add knot theory to the mathlib project

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Characteristic-Classes

countdot.hs

Cards with fun diagrams for counting dots

cubical-1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

DoenetTools

gmp-demo

An example of using GMP from C++

HPDevOne

About the HP Dev One

iblgpt

Using ChatGPT for an IBL math course

kisonecat.github.io

Jim Fowler's homepage

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lti13

A Haskell LTI 1.3 library

math

math6802

Math 6802, a second course in algebraic topology

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

maze-generator

Generate mazes on some surfaces

meow

Yet another modal editing on Emacs / 猫态编辑

nixpkgs

Nix Packages collection

node-kpathsea

Node native bindings to the kpathsea library

osuletter

Letterhead LaTeX document class for letters

pi-base-data

A community database of topological counterexamples

py222

Python 2x2 Rubik's Cube representation & solver