Bob Atkey

icon indicating a website link http://bentnib.org/

icon location Edinburgh, UK

Results 16 repositories owned by Bob Atkey

ocamlmvc

35
Stars
0
Forks
Watchers

An MVC library for writing interactive webpages in OCaml

verified publisher icon bobatkey

sorting-types

18
Stars
0
Forks
Watchers

Typed DSLs for sorting

verified publisher icon bobatkey

sott

78
Stars
3
Forks
Watchers

Simplified Observational Type Theory

verified publisher icon bobatkey

system-f-parametricity-model

22
Stars
3
Forks
Watchers

A Model of Relationally Parametric System F in Coq

verified publisher icon bobatkey

unboxed

26
Stars
0
Forks
Watchers

Unboxed arrays for OCaml

verified publisher icon bobatkey

playtime

16
Stars
0
Forks
Watchers

An OCaml EDSL for describing and solving strategic games

verified publisher icon bobatkey