Pinned Repositories
cakeml
CakeML: A Verified Implementation of ML
dafny
Dafny is a verification-aware programming language
acjf3.github.io
dafny
Dafny is a verification-aware programming language
hirataqdees.github.io
learngitthehardway
libraries
Libraries useful for Dafny programs
sail
Sail architecture definition language
TLB-COMP
typecart
hirataqdees's Repositories
hirataqdees/acjf3.github.io
hirataqdees/dafny
Dafny is a verification-aware programming language
hirataqdees/hirataqdees.github.io
hirataqdees/learngitthehardway
hirataqdees/libraries
Libraries useful for Dafny programs
hirataqdees/sail
Sail architecture definition language
hirataqdees/TLB-COMP
hirataqdees/typecart