8000 Logic and Semantics @ Aarhus University · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@logsem

Logic and Semantics @ Aarhus University

Popular repositories Loading

  1. iris-tutorial iris-tutorial Public

    Coq 52 25

  2. aneris aneris Public

    Program logic for developing and verifying distributed systems

    Coq 34 8

  3. mitten_preorder mitten_preorder Public

    OCaml 29 1

  4. clutch clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    Rocq Prover 25 7

  5. cerise cerise Public

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

    Coq 22 8

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

    TeX 13 4

Repositories

Showing 10 of 33 repositories
  • clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    logsem/clutch’s past year of commit activity
    Rocq Prover 25 MIT 7 0 0 Updated Jul 7, 2025
  • trillium Public

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

    logsem/trillium’s past year of commit activity
    Coq 4 MIT 1 0 3 Updated Jul 7, 2025
  • cerise Public

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

    logsem/cerise’s past year of commit activity
    Coq 22 8 5 1 Updated Jul 4, 2025
  • gitrees Public

    guarded interaction trees

    logsem/gitrees’s past year of commit activity
    Coq 8 2 0 0 Updated Jul 4, 2025
  • aneris Public

    Program logic for developing and verifying distributed systems

    logsem/aneris’s past year of commit activity
    Coq 34 MIT 8 4 2 Updated Jul 3, 2025
  • cerisier Public

    Formalisation in Rocq of CHERI-TrEE

    logsem/cerisier’s past year of commit activity
    Rocq Prover 2 0 0 0 Updated Jul 3, 2025
  • iris-wasmfx Public

    Iris-WasmFX program logic and logical relation for WasmFX

    logsem/iris-wasmfx’s past year of commit activity
    Rocq Prover 5 MIT 0 0 0 Updated Jul 2, 2025
  • iris-project Public
    logsem/iris-project’s past year of commit activity
    HTML 2 22 1 2 Updated Jun 25, 2025
  • cerise-interpreter Public
    logsem/cerise-interpreter’s past year of commit activity
    OCaml 2 0 0 0 Updated May 27, 2025
  • synthetic_domains Public
    logsem/synthetic_domains’s past year of commit activity
    Coq 1 MIT 0 0 0 Updated May 14, 2025
View all repositories

Most used topics

Loading…
0