Skip to content
@DigitalDefenseCompany

The Digital Defense Company

Popular repositories Loading

  1. verigood-ai-cli verigood-ai-cli Public

    AI-Powered Formal Software Verification

    Python 2

  2. verigood-ai-installer verigood-ai-installer Public

    Github App installer for VeriGood.ai

    JavaScript 1

  3. neobrutalism-landing-page neobrutalism-landing-page Public

    Landing page of The Digital Defense Company

    TypeScript 1

  4. DigitalDefenseCompany.github.io DigitalDefenseCompany.github.io Public

    Landing page of DigitalDefenseCompany.com

    Ruby

  5. human-readable-spec-generator human-readable-spec-generator Public

    A GitHub Action to automatically generate human-readable formal specifications from code repositories.

    TypeScript

  6. formal-spec-generator formal-spec-generator Public

    A GitHub Action that transforms informal human-readable formal specifications into formal, machine-readable specifications for rigorous verification.

    TypeScript

Repositories

Showing 10 of 10 repositories
  • human-readable-spec-generator Public

    A GitHub Action to automatically generate human-readable formal specifications from code repositories.

    DigitalDefenseCompany/human-readable-spec-generator’s past year of commit activity
    TypeScript 0 MIT 0 1 3 Updated Jul 15, 2024
  • formal-spec-generator Public

    A GitHub Action that transforms informal human-readable formal specifications into formal, machine-readable specifications for rigorous verification.

    DigitalDefenseCompany/formal-spec-generator’s past year of commit activity
    TypeScript 0 MIT 0 0 4 Updated Jul 15, 2024
  • repo-validator Public

    Runs validation on the repo before starting the VeriGood.ai workflow

    DigitalDefenseCompany/repo-validator’s past year of commit activity
    TypeScript 0 MIT 0 0 1 Updated Jul 15, 2024
  • formal-verification-runner Public

    A GitHub Action to execute formal verification tests using generated formal specifications, ensuring the correctness and reliability of your code.

    DigitalDefenseCompany/formal-verification-runner’s past year of commit activity
    TypeScript 0 MIT 0 0 8 Updated Jul 15, 2024
  • neobrutalism-landing-page Public

    Landing page of The Digital Defense Company

    DigitalDefenseCompany/neobrutalism-landing-page’s past year of commit activity
    TypeScript 1 MIT 0 0 0 Updated Jun 16, 2024
  • verigood-ai-installer Public

    Github App installer for VeriGood.ai

    DigitalDefenseCompany/verigood-ai-installer’s past year of commit activity
    JavaScript 1 ISC 0 0 0 Updated Jun 15, 2024
  • second-test-repo Public

    Second testbed for Github Apps and Actions

    DigitalDefenseCompany/second-test-repo’s past year of commit activity
    Solidity 0 0 1 0 Updated Jun 15, 2024
  • test-repo Public

    Test-bed repo for github actions and apps

    DigitalDefenseCompany/test-repo’s past year of commit activity
    0 0 0 0 Updated Jun 12, 2024
  • verigood-ai-cli Public

    AI-Powered Formal Software Verification

    DigitalDefenseCompany/verigood-ai-cli’s past year of commit activity
    Python 2 AGPL-3.0 0 0 0 Updated May 6, 2024
  • DigitalDefenseCompany.github.io Public

    Landing page of DigitalDefenseCompany.com

    DigitalDefenseCompany/DigitalDefenseCompany.github.io’s past year of commit activity
    Ruby 0 MIT 0 0 0 Updated Apr 24, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…