⚗️
Research engineering at Imperial College
Computer scientist and expert engineer, specialising in Verified Software
-
Imperial College London
- London, UK
- nat.karmios.com
- https://orcid.org/0009-0000-3582-2483
Highlights
- Pro
Pinned Loading
-
GillianPlatform/Gillian
GillianPlatform/Gillian PublicThe Gillian Platform main repository
-
-
org-gcal-sync
org-gcal-sync Public archiveA one-way event synchronisation tool from org-mode to Google Calendar
Kotlin 1
-
orgzly-revived/orgzly-android-revived
orgzly-revived/orgzly-android-revived PublicOutliner for taking notes and managing to-do lists
-
AutoVoiceChannel
AutoVoiceChannel Public archiveAutomatic voice channel management for Discord
Kotlin
-
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.