snu-sf/Ordinal snu-sf/Ordinal

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Coq
  • License
    MIT License
  • Created about 4 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
snu-sf/Ordinal
github

snu-sf

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

crellvm-llvm

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

CompCertM

Coq
6
star
6

llvm-freeze

LLVM
5
star
7

CompCertR

Coq
4
star
8

promising-arm

Coq
3
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-freeze

C++
3
star
12

clang-twin

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

crellvm-vellvm

Vellvm for Crellvm: Verified Credible Compilation for LLVM
Coq
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

fairness

Coq
2
star
17

sf-opam-coq-archive

1
star
18

acmart-pacmpl

PACMPL LaTeX template
TeX
1
star
19

snt

Show-and-tell Slides
1
star
20

sflib

Coq
1
star