OUPL

Pinned Repositories

cs3200-f21
Course website for the Fall 2021 offering of CS 3200: Organization of Programming Languages
Language:Python511
DPSS
Language:Coq0 2 00
libsnark
libsnark: a C++ library for zkSNARK proofs
Language:C++0 2 00
MLCert
Certified Machine Learning
Language:Coq40 5 74
MWU
Verified Multiplicative Weights Update
Language:OCaml0 4 00
OUVerT
Ohio University Verification Toolsuite
Language:Coq10
reading_group_2019
OUPL reading group resources
01
VerifiedSystems
Materials to support an independent study on verified systems software
11
Zar
Language:Coq0 2 80

OUPL's Repositories

OUPL/MLCert
Certified Machine Learning
Language:Coq40 5 74
OUPL/cs3200-f21
Course website for the Fall 2021 offering of CS 3200: Organization of Programming Languages
Language:Python511
OUPL/OUVerT
Ohio University Verification Toolsuite
Language:Coq10
OUPL/VerifiedSystems
Materials to support an independent study on verified systems software
11
OUPL/DPSS
Language:Coq0 2 00
OUPL/libsnark
libsnark: a C++ library for zkSNARK proofs
Language:C++0 2 00
OUPL/MWU
Verified Multiplicative Weights Update
Language:OCaml0 4 00
OUPL/reading_group_2019
OUPL reading group resources
01
OUPL/Zar
Language:Coq0 2 80