ismailkuru

Ismail Kuru's starred repositories

Linux kernel source tree

Language:CNOASSERTION176763 79420

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXNOASSERTION10880 242 162

An open-source Unix operating system

Language:C1588 1500

Boogie

Language:BoogieMIT499 30 269

Research prototype tool for modular formal verification of C and Java programs

Language:RustNOASSERTION343 26 252

OCaml graph library

Language:OCamlNOASSERTION229 16 85

Exercism exercises in OCaml.

Language:OCamlMIT91 15 121

ZFS on Linux - the official OpenZFS implementation for Linux.

Language:CNOASSERTION12 30

Language:Lean7 40

#coq from the DSSS17 slack summarized.