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.
calciobot
CS81 Final Project, 21F.
Language:CMake000
cs511-f23
Lean assignments for CS 511 (Boston University, Fall 2023)
Language:Lean000
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCamlMIT000
kanjobal-bilingual-corpus
A Kanjobal-English bilingual corpus.
mixtec-multilingual-corpus
A Mixtec-Spanish-English multilingual corpus.
000
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language:JavaMIT000
tlapm
The TLA Proof Manager
Language:OCamlBSD-2-Clause000