index
NameDescriptionOwnerIdle
leantestRandom Lean experimentsAnthony Wang17 hours
nixos-configMy NixOS configuration filesAnthony Wang19 hours
websiteUnnamed repository; edit this file 'description' to name the repository.Anthony Wang41 hours
dotfilesMy ~/.config directoryAnthony Wang42 hours
self-tariffSilly Python thingAnthony Wang4 days
sdcA ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, an...Anthony Wang5 days
rand-nixRNG in Nix pure eval modeAnthony Wang6 days
cgit-buildBuild patched cgit for Arch LinuxAnthony Wang13 days
lambdaRandom lambda calculus stuffAnthony Wang3 weeks
searchSemantic file search using FastEmbed and sqlite-vecAnthony Wang3 weeks
proof-of-false2025 April Fools' Day jokeAnthony Wang3 weeks
6.8301-projectSharing without a network through visionAnthony Wang4 weeks
mooA circuit description languageAnthony Wang4 weeks
sdrsExperimental formally verified Rust port of SDC, yay!Anthony Wang4 weeks
sdVery efficient flash cards app using Go and SQLiteAnthony Wang3 months
genghisOnly Kevin will get the jokeAnthony Wang3 months
nlp-class-projectNLP class projectAnthony Wang4 months
transformer-shortest-pathsExperimentally evaluating transformer's generalization on a synthetic taskAnthony Wang4 months
cssCSS experimentsAnthony Wang6 months
blank2024 exozyme April Fools' day puzzleAnthony Wang12 months
flipSingle-instruction Turing-complete programming languageAnthony Wang14 months
physicsA dumb physics engine written in JavaScriptAnthony Wang14 months
everythingThe massively parallelizable programming language of the future!Anthony Wang17 months
arknights_ost_downloaderFork of https://github.com/ashyfox/arknights_ost_downloader/Anthony Wang19 months
recursionRecursionAnthony Wang21 months
bilituiA dead simple Python TUI for BilibiliAnthony Wang21 months
trashStupid command-line shellAnthony Wang22 months
httpifyTurn your cool script into a dumb web appAnthony Wang23 months
zenmonitor3Zenmonitor3 is monitoring software for AMD Zen-based CPUs, now with Zen 3 suppor...Anthony Wang23 months
kelaA new decentralized web protocolAnthony Wang23 months
april-gools2023 exozyme April Fools' Day jokeAnthony Wang2 years
yueProgrammatic music libraryAnthony Wang2 years
giteaDevelopment moved to CodebergAnthony Wang2 years
rebuild_dbManage your iPod shuffle without iTunes, patched for modern Python 3Anthony 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 Wang2 years
activitypubA fork of go-ap/activitypub to make it easier to implement extensionsAnthony Wang2 years
eigenfacesHow to not implement EigenfacesAnthony Wang2 years
6.a01Code for the class 6.A01Anthony Wang2 years
zenpower3Zenpower3 is a Linux kernel driver for reading temperature, voltage(SVI2), curre...Anthony Wang2 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
gitea-wikiGitea federation notesAnthony Wang3 years
ebooksFediverse ebooks bot using neural networksAnthony Wang3 years
rocm-archA collection of Arch Linux PKGBUILDS for the ROCm platformAnthony Wang3 years
idiot-code-golfStupid solutions to simple problems.Anthony Wang3 years
usacoClean implementations of solutions to USACO problemsAnthony Wang3 years
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-24 17:29:04 +0000