andrisaar/fsen-formalisation
Public repository.
Developer Profile
andrisaar
Discovered public repositories for andrisaar in the GitHub catalog.
andrisaar/transactional-memory
Various things about transactional memory
andrisaar/compiler-formalisation
Formalisation of a simple compiler from a language with cooperative multitasking and message passing to a language with continuations and (fully) preemptive multitasking.
andrisaar/Type-Theory-Foundations
Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.