barclata

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
dotfiles
Language:Python00
EECS731P1
Language:Jupyter Notebook00
EECS731P2
Language:Jupyter Notebook0 1 00
EECS731P3
Language:Jupyter Notebook00
EECS731P4
Language:Jupyter Notebook00
EECS731P5
Language:Jupyter Notebook00
EECS731P6
Language:Jupyter Notebook00
am-cakeml
Delivery repo for the KU CakeML Attestation Manager
Language:Standard ML11
stairCASE
DARPA stairCASE Program
Language:C10

barclata's Repositories

barclata/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
barclata/dotfiles
Language:Python00
barclata/EECS731P1
Language:Jupyter Notebook00
barclata/EECS731P2
Language:Jupyter Notebook0 1 00
barclata/EECS731P3
Language:Jupyter Notebook00
barclata/EECS731P4
Language:Jupyter Notebook00
barclata/EECS731P5
Language:Jupyter Notebook00
barclata/EECS731P6
Language:Jupyter Notebook00