Purely Dysfunctional Programming
error: failed to push some refs to 'HELP MY SERVER IS ON FIRE'
index
Name
Description
Owner
Idle
website
Unnamed repository; edit this file 'description' to name the repository.
Anthony Wang
47 min.
leansite
Made using the best language ever
Anthony Wang
20 hours
leanime
Bad Apple!! but it's 3288 Lean tactics spamming VSCode
Anthony Wang
20 hours
nixos-config
My NixOS configuration files
Anthony Wang
22 hours
dotfiles
My ~/.config directory
Anthony Wang
3 days
marden
Marden's theorem in Lean
Anthony Wang
4 days
leantest
Random Lean experiments
Anthony Wang
9 days
search
Semantic file search using FastEmbed and sqlite-vec
Anthony Wang
11 days
sdc
A ridiculously overengineered flash cards app using C, SQLite, Fenwick trees, an...
Anthony Wang
6 weeks
rebuild_db
Manage your iPod shuffle without iTunes, patched for modern Python 3
Anthony Wang
8 weeks
6.7800-project
✨ Convolve me, senpai!!! ✨
Anthony Wang
9 weeks
self-tariff
Silly Python thing
Anthony Wang
3 months
rand-nix
RNG in Nix pure eval mode
Anthony Wang
3 months
cgit-build
Build patched cgit for Arch Linux
Anthony Wang
3 months
lambda
Random lambda calculus stuff
Anthony Wang
3 months
proof-of-false
2025 April Fools' Day joke
Anthony Wang
3 months
6.8301-project
Sharing without a network through vision
Anthony Wang
3 months
moo
A circuit description language
Anthony Wang
3 months
sdrs
Experimental formally verified Rust port of SDC, yay!
Anthony Wang
3 months
sd
Very efficient flash cards app using Go and SQLite
Anthony Wang
6 months
genghis
Only Kevin will get the joke
Anthony Wang
6 months
nlp-class-project
NLP class project
Anthony Wang
7 months
transformer-shortest-paths
Experimentally evaluating transformer's generalization on a synthetic task
Anthony Wang
7 months
css
CSS experiments
Anthony Wang
9 months
blank
2024 exozyme April Fools' day puzzle
Anthony Wang
14 months
flip
Single-instruction Turing-complete programming language
Anthony Wang
16 months
physics
A dumb physics engine written in JavaScript
Anthony Wang
16 months
everything
The massively parallelizable programming language of the future!
Anthony Wang
20 months
arknights_ost_downloader
Fork of https://github.com/ashyfox/arknights_ost_downloader/
Anthony Wang
21 months
recursion
Recursion
Anthony Wang
23 months
bilitui
A dead simple Python TUI for Bilibili
Anthony Wang
24 months
trash
Stupid command-line shell
Anthony Wang
2 years
httpify
Turn your cool script into a dumb web app
Anthony Wang
2 years
textgen
A simple llama.cpp web API
Anthony Wang
2 years
zenmonitor3
Zenmonitor3 is monitoring software for AMD Zen-based CPUs, now with Zen 3 suppor...
Anthony Wang
2 years
kela
A new decentralized web protocol
Anthony Wang
2 years
april-gools
2023 exozyme April Fools' Day joke
Anthony Wang
2 years
yue
Programmatic music library
Anthony Wang
2 years
gitea
Development moved to Codeberg
Anthony Wang
2 years
graffiti-demo
Code for a UROP
Anthony Wang
2 years
fuwuqi
A useless C2S ActivityPub server
Anthony Wang
2 years
never-gonna-give-beep-up
Never Gonna Give You Up but it's played on a PC speaker using the beep command
Anthony Wang
3 years
activitypub
A fork of go-ap/activitypub to make it easier to implement extensions
Anthony Wang
3 years
eigenfaces
How to not implement Eigenfaces
Anthony Wang
3 years
6.a01
Code for the class 6.A01
Anthony Wang
3 years
zenpower3
Zenpower3 is a Linux kernel driver for reading temperature, voltage(SVI2), curre...
Anthony Wang
3 years
piano-appp
Use your PC beeper as a piano
Anthony Wang
3 years
hackmit
2022 HackMIT project by @a and @alekw
Anthony Wang
3 years
aptools
Useful tools for Gitea federation development
Anthony Wang
3 years
unicode
All of Unicode on one page
Anthony Wang
3 years
[1]
[2]