Michael Norrish
mn200
Languages
Top Repositories
Theory of Context-Free Languages in HOL
JSON parsing in SML (from SML/NJ's svn repo)
Verification of Inspector-style Compilations
About mechanisations of the ordinals in higher order logic
My C++ in HOL semantics
a quick cursor jump mode for emacs
Repositories
20TOML parser for Standard ML
Applications for funding to support Verifereum-related projects
Validating XML parser library in Standard ML by Andreas Neumann and Alexandru Berlea
About mechanisations of the ordinals in higher order logic
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Theory of Context-Free Languages in HOL
JSON parsing in SML (from SML/NJ's svn repo)
Material to accompany submitted paper 7 to ITP2022
seL4 specification and proofs
Port of fxp1.4.5
PhD_project_1
Network Semantics
Verification of Inspector-style Compilations
No description provided.
Poly/ML
A tool for manipulating bibtex files as s-expressions
My C++ in HOL semantics
a quick cursor jump mode for emacs
No description provided.
Password Gorilla manages passwords