🎯
Focusing
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.
-
The Open University & National Union of Journalists
- London, United Kingdom
-
21:56
(UTC) - https://www.linkedin.com/in/jonathan-jewell
- https://orcid.org/0000-0002-3078-6652
- @Philopolymath
- jonathan.jewell
- hyperpolymath
- https://learn1.open.ac.uk/mod/oublog/view.php?user=34022
Highlights
Pinned Loading
-
7-tentacles
7-tentacles PublicTeaching Compiler Architecture to Ages 8-18 Through Progressive Reveal & Playful Mascots
HTML 1
-
cerro-torre
cerro-torre PublicProvenance-verified containers from democratically-governed sources.
Ada 1
-
czech-file-knife
czech-file-knife PublicCloud-native Swiss File Knife - unified interface for 20+ storage backends
Rust 1
-
valence-shell
valence-shell PublicFormally verified shell implementing the MAA (Mutually Assured Accountability) Framework.
Rocq Prover 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



