david-masters

Pinned Repositories

apollo
An open autonomous driving platform
Language:C++00
BIO-OHIO-2.0
A bioinformatics program
00
MLCert
Certified Machine Learning
Language:Coq00
quine
Quine • a streaming graph • https://quine.io • Discord: https://discord.gg/GMhd8TE4MR
Language:Scala29839
MLCert
Certified Machine Learning
Language:Coq404
OUVerT
Ohio University Verification Toolsuite
Language:Coq10
coqGraphics
Graphics in coq
Language:TeX00
EE6663_MNIST
MNIST Digit Classifier for EE 6663
Language:Python00
Bio-Ohio-Public
00
cluster-test-scripts
Language:Python00

david-masters's Repositories

david-masters/MLCert
Certified Machine Learning
Language:Coq
david-masters/apollo
An open autonomous driving platform
Language:C++
david-masters/BIO-OHIO-2.0
A bioinformatics program