Skip to content
@logsem

Logic and Semantics @ Aarhus University

Popular repositories Loading

  1. iris-tutorial iris-tutorial Public

    Coq 38 21

  2. aneris aneris Public

    Program logic for developing and verifying distributed systems

    Coq 33 8

  3. mitten_preorder mitten_preorder Public

    OCaml 28 1

  4. clutch clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    Coq 20 4

  5. cerise cerise Public

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

    Coq 19 5

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

    TeX 13 4

Repositories

Showing 10 of 31 repositories
  • clutch Public

    Probabilistic separation logics for verifying higher-order probabilistic programs.

    logsem/clutch’s past year of commit activity
    Coq 20 MIT 4 0 0 Updated Feb 13, 2025
  • 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 Feb 13, 2025
  • iris-project Public
    logsem/iris-project’s past year of commit activity
    HTML 2 19 1 0 Updated Feb 12, 2025
  • cerise-interpreter Public
    logsem/cerise-interpreter’s past year of commit activity
    OCaml 2 0 0 0 Updated Feb 9, 2025
  • iris-wasmfx Public

    Iris-WasmFX program logic and logical relation for WasmFX

    logsem/iris-wasmfx’s past year of commit activity
    Coq 0 MIT 0 0 0 Updated Feb 6, 2025
  • cerise Public

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

    logsem/cerise’s past year of commit activity
    Coq 19 5 5 1 Updated Feb 5, 2025
  • iriswasm Public

    IrisWasm program logic and logical relation for WebAssembly

    logsem/iriswasm’s past year of commit activity
    Coq 0 MIT 1 0 0 Updated Jan 30, 2025
  • machine_utils Public
    logsem/machine_utils’s past year of commit activity
    Coq 1 0 0 0 Updated Jan 15, 2025
  • gitrees Public

    guarded interaction trees

    logsem/gitrees’s past year of commit activity
    Coq 5 2 0 0 Updated Dec 12, 2024
  • iris-nextgen Public

    Next generation modality for Iris

    logsem/iris-nextgen’s past year of commit activity
    Coq 1 0 0 0 Updated Dec 6, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…