Cambridge Computer Laboratory
These are the projects that David is working on. The project list includes other people's tasks on the same project too, as it's helpful to see interdependencies this way. Click on the project headings to see more information about it.
A rigorously designed, tested and documented base of OCaml libraries and tools.
|Sep '12||Oct '12||Nov '12||Dec '12||Jan '13||Feb '13||Mar '13||Apr '13||May '13||Jun '13||Jul '13||Aug '13||Sep '13||Oct '13||Nov '13||Dec '13||Jan '14||Feb '14||Mar '14||Apr '14||∞|
OPAM 1.0 (if it builds, ship it) |
OPAM 1.1 (the CI and Test release) |
OPAM 1.2 (the Platform release) |
OPAMDoc prototype |
OCamlot 0.2.0 |
OCamlot 0.3.0 |
Non-x86 Machine Pool |
Platform Preview |
| Ctypes |
| Ctypes stub generation |
Connecting cyber-physical devices with rigorous programming, coordination and persistence.