1. 7
    REMS - Rigorous Engineering of Mainstream Systems c++ compsci formalmethods networking osdev cl.cam.ac.uk
    animatronic avatar via animatronic 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 1
    david_chisnall avatar david_chisnall 2 years ago | link

    I’m on the alumni list, but still follow quite a bit of the work. I’m happy to answer any questions.