Newnix's repositories
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
Language:CoqNOASSERTION000
massrun
Utility intended for making expect scripts faster
Language:GoBSD-3-Clause-Clear000
plug.sh
Simple shell plugin system, focusing on Bourne-like shells
Language:MakefileBSD-3-Clause-Clear000
racketfun
A repo to explore using Racket
Language:Racket000
sql
PL/pgSQL to kill mastodon spam
000
Warp-Core-NeoPixel
ESP8266 code for NeoPixel LED strip designed for my 3D Printed TNG Warp Core
Language:C++000