Pinned Repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Bartizan
Mod Framework for TowerFall Ascension
do-supplement
Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
macro-supplement
Supplemental material for the "Beyond Notations" paper
masters-thesis
nale
Nix + Lean = Nale
nixprof
A Nix build graph profiler
elan
The Lean version manager
lean4
Lean 4 programming language and theorem prover
Kha's Repositories
Kha/nixprof
A Nix build graph profiler
Kha/nale
Nix + Lean = Nale
Kha/macro-supplement
Supplemental material for the "Beyond Notations" paper
Kha/aoc-2022
aoc-2022
Kha/dotfiles
.config/
Kha/elan
A Lean version manager
Kha/nix
Nix, the purely functional package manager
Kha/actions-test
Kha/C-parsing-for-Lean4
A parser for ANSI C, in Lean4.
Kha/FlameTC
Kha/lake
Lean 4 build system and package manager with configuration files written in Lean.
Kha/lean
Lean Theorem Prover
Kha/lean-bench
Kha/lean-infra
NixOS config for Lean-related services I maintain
Kha/lean4
Lean4 work in progress repo
Kha/lean4-mode
Emacs major mode for Lean 4
Kha/lean4web
Kha/leanprover.github.io
www
Kha/lsp-ivy
Kha/mathlib-port-status
Tools for managing the status of the port
Kha/mathlib4
Work in progress mathlib port for lean 4
Kha/mathlib4-bench
mathlib4-bench
Kha/mathport
WIP tool for translating `.lean` files from lean3 to lean4
Kha/nix-portable
Nix - Static, Permissionless, Installation-free, Pre-configured
Kha/nixpkgs
Nix Packages collection
Kha/oleanparser
Kha/presentations
lean-related presentations
Kha/python-zulip-api
Kha/temci
An advanced benchmarking tool
Kha/test-summary
Show a helpful summary of test results in GitHub Actions CI/CD workflow runs