index
NameDescriptionOwnerIdle
websiteUnnamed repository; edit this file 'description' to name the repository.Anthony Wang47 min.
leansiteMade using the best language everAnthony Wang20 hours
leanimeBad Apple!! but it's 3288 Lean tactics spamming VSCodeAnthony Wang20 hours
nixos-configMy NixOS configuration filesAnthony Wang22 hours
dotfilesMy ~/.config directoryAnthony Wang3 days
mardenMarden's theorem in LeanAnthony Wang4 days
leantestRandom Lean experimentsAnthony Wang9 days
searchSemantic file search using FastEmbed and sqlite-vecAnthony Wang11 days
sdcA ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, an...Anthony Wang6 weeks
rebuild_dbManage your iPod shuffle without iTunes, patched for modern Python 3Anthony Wang8 weeks
6.7800-project✨ Convolve me, senpai!!! ✨Anthony Wang9 weeks
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 Wang3 months
proof-of-false2025 April Fools' Day jokeAnthony Wang3 months
6.8301-projectSharing without a network through visionAnthony Wang3 months
mooA circuit description languageAnthony Wang3 months
sdrsExperimental formally verified Rust port of SDC, yay!Anthony Wang3 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 Wang14 months
flipSingle-instruction Turing-complete programming languageAnthony Wang16 months
physicsA dumb physics engine written in JavaScriptAnthony Wang16 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 Wang23 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
aptoolsUseful tools for Gitea federation developmentAnthony Wang3 years
unicodeAll of Unicode on one pageAnthony Wang3 years