OCaml Labs
Anil Madhavapeddy
Cambridge Computer Laboratory
Principal Investigator
http://anil.recoil.org
Projects
These are the projects that Anil 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.
OCaml Platform
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 | ∞ |
OPAM 1.0 (if it builds, ship it) | ||||||||||||||||
|
OPAM 1.1 (the CI and Test release) | ||||||||||||||||
|
OPAM 1.2 (the Platform release) | ||||||||||||||||
OPAM Doc | plan? | |||||||||||||||
 OCamlot | plan? | |||||||||||||||
|
Machine Pool | ||||||||||||||||
Platform Preview | ||||||||||||||||
 Foreign Function Interface | ||||||||||||||||
Mirage OS
A high-performance, type-safe library OS written in OCaml.
| 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 | ∞ |
|
Unikernel Mirage prototype | ||||||||||||||||
|
Xen.org incubation | ||||||||||||||||
Mirari | ||||||||||||||||
 Thespian | ||||||||||||||||
Mirage Developer Preview | ||||||||||||||||
| Formalisms for packet processing | ||||||||||||||||
kFreeBSD | ||||||||||||||||
| Nigori | ||||||||||||||||
Illuminate
Connecting cyber-physical devices with rigorous programming, coordination and persistence.
| 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 | ∞ |
Signpost prototype | ||||||||||||||||
Real-time templating | ||||||||||||||||
Declarative graphing library | ||||||||||||||||
|
Raspberry OCaml | ||||||||||||||||
The OCaml Compiler
Maintaining, extending and documenting the core OCaml compiler toolchain
| 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 | ∞ |
Open types | ||||||||||||||||
|
Record disambiguation | ||||||||||||||||
|
Syntax extensions | ||||||||||||||||
|
Namespaces | plan? | |||||||||||||||
| Multicore | plan? | |||||||||||||||
| Compile-time meta programming | plan? | |||||||||||||||
|
Emission of DWARF debugging information | ||||||||||||||||
OCaml Java 2.0 | ||||||||||||||||
Trilogy 2
Building a resilient liquid OS, with multipath and adaptive scheduling.
| 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 | ∞ |
Polyversal TCP prototype | ||||||||||||||||
|
Irminsule | plan? | |||||||||||||||
Community Outreach
Building an effective online presence for the worldwide OCaml community
| 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 | ∞ |
|
Real World OCaml | ||||||||||||||||
|
Book review site | ||||||||||||||||
|
Meta preprocessor | ||||||||||||||||
|
OCaml.org infrastructure | ||||||||||||||||
|
OCaml.org redesign | ||||||||||||||||