Home
Feedback
FAQ
Getting Started
Discussions
Site operation discussions
Recent Posts
(new topic)
Departments
Courses
Research Papers
Design Docs
Quotations
Genealogical Diagrams
Archives
Worked on dst, an OS in OCaml.
Compilers, static analysis, low level applications of high level languages.
Recent comments
22 weeks 3 days ago
22 weeks 4 days ago
22 weeks 4 days ago
22 weeks 5 days ago
23 weeks 1 day ago
23 weeks 1 day ago
23 weeks 2 days ago
23 weeks 2 days ago
23 weeks 3 days ago
23 weeks 3 days ago