cypheon @cypheon@mastodon.technology
- Keybase
- cypheon
- Sourcehut
- https://sr.ht/~cypheon
- Github
- https://github.com/cypheon
- Matrix
- @cypheon:nitro.chat
- Antifa
- ✓
Software developer with a passion for free software, functional programing, and formal verification.
he/him
Joined Feb 2019
I created a tiny and fast documentation browser for Idris2: https://idris2docs.sinyax.net/
A tiny #SAT solver using #Idris 2 and Linear Types: https://git.sr.ht/~cypheon/idris-minisat
- Keybase
- cypheon
- Sourcehut
- https://sr.ht/~cypheon
- Github
- https://github.com/cypheon
- Matrix
- @cypheon:nitro.chat
- Antifa
- ✓
Software developer with a passion for free software, functional programing, and formal verification.
he/him
Joined Feb 2019
