thud.dev
About Me

Welcome to thud.dev, the official website of thud.

I'm a 19 year old hobby programmer and enthusiast of all things FOSS. Currently, I am particularly interested in rustlang rust , ethereum ethereum , cardano cardano , codeforces codeforces and openbsd openbsd .

me
Projects
homotopy-io logo
homotopy-io
A rust proof assistant based in category theory...
 gravy logo
gravy
A graph visualisation tool/toy...
 caffeine logo
caffeine
A rust CLI tool for interacting with Codeforces...
 latex logo
EPQ
Instant messaging via a blockchain...
 python logo
eccdemo
An animated demo explaining elliptic curve cryptography...
 settings image
dotfiles
My OpenBSD configuration files...
 database icon
Dashboard App
A tool for visualising proprietary database data...
email
thud@thud.dev
 github
thud