💬
Organically produced code, hand-written with no AI, minimal carbon footprint
- Kyiv, Ukraine
Pinned Loading
-
idris-lang/Idris-dev
idris-lang/Idris-dev PublicA Dependently Typed Functional Programming Language
-
Mercury-Language/mercury
Mercury-Language/mercury PublicThe Mercury logic programming system.
-
SublimeText/ElasticTabstops
SublimeText/ElasticTabstops PublicTab characters automatically adjust to keep adjacent lines aligned.
-
versioned-configs
versioned-configs PublicNaming dotfiles as "versioned-configs" before it was cool
Vim Script 5
-
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.