-
oak Public
Forked from project-oak/oakMeaningful control of data in distributed systems.
Rust Apache License 2.0 UpdatedApr 8, 2024 -
-
transactional-memory Public archive
Various things about transactional memory
-
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.
UpdatedJun 21, 2012 -
Type-Theory-Foundations Public
Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.
{{ message }}