1. 10
    TLA+ Community Meeting videos ☶ slides video formalmethods youtube.com
    msingle avatar via msingle 1 month ago | cached | no comments
  2. 33
    Translating c to rust c rust c2rust.com
    msingle avatar via msingle 2 months ago | cached | 15 comments
  3. 15
    Ask: Algorithmic complexity in documentation ☶ ask compsci
    msingle avatar authored by msingle 3 months ago | 20 comments