index
NameDescriptionOwnerIdle
websiteUnnamed repository; edit this file 'description' to name the repository.Anthony Wang19 hours
nixos-configMy NixOS configuration filesAnthony Wang43 hours
leanetDumb TCP thingy using LeanAnthony Wang44 hours
leansiteMade using the best language everAnthony Wang4 days
leantestRandom Lean experimentsAnthony Wang5 days
lean4perfSilly Lean vs C++ benchmarkAnthony Wang6 days
leanimeBad Apple!! but it's 3288 Lean tactics spamming VSCodeAnthony Wang9 days
dotfilesMy ~/.config directoryAnthony Wang11 days
mardenMarden's theorem in LeanAnthony Wang12 days
searchSemantic file search using FastEmbed and sqlite-vecAnthony Wang3 weeks
sdcA ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, an...Anthony Wang7 weeks
rebuild_dbManage your iPod shuffle without iTunes, patched for modern Python 3Anthony Wang2 months
6.7800-project✨ Convolve me, senpai!!! ✨Anthony Wang2 months
self-tariffSilly Python thingAnthony Wang3 months
rand-nixRNG in Nix pure eval modeAnthony Wang3 months
cgit-buildBuild patched cgit for Arch LinuxAnthony Wang3 months
lambdaRandom lambda calculus stuffAnthony Wang4 months
proof-of-false2025 April Fools' Day jokeAnthony Wang4 months
6.8301-projectSharing without a network through visionAnthony Wang4 months
mooA circuit description languageAnthony Wang4 months
sdrsExperimental formally verified Rust port of SDC, yay!Anthony Wang4 months
sdVery efficient flash cards app using Go and SQLiteAnthony Wang6 months
genghisOnly Kevin will get the jokeAnthony Wang6 months
nlp-class-projectNLP class projectAnthony Wang7 months
transformer-shortest-pathsExperimentally evaluating transformer's generalization on a synthetic taskAnthony Wang7 months
cssCSS experimentsAnthony Wang9 months
blank2024 exozyme April Fools' day puzzleAnthony Wang15 months
flipSingle-instruction Turing-complete programming languageAnthony Wang17 months
physicsA dumb physics engine written in JavaScriptAnthony Wang17 months
everythingThe massively parallelizable programming language of the future!Anthony Wang20 months
arknights_ost_downloaderFork of https://github.com/ashyfox/arknights_ost_downloader/Anthony Wang21 months
recursionRecursionAnthony Wang24 months
bilituiA dead simple Python TUI for BilibiliAnthony Wang24 months
trashStupid command-line shellAnthony Wang2 years
httpifyTurn your cool script into a dumb web appAnthony Wang2 years
textgenA simple llama.cpp web APIAnthony Wang2 years
zenmonitor3Zenmonitor3 is monitoring software for AMD Zen-based CPUs, now with Zen 3 suppor...Anthony Wang2 years
kelaA new decentralized web protocolAnthony Wang2 years
april-gools2023 exozyme April Fools' Day jokeAnthony Wang2 years
yueProgrammatic music libraryAnthony Wang2 years
giteaDevelopment moved to CodebergAnthony Wang2 years
graffiti-demoCode for a UROPAnthony Wang2 years
fuwuqiA useless C2S ActivityPub serverAnthony Wang2 years
never-gonna-give-beep-upNever Gonna Give You Up but it's played on a PC speaker using the beep commandAnthony Wang3 years
activitypubA fork of go-ap/activitypub to make it easier to implement extensionsAnthony Wang3 years
eigenfacesHow to not implement EigenfacesAnthony Wang3 years
6.a01Code for the class 6.A01Anthony Wang3 years
zenpower3Zenpower3 is a Linux kernel driver for reading temperature, voltage(SVI2), curre...Anthony Wang3 years
piano-apppUse your PC beeper as a pianoAnthony Wang3 years
hackmit2022 HackMIT project by @a and @alekwAnthony Wang3 years
generated by cgit v1.2.3 (git 2.50.1) at 2025-07-18 22:50:37 +0000