Pinned Repositories
fiat-crypto
Cryptographic Primitive Code Generation in Fiat
oak-hardware
Formal specification and verification of hardware, especially for security and privacy.
optimizer
Provably optimal low-level programs in Coq
opentitan
OpenTitan: Open source silicon root of trust
bedrock2
A work-in-progress language and compiler for verified low-level programming
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
rupicola
Gallina to Bedrock2 compilation toolkit
oak
Meaningful control of data in distributed systems.
silveroak
Formal specification and verification of hardware, especially for security and privacy.
jadephilipoom's Repositories
jadephilipoom/optimizer
Provably optimal low-level programs in Coq
jadephilipoom/fiat-crypto
Cryptographic Primitive Code Generation in Fiat
jadephilipoom/oak-hardware
Formal specification and verification of hardware, especially for security and privacy.
jadephilipoom/personal-website
My personal website
jadephilipoom/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
jadephilipoom/bedrock2
A work-in-progress language and compiler for verified low-level programming
jadephilipoom/cdist-with-uci
Extending cdist (https://github.com/telmich/cdist) for integration with UCI (http://wiki.openwrt.org/doc/uci).
jadephilipoom/chatterbox
A chat thingy
jadephilipoom/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
jadephilipoom/coqutil
Coq library for tactics, basic definitions, sets, maps
jadephilipoom/JavaScript-Core-1-Coursework-Week3
jadephilipoom/kitchenscheduler
kitchen scheduler for pika
jadephilipoom/oak
Meaningful control of data in distributed systems.
jadephilipoom/opentitan
OpenTitan: Open source silicon root of trust
jadephilipoom/ot-sca
Side-channel analysis setup for OpenTitan
jadephilipoom/pika-website
Website for the pika cooperative living group
jadephilipoom/riscv-coq
RISC-V Specification in Coq
jadephilipoom/scan-chains
jadephilipoom/veri-titan
Verifying OpenTitan
jadephilipoom/workflow
https://xkcd.com/1319/