Ismail Kuru's repositories
system-f-parametricity-model
A Model of Relationally Parametric System F in Coq
000
tcc
Small but fast C compiler. Supports ANSI C, most of the new ISO C99 standard, and many GNUC extensions, including inline assembly.
LGPL-2.1000
Language:TeX000
compcert
Fork of http://compcert.inria.fr/
Language:CoqNOASSERTION000
exercises
Exercise solutions for various books
Language:Coq000
Language:CGPL-2.0000
ModalLogic
Automated Reasoning for Modal Logics
Language:Coq000
Language:Coq000
modmod
A modular module system by Xavier Leroy
Language:OCamlGPL-2.0000
ocaml-extended-map
Provides the standard ocaml map module extended with a zipper/cursor
Language:OCamlNOASSERTION000
minirust
A tentative formalisation of mini-Rust.
Language:Coq000
QED4TSO
static proof method for verifying programs running on tso
Language:Java000
fs_spec
Filesystem spec
Language:OCaml000
Language:Coq000
Software-Foundations-Solutions
Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/
Language:Coq000
2012spring
Coursework in 2012 Spring in UPenn
Language:Coq000