digamma.ai

Popular repositories Loading

1. timeextractor timeextractor Public

   Time Extractor NLP project - locate dates and times in text documents

   Java 24 7

2. tfcv tfcv Public

   Tensor Flow HOG descriptor

   Jupyter Notebook 17 5

3. asn1fpcoq asn1fpcoq Public

   Coq formalization of ASN.1 floating point

   Coq 6 3

4. CVE-2020-8835-verification CVE-2020-8835-verification Public

   Formal verification example for CVE-2020-8835

   Coq 2 1

5. PyCoreML PyCoreML Public

   Python bindings for Apple's CoreML library

   Python 1

6. flocq-quickchick flocq-quickchick Public

   Flocq binary float generators for QuickChick

   Coq 1 1