kmill Goto Github PK

arrow_poly

Computation of (cabled) arrow polynomials of virtual knots

audqueue

A web-based client for queuing music in Audacious

bignum.js

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

clangor

A language for sound synthesis

cryptogramgame

dcc

The Decaf Compiler Compiler

esplights

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

glimpse_of_lean

An introduction to theorem proving in Lean for the impatient.

htmacros

Hypertext macros for managing websites using LaTeX-like syntax

jslisp

Bootstrapping a lisp system in javascript from scratch

kmill-aoc2023

Advent of Code 2023

kmill.github.io

Professional website

knotfolio

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

lean

Lean Theorem Prover

lean-graphcoloring

Using Lean to formalize proofs related to graph coloring

lean-graphs

Formalization of graphs and combinatorial maps in Lean

lean-mode

Emacs mode for Lean

lean4

Lean 4 programming language and theorem prover

lean4-raytracer

A simple raytracer written in Lean 4

leandiscord-weekly

Weekly challenges for the Lean Discord Server.

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

leantex

Lean 4 library for pretty printing expressions as LaTeX

mathlib

Lean mathematical components library

metaview

metaview2

metaview2

msri2023_graphs

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

news_crowdsourcer

notes

wiki with mathjax and markdown

nyc_address_extractor

pfr