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. weather-similarity weather-similarity Public

   weather similarity page

   Mathematica 11 3

4. asn1fpcoq asn1fpcoq Public

   Coq formalization of ASN.1 floating point

   Coq 6 3

5. CVE-2020-8835-verification CVE-2020-8835-verification Public

   Formal verification example for CVE-2020-8835

   Coq 2 1

6. PyCoreML PyCoreML Public

   Python bindings for Apple's CoreML library

   Python 1