Pinned Repositories
balacant
a native clone of a fun web game
dolface
collection of simple tools for working with nintendo dol and related files
gpodrs
minimal gpodder.net server
graf
print grafana data in your terminal
hdl
junk drawer for hdl stuff
jams
lang-noodles
A dump of language and typing paper implementations, and my own experiments
leanknot
Some formalizations of knot theory ideas in lean
shua.github.io
personal site
ssm
simple stream manager, check it out at https://shua.github.io/ssm
shua's Repositories
shua/leanknot
Some formalizations of knot theory ideas in lean
shua/ssm
simple stream manager, check it out at https://shua.github.io/ssm
shua/a-mir-formality
a model of MIR and the Rust type/trait system
shua/graf
print grafana data in your terminal
shua/adventofcode
my solutions for adventofcode.com
shua/android_device_Unihertz_Jelly2
shua/ascii-box-editor
shua/crust-2024
entry to crustjam 2024
shua/dotfiles
some config and scripts from my machine
shua/gpodrs
minimal gpodder.net server
shua/pl-http-server
an http server written in prolog
shua/terraform-provider-splunksearch
terraform provider for splunk searches
shua/hdl
junk drawer for hdl stuff
shua/lang-noodles
A dump of language and typing paper implementations, and my own experiments
shua/noodling
code junk drawer, small examples
shua/shua.github.io
personal site
shua/fjson
some json cli tools
shua/launchwith
use env vars in your app, yaml config when you want
shua/libc
Raw bindings to platform APIs for Rust
shua/roc
A fast, friendly, functional language.
shua/rustfilt
Demangle Rust symbols
shua/shmuxrs
SHell MUXer in RuSt, with a name like shmuxrs, it's got to be b r o k e n
shua/splunksearch
small client lib for accessing splunk's search resources
shua/stackcollapse-oteljson
create flamegraphs from otel json logs
shua/tests
Random stuff I'm messing around with.
shua/vinyldns_rs
rust client code for interacting with vinyldns
shua/wl-bind-rs
experiment with wayland bindings and build.rs
shua/wsel
shua/xml2lines
parse xml to more grep-able lines
shua/yasm
Yasm Assembler mainline development tree