Pinned Repositories
arrow_poly
Computation of (cabled) arrow polynomials of virtual knots
dcc
The Decaf Compiler Compiler
htmacros
Hypertext macros for managing websites using LaTeX-like syntax
knotfolio
A program for drawing knots and links, with support for importing images
lean-graphcoloring
Using Lean to formalize proofs related to graph coloring
lean4-raytracer
A simple raytracer written in Lean 4
LeanTeX
Lean 4 library for pretty printing expressions as LaTeX
msri2023_graphs
Repository for graph theory & combinatorics group at the MSRI Lean summer school
textadv
An interactive fiction engine written in Python
zmach
A z-machine interpreter which does dynamic recompilation to javascript
kmill's Repositories
kmill/lean4-raytracer
A simple raytracer written in Lean 4
kmill/knotfolio
A program for drawing knots and links, with support for importing images
kmill/zmach
A z-machine interpreter which does dynamic recompilation to javascript
kmill/LeanTeX
Lean 4 library for pretty printing expressions as LaTeX
kmill/arrow_poly
Computation of (cabled) arrow polynomials of virtual knots
kmill/lean-graphcoloring
Using Lean to formalize proofs related to graph coloring
kmill/msri2023_graphs
Repository for graph theory & combinatorics group at the MSRI Lean summer school
kmill/textadv-js
A pure-JavaScript interactive fiction engine that runs in the web browser
kmill/bignum.js
A library for doing arithmetic with big integers, rationals, and computable reals.
kmill/esplights
An "operating system" for the ESP8266 to control lights.
kmill/kmill-aoc2023
Advent of Code 2023
kmill/planalg
Planar algebra computations in Mathematica
kmill/website
This is the source for my website
kmill/CryptogramGame
kmill/glimpse_of_lean
An introduction to theorem proving in Lean for the impatient.
kmill/kmill.github.io
Professional website
kmill/lean
Lean Theorem Prover
kmill/lean-graphs
Formalization of graphs and combinatorial maps in Lean
kmill/lean-mode
Emacs mode for Lean
kmill/lean4
Lean 4 programming language and theorem prover
kmill/leandiscord-weekly
Weekly challenges for the Lean Discord Server.
kmill/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
kmill/mathlib
Lean mathematical components library
kmill/pfr
kmill/plover
Plover is a language for matrix algebra on embedded systems.
kmill/propagate-example
A demonstration of propagator-based programming
kmill/python-zulip-api
kmill/scicalc
kmill/std4
Standard Library for Lean 4
kmill/tutorials
Some Lean tutorials