Pinned Repositories
birmingham-theory
The web page for the Birmingham theoretical computer science research group
damysus
DistributedSystems
EventML
JonPRL
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
NuprlInCoq
Implementation of Nuprl's type theory in Coq
opentt
pistis
Velisarios
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
vrahli's Repositories
vrahli/NuprlInCoq
Implementation of Nuprl's type theory in Coq
vrahli/Velisarios
A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
vrahli/damysus
vrahli/opentt
vrahli/EventML
vrahli/DistributedSystems
vrahli/pistis
vrahli/birmingham-theory
The web page for the Birmingham theoretical computer science research group
vrahli/JonPRL
An proof refinement logic for computational type theory based on realizability & meaning explanations. Inspired by Nuprl
vrahli/logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
vrahli/vrahli.github.io
vrahli/salticidae
Minimal C++ asynchronous network library for distributed systems.
vrahli/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.