Pinned Repositories
asn1fpcoq
Coq formalization of ASN.1 floating point
CVE-2020-8835-verification
Formal verification example for CVE-2020-8835
flocq-quickchick
Flocq binary float generators for QuickChick
formal-verification-intro
Presentation on formal verification of computer programs
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
PyCoreML
Python bindings for Apple's CoreML library
tfcv
Tensor Flow HOG descriptor
timeextractor
Time Extractor NLP project - locate dates and times in text documents
water-data-analysis
Cleanup of USGS water data project
weather-similarity
weather similarity page
digamma.ai's Repositories
digamma-ai/timeextractor
Time Extractor NLP project - locate dates and times in text documents
digamma-ai/tfcv
Tensor Flow HOG descriptor
digamma-ai/weather-similarity
weather similarity page
digamma-ai/asn1fpcoq
Coq formalization of ASN.1 floating point
digamma-ai/CVE-2020-8835-verification
Formal verification example for CVE-2020-8835
digamma-ai/formal-verification-intro
Presentation on formal verification of computer programs
digamma-ai/flocq-quickchick
Flocq binary float generators for QuickChick
digamma-ai/PyCoreML
Python bindings for Apple's CoreML library
digamma-ai/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
digamma-ai/water-data
water data anomaly detection
digamma-ai/water-data-analysis
Cleanup of USGS water data project
digamma-ai/drone-helper
digamma-ai/neofuzzyneuron
digamma-ai/VST
Verified Software Toolchain