back-end developer with SRE tendencies /
Engineering Stability team /
:nautilus:
[email protected]
-
Mercury Technologies
Popular repositories Loading
-
-
tdd-idris
tdd-idris PublicWorking through the exercises in _Type-Driven Development in Idris_
Idris
-
filenotes
filenotes PublicPersistent local notes across files, suitable for editor integration
Haskell
-
nvim-telescope-ctags-plus
nvim-telescope-ctags-plus PublicForked from gnfisher/nvim-telescope-ctags-plus
A telescope extension for picking from your large ctag files
Lua
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.