GitHunt

Dominic Mulligan

DominicPM

Principal Applied Scientist within the Automated Reasoning Group, AWS Cambridge. Personal account. All views my own, and not representative of my employer.

Cambridge, England
https://dominicpm.github.io

Languages

Isabelle33%Rust33%HTML33%

Loading contributions...

Top Repositories

supervisionary

Supervisionary: a proof-checking system for HOL

7Rust
AutoCorrode

Verification infrastructure for the Isabelle/HOL interactive proof assistant

0Isabelle
mlkem-native

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

0
DominicPM.github.io

Homepage

0HTML

Repositories

4
DO
DominicPM/AutoCorrodeFork

Verification infrastructure for the Isabelle/HOL interactive proof assistant

Isabelle00Updated 3 days ago
DO
DominicPM/mlkem-nativeFork

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

00Updated 4 days ago
DO
DominicPM/supervisionary

Supervisionary: a proof-checking system for HOL

Rust70Updated 2 years ago
higher-order-logicrusttheorem-provertheorem-provingwasmwebassembly
DO
DominicPM/DominicPM.github.io

Homepage

HTML00Updated 1 year ago

Gists

Recent Activity