Pinned Repositories
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(!)
HoTT-book-agda
Agda proofs of the HoTT book exercises
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/Bartizan
Mod Framework for TowerFall Ascension
Kha/do-supplement
Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
Kha/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Kha/aoc-2021
not meant as an instruction manual
Kha/syntax
Kha/action-gh-release
📦 :octocat: GitHub Action for creating GitHub Releases
Kha/aesop
White-box automation for Lean 4
Kha/cygports
Kha/datascience-utils
Kha/doc-gen4
Document Generator for Lean 4
Kha/home-manager
Manage a user environment using Nix
Kha/install-nix-action
Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.
Kha/lean-llvm
Custom-built LLVM toolchain for use in Lean 4
Kha/lean4-nightly
Kha/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Kha/lsp-mode
Emacs client/library for the Language Server Protocol
Kha/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
Kha/MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
Kha/nanoda
A type checker for the Lean theorem prover
Kha/nix-test
Kha/npm-widget
Kha/rc-correctness
Kha/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
Kha/smalltt
Demo for high-performance type theory elaboration
Kha/smt2_interface
Interface to SMT2 solvers
Kha/stdlib
Lean standard library
Kha/tba-2022
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
Kha/testpkg1
Kha/testpkg2
Kha/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.