David Shepard's repositories
mermaid.cli
Command-line interface for mermaid
Language:JavaScriptMIT000
Language:LuaGPL-2.0000
nixos
Nixos Stuff
Language:NixCC0-1.0000
uberspark
UberSpark: Composable Verification of Commodity System Software
Language:CNOASSERTION000