kmill

lean4-raytracer

A simple raytracer written in Lean 4

knotfolio

A program for drawing knots and links, with support for importing images

zmach

A z-machine interpreter which does dynamic recompilation to javascript

LeanTeX

Lean 4 library for pretty printing expressions as LaTeX

arrow_poly

Computation of (cabled) arrow polynomials of virtual knots

lean-graphcoloring

Using Lean to formalize proofs related to graph coloring

msri2023_graphs

Repository for graph theory & combinatorics group at the MSRI Lean summer school

textadv-js

A pure-JavaScript interactive fiction engine that runs in the web browser

bignum.js

A library for doing arithmetic with big integers, rationals, and computable reals.

esplights

An "operating system" for the ESP8266 to control lights.

kmill-aoc2023

Advent of Code 2023

planalg

Planar algebra computations in Mathematica

website

This is the source for my website

CryptogramGame

glimpse_of_lean

An introduction to theorem proving in Lean for the impatient.

kmill.github.io

Professional website

lean

Lean Theorem Prover

lean-graphs

Formalization of graphs and combinatorial maps in Lean

lean-mode

Emacs mode for Lean

lean4

Lean 4 programming language and theorem prover

leandiscord-weekly

Weekly challenges for the Lean Discord Server.

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

mathlib

Lean mathematical components library

pfr

plover

Plover is a language for matrix algebra on embedded systems.

propagate-example

A demonstration of propagator-based programming

python-zulip-api

scicalc

std4

Standard Library for Lean 4

tutorials

Some Lean tutorials