Logic and Semantics @ Aarhus University (@logsem)
Guthub

logsem

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    139
  • Global Org. Rank 48,430 (Top 16 %)
  • Registered over 7 years ago
  • Most used languages
    Coq     78.3 %
    TeX
         8.7 %
    OCaml
         8.7 %
    HTML
         4.3 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 752
  • Country Ranking
    Coq     2
    OCaml
         16
    TeX
         24
    HTML
         421

Top repositories

1

aneris

Program logic for developing and verifying distributed systems
Coq
29
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
12
star
5

iris-lecture-notes

TeX
11
star
6

melocoton

Coq
8
star
7

free-theorems-sl

Coq
8
star
8

iris-tutorial

Coq
5
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

talent-track-2020

TeX
1
star
18

cerise-stack

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

AxSL

Coq
1
star
20

cerise-stack-monotone

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

machine_utils

Coq
1
star
22

trillium

The Trillium logic for proving trace refinement properties such as liveness via Iris
Coq
1
star
23

MSWasm

Coq
1
star