Joseph Kiniry's starred repositories
cosmopolitan
build-once run-anywhere c library
Main_MiSTer
Main MiSTer binary and Wiki
siliconcompiler
Modular hardware build system
magit-todos
Show source files' TODOs (and FIXMEs, etc) in Magit status buffer
cryptography-kotlin
Kotlin Multiplatform cryptography / crypto library
des-ex-toolset
This toolset is intended to provide design space exploration capabilities for the spacecraft domain when using MBSE. Its use is further detailed in its companion paper, available here: https://ieeexplore.ieee.org/document/10116019
feature-model-penrose
visualize feature models with the penrose diagram language