Pinned Repositories
homotopy-rs
A Rust/WASM implementation of homotopy.io
404page
Error 404 page for thud.dev
caffeine
CLI utility for quickly interacting with the Codeforces API written in rust.
codeforces-api
A rust crate implementation of the Codeforces web API + testcase input fetcher.
dotfiles
My dotfiles
eccdemo
Elliptic Curve Cryptography Demonstration Video (Manim)
gravy
Graph Visualisation tool written in TS with Svelte.
litmus-toml-translator
CLI tool for translating Isla-style litmus tests into C code for system-litmus-harness.
NeuralNetJP
GPU neural network library written in JS for node or browser. Utilises gpu.js.
thud.dev
Repo for main site.
thud's Repositories
thud/gravy
Graph Visualisation tool written in TS with Svelte.
thud/eccdemo
Elliptic Curve Cryptography Demonstration Video (Manim)
thud/caffeine
CLI utility for quickly interacting with the Codeforces API written in rust.
thud/codeforces-api
A rust crate implementation of the Codeforces web API + testcase input fetcher.
thud/NeuralNetJP
GPU neural network library written in JS for node or browser. Utilises gpu.js.
thud/404page
Error 404 page for thud.dev
thud/Dashboard-App
Internal monitoring dashboard built with Blazor and Node.
thud/dotfiles
My dotfiles
thud/dwm
My fork of suckless' dwm.
thud/litmus-toml-translator
CLI tool for translating Isla-style litmus tests into C code for system-litmus-harness.
thud/thud.dev
Repo for main site.
thud/EPQ-Report
Instant Messaging in the Blockchain
thud/interference-patterns
Interference patterns in a pixel buffer using rust.
thud/isla
Symbolic execution tool for Sail ISA specifications
thud/vim-and-cp
Some helpful bits and pieces for your vimrc