Software Foundations Laboratory (@snu-sf)
Guthub

snu-sf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    149
  • Global Org. Rank 47,340 (Top 16 %)
  • Registered over 10 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
         135
    C++
         472

Top repositories

1

paco

A Coq library for parametric coinduction
Coq
43
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
15
star
4

Ordinal

Coq
11
star
5

crellvm-llvm

LLVM for Crellvm: Verified Credible Compilation for LLVM
C++
6
star
6

CompCertM

Coq
6
star
7

llvm-freeze

LLVM
5
star
8

CompCertR

Coq
4
star
9

promising-arm

Coq
3
star
10

llvmtwin-coq

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

promising-ldrf-coq

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

clang-freeze

C++
3
star
13

clang-twin

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

crellvm-vellvm

Vellvm for Crellvm: Verified Credible Compilation for LLVM
Coq
2
star
15

cpdtlib

Coq
2
star
16

promising2-coq

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

fairness

Coq
2
star
18

sf-opam-coq-archive

1
star
19

acmart-pacmpl

PACMPL LaTeX template
TeX
1
star
20

snt

Show-and-tell Slides
1
star
21

sflib

Coq
1
star