Pinned Repositories
calibre-web
:books: Web app for browsing, reading and downloading eBooks stored in a Calibre database
googlecolab
RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
SUAVE
An Aircraft Design Toolbox
VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
XCS224N-Handouts
Contains Lecture Notes and Suggested Readings for XCS224N
Michielyn's Repositories
Michielyn/googlecolab
Michielyn/calibre-web
:books: Web app for browsing, reading and downloading eBooks stored in a Calibre database
Michielyn/RACK
DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
Michielyn/SUAVE
An Aircraft Design Toolbox
Michielyn/VERDICT
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Michielyn/XCS224N-Handouts
Contains Lecture Notes and Suggested Readings for XCS224N