mktnk3

UNSWSydney, Australia

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML944 44 47681
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML615 48 643137
seL4
Language:C10
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML00
l4v
seL4 specification and proofs
Language:Isabelle00
seL4
The seL4 microkernel
Language:C0 0 00
l4v
seL4 specification and proofs
Language:Isabelle500 38 97105
seL4
The seL4 microkernel
Language:C4.7k 204 418661
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 0 01

mktnk3's Repositories

mktnk3/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
mktnk3/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML00
mktnk3/l4v
seL4 specification and proofs
Language:Isabelle00
mktnk3/seL4
The seL4 microkernel
Language:C0 0 00