Aaron Durbin's starred repositories
open-source-fpga-resource
A list of resources related to the open-source FPGA projects
hypervisor
lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI
checkedc
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
netlistsvg
draws an SVG schematic from a JSON netlist
curve25519
Highly efficient implementation of elliptic curve 25519
open-register-design-tool
Tool to generate register RTL, models, and docs using SystemRDL or JSpec input
unix-architecture
Unix architecture evolution diagrams
YubiKey-Guide
Guide to using YubiKey for GnuPG and SSH