- π Hi, Iβm @meltyness
- π Iβm interested in software. π²
- π±
Iβm currently reading Concrete Semantics- I've decided to change course and learn Lean4 instead for now...
- ποΈ Iβm looking to explore reality, and better humanity.
- π« How to reach me: hitting, throwing things, guttural screeches.
Pinned Loading
-
-
-
ratchet-cycle
ratchet-cycle PublicA docker-based deployment model for ratchet, as a TACACS+ SaaS
Dockerfile 3
-
obs-extrapolation
obs-extrapolation PublicOpen Broadcaster (OBS) script to apply real-time dynamic cropping from landscape to portrait.
Python
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.