Geeks
hopv
/
vel
Vel: A language for verified low-level software
Primary Language
Rust
MIT License
MIT
vel GitHub
Markdown
Readme
0
Issues
15
Stargazers
4
Watchers
Stargazers
clarus
Formal Land
d0iasm
Paris, France
esneko
Latvia
hiendinhngoc
@CoderPush
iamazy
wx: 饮马河洛
kylemocode
Netskope
nikitavoloboev
Madrid
noghartt
@firefliesai
omargfh
University of Chicago
Sayan-Maity
Katalis.AI
saza-ku
Kyoto University
takeyamayuki
@CyberAgentAILab
thamugadi
Morocco
transistorfet
Vancouver, Canada
xldenis
ETHZ