Software Foundations Laboratory (@snu-sf)
Guthub

snu-sf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    139
  • Global Org. Rank 48,547 (Top 16 %)
  • Registered over 9 years ago
  • Most used languages
    Coq     73.7 %
    C++
         15.8 %
    LLVM     5.3 %
    TeX
         5.3 %
  • Location πŸ‡°πŸ‡· South Korea
  • Country Total Rank 1,549
  • Country Ranking
    Coq     1
    LLVM     3
    TeX
         136
    C++
         563

Top repositories

1

paco

A Coq library for parametric coinduction
Coq
40
star
2

promising-coq

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Coq
32
star
3

crellvm

Crellvm: Verified Credible Compilation for LLVM
Coq
13
star
4

Ordinal

Coq
11
star
5

CompCertM

Coq
6
star
6

crellvm-llvm

LLVM for Crellvm: Verified Credible Compilation for LLVM
C++
5
star
7

CompCertR

Coq
4
star
8

llvm-freeze

LLVM
4
star
9

llvmtwin-coq

Coq formalization of LLVM memory model (Reconciling High-level Optimizations and Low-level Code in LLVM, OOPSLA'18)
Coq
3
star
10

promising-ldrf-coq

The Coq development of local data-race-freedom guarantees in the Promising Semantics
Coq
3
star
11

clang-twin

LLVM implementation of OOSPLA'18 Reconciling High-level Optimizations and Low-level Code in LLVM
C++
2
star
12

promising-arm

Coq
2
star
13

clang-freeze

C++
2
star
14

cpdtlib

Coq
2
star
15

promising2-coq

The Coq development of Promising 2.0 semantics for relaxed memory concurrency
Coq
2
star
16

sf-opam-coq-archive

1
star
17

crellvm-vellvm

Vellvm for Crellvm: Verified Credible Compilation for LLVM
Coq
1
star
18

acmart-pacmpl

PACMPL LaTeX template
TeX
1
star
19

snt

Show-and-tell Slides
1
star
20

fairness

Coq
1
star
21

sflib

Coq
1
star