Pinned Repositories
CompCertM
CompCertR
crellvm
Crellvm: Verified Credible Compilation for LLVM
crellvm-llvm
LLVM for Crellvm: Verified Credible Compilation for LLVM
llvm-freeze
llvmtwin-coq
Coq formalization of LLVM memory model (Reconciling High-level Optimizations and Low-level Code in LLVM, OOPSLA'18)
Ordinal
paco
A Coq library for parametric coinduction
promising-arm
promising-coq
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
Software Foundations Laboratory's Repositories
snu-sf/llvm-freeze
snu-sf/clang-freeze
snu-sf/cpdtlib
snu-sf/acmart-pacmpl
PACMPL LaTeX template
snu-sf/crellvm-vellvm
Vellvm for Crellvm: Verified Credible Compilation for LLVM
snu-sf/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
snu-sf/crellvm-tests
snu-sf/cereal
A C++11 library for serialization
snu-sf/crellvm-tests-parallel
snu-sf/easyword
snu-sf/metalib
The Penn Locally Nameless Metatheory Library
snu-sf/pl201602
SNU 2016 Fall 4190.310 Programming Language
snu-sf/semantic-strict-positivity