bobatkey/interleaving
Work on reasoning about interleaved data and effects
Developer Profile
bobatkey
Discovered public repositories for bobatkey in the GitHub catalog.
bobatkey/unboxed
Unboxed arrays for OCaml
bobatkey/ocamlmvc
An MVC library for writing interactive webpages in OCaml
bobatkey/sorting-types
Typed DSLs for sorting
bobatkey/clocked-types
Public repository.
bobatkey/acfg-parser
Parser for Active Context Free Grammars
bobatkey/camlcheck
An OCaml QuickCheck clone
bobatkey/array-mapped-trie
An Array Mapped Trie implementation in OCaml
bobatkey/pretty-monospace
An OCaml pretty-printing library for monospaced text
bobatkey/coqjvm
Coq executable semantics and resource verifier
bobatkey/system-f-parametricity-model
A Model of Relationally Parametric System F in Coq
bobatkey/algebraically-indexed-types
Repository for documents and experiments to do with algebraically-indexed types
bobatkey/Inductors
Notes and implementations of inductors
bobatkey/parser-combinators-intro
Slides for an introductory talk on Parser Combinators
bobatkey/Forvie
Some Programming Language Description and Processing Tools in Haskell
bobatkey/foveran
A Dependently Typed Programming Language