index
NameDescriptionIdle
evolutionThe evolution of a Lean programmer11 hours
websiteUnnamed repository; edit this file 'description' to name the repository.11 hours
lean-iapIAP 2026 class about Lean (mirror)39 hours
miscelleaneousRandom Lean experiments41 hours
dotfilesMy ~/.config directory2 days
nixos-configMy NixOS configuration files2 days
leantexWrite LaTeX presentations directly from Lean4~ (fork)3 days
arislopleLean 4 AI slop6 days
cjkartASCII art thingy9 days
nixos-cheatsheetCheatsheet for NixOS (mirror)9 days
intro-to-python🐍 A simple introduction to Python for everyone!10 days
searchSemantic image search using FastEmbed and sqlite-vec3 weeks
physicsA dumb physics engine written in TypeScript3 weeks
sleanLean port of SDC3 weeks
everything.nixInstalling every NixOS package4 weeks
sdcA ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, an...7 weeks
leanimeBad Apple!! but it's 3288 Lean tactics spamming VS Code7 weeks
memeproverMade using the best language ever!8 weeks
leantestApparently this is load-bearing now9 weeks
mathematics_in_leanMy solutions for this book4 months
leanetDumb TCP thingy using Lean6 months
lean4perfSilly Lean vs C++ benchmark6 months
rebuild_dbManage your iPod shuffle without iTunes, patched for modern Python 38 months
6.7800-project✨ Convolve me, senpai!!! ✨8 months
rand-nixRNG in Nix pure eval mode9 months
lambdaRandom lambda calculus stuff9 months
proof-of-false2025 April Fools' Day joke9 months
6.8301-projectSharing without a network through vision10 months
mooA circuit description language10 months
sdrsPartially formally verified Rust port of SDC10 months
sdVery efficient flash cards app using Go and SQLite12 months
genghisOnly Kevin will get the joke12 months
nlp-class-projectNLP class project (mirror)13 months
transformer-shortest-pathsExperimentally evaluating transformers' generalization on a synthetic task (mirr...13 months
cssCSS experiments15 months
blank2024 exozyme April Fools' day puzzle20 months
flipSingle-instruction Turing-complete programming language22 months
recursionRecursion2 years
bilituiA dead simple Python TUI for Bilibili2 years
httpifyTurn your cool script into a dumb web app3 years
zenmonitor3UNMAINTAINED, use https://github.com/detiam/zenmonitor3/ instead. Zenmonitor3 is...3 years
kelaA new decentralized web protocol3 years
april-gools2023 exozyme April Fools' Day joke3 years
yueProgrammatic music library3 years
giteaDevelopment moved to Codeberg3 years
fuwuqiA useless C2S ActivityPub server3 years
never-gonna-give-beep-upNever Gonna Give You Up but it's played on a PC speaker using the beep command3 years
activitypubA fork of go-ap/activitypub to make it easier to implement extensions3 years
6.a01Code for the class 6.A013 years
zenpower3UNMAINTAINED, use https://github.com/AliEmreSenel/zenpower3 instead. Zenpower3 i...3 years
generated by cgit v1.2.3 (git 2.52.0) at 2026-01-13 14:58:05 +0000