W󰁪 synb bilt github
ℕ󰄆 wikip nlab mpedia
ASL ASL JSL RSL BSL notes specs gödel
Local library BBSmith Eureka MicroC
Shop T&K Pim Ada Amzn Lego Dover Smart
Groups prfscty proof-theory proof-systems UConn
arxiv iterative-sets ortho-groups curious-sat big-rev cvx-poly klee-abys cplx-mod cplte-ll intuit-poset alt-godel div 3 Knots Tilings Yoneda Nobeling's
logic logmat MLtP mcom JAR math SAT open-logic proof-tool fom
SL tarski gödel
CS gödel SGIACT EATCS
RecMath nmbrs eureka life RMM SMT SMT-old Putnam
Geometry ohio-text
SEP nat
git gh gh-cheat gl-cheat BU random history opensource
SM Debian Pim Ada Mdon AMD libera
diagrams article
Proof Theory Avigad
Aqua evdev evdev sdl sdl sdl SDL-doc way way libinput sway wlroots kbd-home kbd-deb
graphics pbr
GPU drm drm mesa GLES dri dri Vulkan GL-reg GL-home glx-to-egl kmscube vkcube drm-kms
RPi linux-vc4 linux-v3d overlays VCIV thagrol overlays
Deps kernel juliamono
Cheats GLES Vulkan EGL WebGL1 WebGL2 LaTeX+Koma LaTeX-math
LaTeX Cheatsheet KOMA xcolor notshort
man signalfd
Tools sway py kitty foot emacs tree escapes
saves amd64
Docs gl py py-inotify waybook elixer way-doc kernel-gpu gpiod valgrind libusb mesa-docs unicode
math quanta euler m+arts
Linux Wasted
Cool! QEMU
W󰁪dev load load2 v8
W󰁪Asm C-to-WASM emscripten v8-wasm binaryen-repo gen
lean4 btsp learn NNG proving mathlib refc
fonts Kranky Poiret-One