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/graf
print grafana data in your terminal
shua/gpodrs
minimal gpodder.net server
shua/adventofcode
my solutions for adventofcode.com
shua/ascii-box-editor
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/a-mir-formality
a model of MIR and the Rust type/trait system
shua/android_device_Unihertz_Jelly2
shua/calyx
Intermediate Language (IL) for Hardware Accelerator Generators
shua/candle
Minimalist ML framework for Rust
shua/crust-2024
entry to crustjam 2024
shua/dotfiles
some config and scripts from my machine
shua/dwl
dwm for Wayland
shua/fjson
some json cli tools
shua/foundationdb
FoundationDB - the open source, distributed, transactional key-value store
shua/launchwith
use env vars in your app, yaml config when you want
shua/libc
Raw bindings to platform APIs for Rust
shua/libinput-gestures
Actions gestures on your touchpad using libinput
shua/nginx
shua/roc
A fast, friendly, functional language.
shua/shmuxrs
SHell MUXer in RuSt, with a name like shmuxrs, it's got to be b r o k e n
shua/stackcollapse-oteljson
create flamegraphs from otel json logs
shua/timer
shua/vinyldns_rs
rust client code for interacting with vinyldns
shua/wl-bind-rs
experiment with wayland bindings and build.rs
shua/wsel
shua/yasm
Yasm Assembler mainline development tree