jadephilipoom's repositories
fiat-crypto
Cryptographic Primitive Code Generation in Fiat
oak-hardware
Formal specification and verification of hardware, especially for security and privacy.
personal-website
My personal website
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
cdist-with-uci
Extending cdist (https://github.com/telmich/cdist) for integration with UCI (http://wiki.openwrt.org/doc/uci).
chatterbox
A chat thingy
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
coqutil
Coq library for tactics, basic definitions, sets, maps
kitchenscheduler
kitchen scheduler for pika
oak
Meaningful control of data in distributed systems.
opentitan
OpenTitan: Open source silicon root of trust
ot-sca
Side-channel analysis setup for OpenTitan
pika-website
Website for the pika cooperative living group
riscv-coq
RISC-V Specification in Coq
veri-titan
Verifying OpenTitan