Popular repositories Loading

1. timeextractor timeextractor Public

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

   Java 22 6

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 5 3

5. formal-verification-intro formal-verification-intro Public

   Presentation on formal verification of computer programs

   TeX 2 1

6. CVE-2020-8835-verification CVE-2020-8835-verification Public

   Formal verification example for CVE-2020-8835

   Coq 2