Skip to content

@OUPL OUPL

Change the repository type filter

All

    Repositories list

    9 repositories

    • cs3200-f21

      Public
      Course website for the Fall 2021 offering of CS 3200: Organization of Programming Languages
      Python
      •11•5•0•0•Updated Nov 22, 2021Nov 22, 2021

    • Zar

      Public
      Coq
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•4•0•Updated Oct 2, 2021Oct 2, 2021

    • OUVerT

      Public
      Ohio University Verification Toolsuite
      Coq
      •0•1•1•2•Updated Mar 10, 2021Mar 10, 2021

    • MLCert

      Public
      Certified Machine Learning
      Coq
      •4•40•4•0•Updated Mar 10, 2021Mar 10, 2021

    • MWU

      Public
      Verified Multiplicative Weights Update
      OCaml
      •
      MIT License
      •0•0•0•0•Updated Mar 2, 2020Mar 2, 2020

    • VerifiedSystems

      Public
      Materials to support an independent study on verified systems software
      1•1•0•0•Updated Nov 14, 2019Nov 14, 2019

    • reading_group_2019

      Public
      OUPL reading group resources
      1•0•0•0•Updated May 4, 2019May 4, 2019

    • DPSS

      Public
      Coq
      •
      MIT License
      •0•0•0•0•Updated Jul 12, 2018Jul 12, 2018

    • libsnark

      Public
      libsnark: a C++ library for zkSNARK proofs
      C++
      •
      Other
      •588•0•0•0•Updated May 10, 2015May 10, 2015