Skip to content
@JIVE-verification

Just in Time Verification for High-Performance Compilers

Popular repositories Loading

  1. openmp-semantics openmp-semantics Public

    Rocq Prover

  2. openmp-k openmp-k Public

    Haskell

Repositories

Showing 2 of 2 repositories
  • openmp-semantics Public
    JIVE-verification/openmp-semantics's past year of commit activity
    Rocq Prover 0 0 0 0 Updated Aug 23, 2026
  • openmp-k Public
    JIVE-verification/openmp-k's past year of commit activity
    Haskell 0 0 0 0 Updated Aug 12, 2026

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…