David's repositories
stuffed-griffins-8489-cascade-effect
Automatically exported from code.google.com/p/stuffed-griffins-8489-cascade-effect
Language:Vim Script000
Language:Jupyter Notebook000
cs231n.github.io
Public facing notes page
Language:HTMLMIT000
dotfiles
Configuration files loosely related to my desktop environment.
Language:Nix000
ftc_app
FTC Android Studio project to create FTC Robot Controller app.
Language:Java000
Language:OCaml000
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCamlMIT000
infersharp
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations.
Language:C#MIT000
labeling-recorder-page
project page for labeling recoder
Language:HTML000
Language:Java000
Language:Assembly000
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families