Popular repositories Loading

1. Type-Theory-Foundations Type-Theory-Foundations Public

   Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.

   16 1

2. transactional-memory transactional-memory Public archive

   Various things about transactional memory

   Haskell 2

3. compiler-formalisation compiler-formalisation Public archive

   Formalisation of a simple compiler from a language with cooperative multitasking and message passing to a language with continuations and (fully) preemptive multitasking.

4. fsen-formalisation fsen-formalisation Public archive

   Agda

5. oak oak Public

   Forked from project-oak/oak

   Meaningful control of data in distributed systems.

   Rust