Skip to content
@digamma-ai

digamma.ai

TRANSFORM YOUR BUSINESS WITH ARTIFICIAL INTELLIGENCE

Popular repositories Loading

  1. timeextractor timeextractor Public

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

    Java 23 6

  2. tfcv tfcv Public

    Tensor Flow HOG descriptor

    Jupyter Notebook 17 5

  3. weather-similarity weather-similarity Public

    weather similarity page

    Mathematica 10 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

Repositories

Showing 10 of 14 repositories
  • drone-helper Public
    digamma-ai/drone-helper’s past year of commit activity
    Go 0 0 0 0 Updated Sep 14, 2023
  • timeextractor Public

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

    digamma-ai/timeextractor’s past year of commit activity
    Java 23 6 4 3 Updated Oct 18, 2022
  • flocq-quickchick Public

    Flocq binary float generators for QuickChick

    digamma-ai/flocq-quickchick’s past year of commit activity
    Coq 1 1 0 1 Updated Jul 30, 2021
  • CVE-2020-8835-verification Public

    Formal verification example for CVE-2020-8835

    digamma-ai/CVE-2020-8835-verification’s past year of commit activity
    Coq 2 0 0 0 Updated Jun 8, 2021
  • weather-similarity Public

    weather similarity page

    digamma-ai/weather-similarity’s past year of commit activity
    Mathematica 10 3 2 0 Updated May 25, 2021
  • VST Public Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    digamma-ai/VST’s past year of commit activity
    Coq 0 93 0 0 Updated Jan 20, 2021
  • formal-verification-intro Public

    Presentation on formal verification of computer programs

    digamma-ai/formal-verification-intro’s past year of commit activity
    TeX 2 1 0 0 Updated Jun 18, 2020
  • opam-coq-archive Public Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    digamma-ai/opam-coq-archive’s past year of commit activity
    JavaScript 0 LGPL-2.1 171 0 0 Updated Apr 3, 2020
  • asn1fpcoq Public

    Coq formalization of ASN.1 floating point

    digamma-ai/asn1fpcoq’s past year of commit activity
    Coq 5 3 1 1 Updated Nov 14, 2019
  • PyCoreML Public

    Python bindings for Apple's CoreML library

    digamma-ai/PyCoreML’s past year of commit activity
    Python 1 GPL-2.0 0 0 0 Updated Jul 26, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…