Skip to content
@atlas-computing-org

Atlas Computing

Popular repositories Loading

  1. awesome-AIxFV awesome-AIxFV Public

    A curated list of AI-based tools for automating formal verification

    8 1

  2. CoqLeanTranslation CoqLeanTranslation Public

    Lean 3

  3. ELFSage ELFSage Public

    Forked from draperlaboratory/ELFSage

    A toy ELF parser/validator

    Lean

  4. fv-experiments fv-experiments Public

    Python 1

  5. verified-fips-in-rust verified-fips-in-rust Public

    Lean

Repositories

Showing 5 of 5 repositories
  • verified-fips-in-rust Public
    atlas-computing-org/verified-fips-in-rust’s past year of commit activity
    Lean 0 0 0 0 Updated Dec 16, 2024
  • fv-experiments Public
    atlas-computing-org/fv-experiments’s past year of commit activity
    Python 0 1 1 0 Updated Sep 14, 2024
  • awesome-AIxFV Public

    A curated list of AI-based tools for automating formal verification

    atlas-computing-org/awesome-AIxFV’s past year of commit activity
    8 1 0 0 Updated Aug 16, 2024
  • ELFSage Public Forked from draperlaboratory/ELFSage

    A toy ELF parser/validator

    atlas-computing-org/ELFSage’s past year of commit activity
    Lean 0 MIT 3 0 0 Updated May 8, 2024
  • CoqLeanTranslation Public
    atlas-computing-org/CoqLeanTranslation’s past year of commit activity
    Lean 3 MIT 0 0 0 Updated Feb 13, 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…