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 33 8

  2. mitten_preorder mitten_preorder Public

    OCaml 27 1

  3. iris-tutorial iris-tutorial Public

    Coq 25 14

  4. cerise cerise Public

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

    Coq 17 4

  5. clutch clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    Coq 16 4

  6. iris-lecture-notes iris-lecture-notes Public

    TeX 12 4

Repositories

Showing 10 of 30 repositories
  • clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    logsem/clutch’s past year of commit activity
    Coq 16 MIT 4 0 0 Updated Nov 8, 2024
  • aneris Public

    Program logic for developing and verifying distributed systems

    logsem/aneris’s past year of commit activity
    Coq 33 MIT 8 4 2 Updated Nov 7, 2024
  • adiar Public Forked from SSoelvsten/adiar

    External Memory (Binary) Decision Diagrams

    logsem/adiar’s past year of commit activity
    C++ 0 MIT 13 0 0 Updated Nov 6, 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 4 5 1 Updated Nov 5, 2024
  • iris-tutorial Public
    logsem/iris-tutorial’s past year of commit activity
    Coq 25 MIT 14 2 1 Updated Nov 5, 2024
  • cerise-interpreter Public
    logsem/cerise-interpreter’s past year of commit activity
    OCaml 2 0 0 0 Updated Nov 3, 2024
  • spirea Public
    logsem/spirea’s past year of commit activity
    Coq 2 1 0 0 Updated Nov 1, 2024
  • iris-project Public
    logsem/iris-project’s past year of commit activity
    HTML 2 18 1 0 Updated Oct 31, 2024
  • AxSL Public

    AxSL, a concurrent separation logic for Arm's relaxed concurrency

    logsem/AxSL’s past year of commit activity
    Coq 1 0 0 0 Updated Oct 10, 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 1 0 3 Updated Sep 26, 2024
View all repositories