-
-
-
python-by-contract-corpus Public
Forked from mristin/python-by-contract-corpusA corpus of Python programs annotated with contracts
Python MIT License UpdatedJul 17, 2025 -
saw-script Public
Forked from GaloisInc/saw-scriptThe SAW scripting language.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 30, 2025 -
MGS-domain-theory Public
Forked from tomdjong/MGS-domain-theoryLecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
TeX UpdatedMar 13, 2024 -
-
-
-
-
-
pardotprod Public
Forked from VeriNum/pardotprodParallel Dot Product, Verified in VST
Coq UpdatedJan 2, 2023 -
hierarchy-builder Public
Forked from math-comp/hierarchy-builderHigh level commands to declare a hierarchy based on packed classes
Prolog MIT License UpdatedDec 14, 2022 -
FPBench Public
Forked from FPBench/FPBenchA standard for floating point accuracy benchmarks
Racket MIT License UpdatedOct 4, 2022 -
introduction_to_Coq Public
Materials for Bindel group meeting introducing the Coq proof assistant
Coq UpdatedSep 23, 2022 -
-
cbench-vst Public
Forked from cverified/cbench-vstVST verification of programs from the cbench benchmark
Coq UpdatedMay 25, 2022 -
vcfloat Public
Forked from andrew-appel/vcfloatVCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Coq Other UpdatedDec 16, 2021 -
ReturnMaps Public
Learning methods for the return maps of magnetic fields in toroidal confinement devices
-
cs6241-s21 Public
Forked from dbindel/cs6241-s21Course material for Cornell CS 6241, Spring 21
Jupyter Notebook UpdatedMay 4, 2021 -
-
-
3DFMM Public
An Adaptive FMM in Three Dimensions with the Basic Translation Operators
Julia UpdatedAug 25, 2020 -
algorithm-team-collaboration Public
Forked from spherical-volume-rendering/svr-algorithmA center for collaboration on ideas, code, and testing for the algorithm team.
MATLAB Other UpdatedAug 11, 2020 -
Gaussian-Process Public
Forked from mishapadidar/Gaussian-ProcessGP Class
Python UpdatedMay 21, 2020 -
dfuzz Public
Forked from ejgallego/dfuzzLinear Dependent Types for Differential Privacy TypeChecker
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJan 25, 2020 -
publications Public
Forked from mikheyev/publicationsmarkdown page listing publications for inclusion into cv and lab website
HTML MIT License UpdatedJul 21, 2019 -
GP_Derivatives Public
Forked from erichanslee/GP_DerivativesScalable Gaussian Process Regression with Derivatives
MATLAB MIT License UpdatedDec 13, 2018
{{ message }}