• lean-datalog Datalog in Lean Updated at 2026-08-05 14:28:37 -0400
• miscelleaneous Random Lean experiments Updated at 2026-08-05 14:00:58 -0400
• nixos-config My NixOS configuration files Updated at 2026-08-04 22:36:17 -0400
• dotfiles My ~/.config directory Updated at 2026-08-01 00:54:03 -0400
• monotonicity A city-building and transport simulation game written in Lean Updated at 2026-07-31 13:41:08 -0400
• fcitx5-lean Lean port of fcitx5-agda Updated at 2026-07-21 00:56:19 -0400
• i-love-lean Made using the best language ever! Updated at 2026-07-20 16:45:35 -0400
• category-theory-notes Notes for a category theory class (mirror) Updated at 2026-06-14 22:06:10 -0400
• nonleanear Random Rocq experiments Updated at 2026-06-04 19:13:42 -0400
• 6.5610-project Cryptography final project Updated at 2026-06-02 21:02:01 -0400
• catvdog Silly taxonomy quiz Updated at 2026-04-17 23:00:21 -0400
• leanet AI slop Nanochat Lean port Updated at 2026-04-16 17:14:05 -0400
• search Semantic image search using FastEmbed and sqlite-vec Updated at 2026-04-02 17:58:00 -0400
• evolution The evolution of a Lean programmer Updated at 2026-03-23 21:30:25 -0500
• arislople Lean 4 AI slop Updated at 2026-03-20 17:14:28 -0400
• sqlite-lean Sqlite3 bindings for lean4 (mirror) Updated at 2026-02-18 15:18:00 -0500
• loomtest Messing around with Loom and Velvet Updated at 2026-02-05 19:37:00 -0500
• lean-iap IAP 2026 class about Lean (mirror) Updated at 2026-01-26 00:13:25 -0500
• leantex Write LaTeX presentations directly from Lean4~ (fork) Updated at 2026-01-13 17:19:29 -0600
• intro-to-python 🐍 A simple introduction to Python for everyone! Updated at 2026-01-03 20:10:22 -0600
• physics A dumb physics engine written in TypeScript Updated at 2025-12-24 13:47:36 -0600
• slean Lean port of SDC Updated at 2025-12-19 21:30:39 -0600
• everything.nix Installing every NixOS package Updated at 2025-12-15 19:20:01 -0600
• sdc A ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, and PyQt Updated at 2025-11-28 19:23:30 -0500
• leanime Bad Apple!! but it's 3288 Lean tactics spamming VS Code Updated at 2025-11-22 18:09:52 -0500
• leantest Apparently this is load-bearing now Updated at 2025-11-14 14:39:52 -0500
• mathematics_in_lean My solutions for this book Updated at 2025-09-22 16:16:31 -0400
• rebuild_db Manage your iPod shuffle without iTunes, patched for modern Python 3 Updated at 2025-05-17 12:26:57 -0400
• 6.7800-project ✨ Convolve me, senpai!!! ✨ Updated at 2025-05-11 23:28:57 -0400
• rand-nix RNG in Nix pure eval mode Updated at 2025-04-18 20:55:37 -0400
• lambda Random lambda calculus stuff Updated at 2025-04-02 20:56:56 -0400
• proof-of-false 2025 April Fools' Day joke Updated at 2025-04-01 14:29:58 -0400
• 6.8301-project Sharing without a network through vision Updated at 2025-03-28 16:01:30 -0500
• moo A circuit description language Updated at 2025-03-28 12:04:48 -0500
• sdrs Partially formally verified Rust port of SDC Updated at 2025-03-27 12:00:44 -0500
• sd Very efficient flash cards app using Go and SQLite Updated at 2025-01-13 21:09:04 -0500
• transformer-shortest-paths Experimentally evaluating transformers' generalization on a synthetic task (mirror) Updated at 2024-12-10 23:00:13 -0500
• nlp-class-project NLP class project (mirror) Updated at 2024-12-10 22:21:31 -0500
• css CSS experiments Updated at 2024-10-18 01:20:32 +0000
• blank 2024 exozyme April Fools' day puzzle Updated at 2024-05-01 16:18:34 +0000
• flip Single-instruction Turing-complete programming language Updated at 2024-03-02 21:02:45 -0500
• httpify Turn your cool script into a dumb web app Updated at 2023-06-01 16:57:42 +0000
• zenmonitor3 UNMAINTAINED, use https://github.com/detiam/zenmonitor3/ instead. Zenmonitor3 is monitoring software for AMD Zen-based CPUs, now with Zen 3 support! Updated at 2023-05-21 12:44:12 -0400
• kela A new decentralized web protocol Updated at 2023-05-15 19:39:23 -0400
• april-gools 2023 exozyme April Fools' Day joke Updated at 2023-04-01 14:27:46 +0000
• yue Programmatic music library Updated at 2023-03-21 22:56:34 -0400
• gitea Development moved to Codeberg Updated at 2023-03-16 01:34:48 +0000
• fuwuqi A useless C2S ActivityPub server Updated at 2023-02-06 15:28:25 -0500
• never-gonna-give-beep-up Never Gonna Give You Up but it's played on a PC speaker using the beep command Updated at 2022-12-27 18:56:11 -0600
• activitypub A fork of go-ap/activitypub to make it easier to implement extensions Updated at 2022-11-26 17:14:42 +0000
• 6.a01 Code for the class 6.A01 Updated at 2022-11-17 17:18:40 -0500
• zenpower3 UNMAINTAINED, use https://github.com/AliEmreSenel/zenpower3 instead. Zenpower3 is a Linux kernel driver for reading temperature, voltage(SVI2), current(SVI2) and power(SVI2) for AMD Zen family CPUs, now with Zen 3 support! Updated at 2022-11-03 21:24:08 -0400
• piano-appp Use your PC beeper as a piano Updated at 2022-10-22 22:03:35 -0400
• hackmit 2022 HackMIT project by @a and @alekw Updated at 2022-10-02 19:40:34 -0400
• aptools Useful tools for Gitea federation development Updated at 2022-08-16 23:37:49 -0500
• gitea-wiki Gitea federation notes Updated at 2022-08-17 00:34:49 +0800
• ebooks Fediverse ebooks bot using neural networks Updated at 2022-07-19 10:35:47 -0500
• rocm-arch A collection of Arch Linux PKGBUILDS for the ROCm platform Updated at 2022-06-22 14:28:07 -0500
• idiot-code-golf Stupid solutions to simple problems. Updated at 2022-06-22 12:21:25 -0500
• usaco Clean implementations of solutions to USACO problems Updated at 2022-06-15 19:49:12 -0500
• math-21.5 More math notes and lectures Updated at 2022-05-08 21:26:03 -0500
• mccarthyism A subversive card game Updated at 2022-05-03 10:57:27 -0500
• gimkit Searching for the optimal Gimkit strategy Updated at 2022-04-29 12:12:22 -0500
• print-hello-world A potpourri of programming languages Updated at 2022-04-28 09:24:27 -0500
• spatio Exploring spatiotemporal acceleration structures, by @slightknack and @a. Updated at 2022-03-18 15:47:51 -0500
• code My competitive programming environment, for VSCode and VSCodium Updated at 2022-03-05 21:18:23 -0600
• library Some useful algorithms for competitive programming Updated at 2022-03-05 21:17:28 -0600
• detector-building Arduino code and other resources for the 2021 Science Olympiad event Detector Building Updated at 2022-02-12 13:17:04 -0600
• astronomy Resources for Science Olympiad Astronomy Updated at 2022-02-10 20:36:53 -0600
• infectious-disease-modeling Modeling infectious diseases with the SIR model and variations Updated at 2022-01-12 09:10:37 -0600
• pytorch PyTorch experiments Updated at 2022-01-11 12:24:42 -0600
• tldr My Linux cheatsheets, compatible with tldr Updated at 2022-01-02 15:19:01 -0600
• tensorflow TensorFlow test programs Updated at 2021-12-16 08:36:40 -0600
• make-forwarder-dsi An actively maintained fork of Make Forwarder DSi, compatible with the latest TWiLight Menu++ Updated at 2021-08-03 15:02:38 -0500
• rgbtemp Change RGB colors according to temperature Updated at 2021-07-15 21:00:36 -0500
• terminal Code for C1Games Terminal Updated at 2021-06-05 15:44:16 +0000
• covid-challenge USACO Camp COVID challenge Updated at 2021-06-02 19:29:56 -0500
• math-20.5 Math notes and lectures Updated at 2021-05-02 19:23:18 -0500
• cmimc Code for the 2021 CMIMC Programming Contest Updated at 2021-02-09 17:16:01 -0600
• ioi IOI solution implementations Updated at 2020-10-06 20:06:44 -0500
• usaco-camp Short, concise solutions for problems from the USACO camp Updated at 2020-10-06 17:25:38 -0500
• arch-all-the-way-down Create arbitrarily nested Docker containers! Updated at 2020-09-18 11:51:21 -0500
• usaco-demo USACO demo for teaching USACO lessons Updated at 2020-08-08 21:15:47 -0500
• windows Microsoft Windows scripts Updated at 2020-08-03 11:15:10 -0500
• badnes A nearly complete NES emulator in a single 750-line C++ source file Updated at 2020-06-06 12:55:15 -0500
• compression-project Finding creative ways to compress USACO problem statements Updated at 2020-05-30 23:37:44 +0000
• usacooj A basic offline judge for USACO Updated at 2020-01-06 13:29:26 -0600