Uğur Yavuz's repositories
machine-certified-linearizability
Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability".
numberlink-solver
A Numberlink solver powered by Google's OR-Tools.
cyclic-hoare
Cyclic proofs for unary and relational Hoare logic
EasyUC
Experiments with Universal Composability in EasyCrypt
Language:OCaml000
Language:Coq000
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCamlMIT000
kanjobal-bilingual-corpus
A Kanjobal-English bilingual corpus.
metaconfig
Meta-configuration tracking examples library
minimal-light
A simple and elegant Jekyll theme for an academic personal homepage
Language:CSSCC0-1.0000
mixtec-multilingual-corpus
A Mixtec-Spanish-English multilingual corpus.
parlayhash
Concurrent Hash Table
Language:C++MIT000