Pinned Repositories
2012spring
Coursework in 2012 Spring in UPenn
acwj
A Compiler Writing Journey
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
amacc
Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
asm
:running: An x86-64 assembler written in Go.
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
bolt
An embedded key/value database for Go.
bolt-mount
Mount a BoltDB (https://github.com/boltdb/bolt) database as a FUSE filesystem;
boogie
Boogie
BSTDelete
ismailkuru's Repositories
ismailkuru/2012spring
Coursework in 2012 Spring in UPenn
ismailkuru/compcert
Fork of http://compcert.inria.fr/
ismailkuru/concurrent-computations
A definition of concurrent computations in Coq.
ismailkuru/coq
ismailkuru/coq-sandbox
ismailkuru/cpdt
Solutions for exercises from CPDT
ismailkuru/exercises
Exercise solutions for various books
ismailkuru/fs_spec
Filesystem spec
ismailkuru/minirust
A tentative formalisation of mini-Rust.
ismailkuru/ModalLogic
Automated Reasoning for Modal Logics
ismailkuru/modmod
A modular module system by Xavier Leroy
ismailkuru/ocaml-extended-map
Provides the standard ocaml map module extended with a zipper/cursor
ismailkuru/osrelated
ismailkuru/QED4TSO
static proof method for verifying programs running on tso
ismailkuru/simple_ocaml_makefile
ismailkuru/Software-Foundations-Solutions
Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/
ismailkuru/system-f-parametricity-model
A Model of Relationally Parametric System F in Coq
ismailkuru/tcc
Small but fast C compiler. Supports ANSI C, most of the new ISO C99 standard, and many GNUC extensions, including inline assembly.
ismailkuru/WorkStealingQueueCAV2015