Skip to content
@snu-sf

Software Foundations Laboratory

Popular repositories Loading

  1. paco paco Public

    A Coq library for parametric coinduction

    Coq 43 10

  2. promising-coq promising-coq Public

    The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

    Coq 33 5

  3. crellvm crellvm Public

    Crellvm: Verified Credible Compilation for LLVM

    Coq 15 1

  4. Ordinal Ordinal Public

    Coq 11 2

  5. crellvm-llvm crellvm-llvm Public

    LLVM for Crellvm: Verified Credible Compilation for LLVM

    C++ 6

  6. CompCertM CompCertM Public

    Coq 6 5

Repositories

Showing 10 of 44 repositories
  • sf-opam-coq-archive Public
    snu-sf/sf-opam-coq-archive’s past year of commit activity
    0 2 0 0 Updated Dec 19, 2024
  • Ordinal Public
    snu-sf/Ordinal’s past year of commit activity
    Coq 11 MIT 2 0 0 Updated Dec 17, 2024
  • fairness Public
    snu-sf/fairness’s past year of commit activity
    Coq 2 4 1 1 Updated Dec 9, 2024
  • Archmage Public
    snu-sf/Archmage’s past year of commit activity
    Coq 1 0 0 0 Updated Nov 19, 2024
  • CompCert Public Forked from AbsInt/CompCert

    The CompCert C verified compiler

    snu-sf/CompCert’s past year of commit activity
    Coq 1 280 0 0 Updated Oct 20, 2024
  • promising-coq Public

    The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

    snu-sf/promising-coq’s past year of commit activity
    Coq 33 MIT 5 4 0 Updated Oct 15, 2024
  • paco Public

    A Coq library for parametric coinduction

    snu-sf/paco’s past year of commit activity
    Coq 43 10 2 0 Updated Oct 9, 2024
  • promising-arm Public
    snu-sf/promising-arm’s past year of commit activity
    Coq 3 BSD-2-Clause 0 3 0 Updated Oct 4, 2024
  • promising-lib Public
    snu-sf/promising-lib’s past year of commit activity
    Coq 0 3 0 0 Updated Oct 4, 2024
  • sflib Public
    snu-sf/sflib’s past year of commit activity
    Coq 1 10 12 0 Updated Jan 12, 2024
View all repositories

Top languages

Loading…
Developer Program Member