Logic and Semantics @ Aarhus University (@logsem)
Guthub

logsem

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    150
  • Global Org. Rank 47,186 (Top 15 %)
  • Registered about 8 years ago
  • Most used languages
    Coq     78.3 %
    OCaml
         8.7 %
    TeX
         8.7 %
    HTML
         4.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 752
  • Country Ranking
    Coq     2
    OCaml
         14
    TeX
         26
    HTML
         538

Top repositories

1

aneris

Program logic for developing and verifying distributed systems
Coq
31
star
2

mitten_preorder

OCaml
26
star
3

cerise

Formalisation of a capability machine and principles for reasoning about security properties
Coq
17
star
4

clutch

Probabilistic separation logics for verifying higher-order probabilistic programs.
Coq
13
star
5

iris-tutorial

Coq
12
star
6

iris-lecture-notes

TeX
11
star
7

melocoton

Coq
9
star
8

free-theorems-sl

Coq
8
star
9

iris-tini

Logical relations for termination-insensitive noninterference in Iris
Coq
4
star
10

gitrees

guarded interaction trees
Coq
4
star
11

VMSL

Verifying FF-A hypercalls using VMSL.
Coq
3
star
12

cerise-interpreter

OCaml
2
star
13

well-bracketed-logic

Coq
2
star
14

fw-rec-inj

Coq
2
star
15

iris-project

HTML
2
star
16

spirea

Coq
2
star
17

trillium

The Trillium logic for proving trace refinement properties such as liveness via Iris
Coq
2
star
18

talent-track-2020

TeX
1
star
19

cerise-stack

Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
Coq
1
star
20

AxSL

AxSL, a concurrent separation logic for Arm's relaxed concurrency
Coq
1
star
21

cerise-stack-monotone

Formalisation of temporal stack safety properties on a capability machine with local, uninitialized and directed capabilities.
Coq
1
star
22

machine_utils

Coq
1
star
23

MSWasm

Coq
1
star