Skip to content
@logsem

Logic and Semantics @ Aarhus University

Popular repositories Loading

  1. aneris aneris Public

    Program logic for developing and verifying distributed systems

    Coq 31 7

  2. mitten_preorder mitten_preorder Public

    OCaml 26 1

  3. cerise cerise Public

    Formalisation of a capability machine and principles for reasoning about security properties

    Coq 17 3

  4. clutch clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    Coq 12 3

  5. iris-lecture-notes iris-lecture-notes Public

    TeX 11 3

  6. free-theorems-sl free-theorems-sl Public

    Coq 8

Repositories

Showing 10 of 29 repositories
  • clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    logsem/clutch’s past year of commit activity
    Coq 12 MIT 3 0 0 Updated Jul 11, 2024
  • trillium Public

    The Trillium logic for proving trace refinement properties such as liveness via Iris

    logsem/trillium’s past year of commit activity
    Coq 2 MIT 0 0 3 Updated Jul 11, 2024
  • cerise Public

    Formalisation of a capability machine and principles for reasoning about security properties

    logsem/cerise’s past year of commit activity
    Coq 17 3 5 1 Updated Jul 11, 2024
  • iris-tutorial Public
    logsem/iris-tutorial’s past year of commit activity
    Coq 7 4 0 0 Updated Jul 11, 2024
  • aneris Public

    Program logic for developing and verifying distributed systems

    logsem/aneris’s past year of commit activity
    Coq 31 MIT 7 4 2 Updated Jul 11, 2024
  • iris-project Public
    logsem/iris-project’s past year of commit activity
    HTML 2 16 1 0 Updated Jul 10, 2024
  • gitrees Public

    guarded interaction trees

    logsem/gitrees’s past year of commit activity
    Coq 4 0 0 0 Updated Jul 9, 2024
  • melocoton Public
    logsem/melocoton’s past year of commit activity
    Coq 8 1 5 0 Updated Jul 3, 2024
  • MSWasm Public
    logsem/MSWasm’s past year of commit activity
    Coq 1 MIT 0 0 0 Updated Jun 26, 2024
  • cerise-interpreter Public
    logsem/cerise-interpreter’s past year of commit activity
    OCaml 2 0 0 0 Updated Jun 20, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…