Technical Artist & Tools Programmer. I work at the intersection of real-time graphics, formal systems, and creative tooling — building things that sit between art and engineering.
-
FS - Digital Design
-
14:14
(UTC +01:00) - cypoes.graphics
- https://orcid.org/0009-0001-4182-4335
- cypoe_
Highlights
- Pro
Popular repositories Loading
-
isar-proofs
isar-proofs PublicISAR is a Lean 4 formalization of a minimal combinatory substrate whose operational quotient — the Invariant Layer — is the terminal object in the category of closed computational dialects.
Lean 2
-
-
blendpresence
blendpresence PublicForked from abrasic/blendpresence
Discord RPC support for Blender 3.0
Python
-
witsy
witsy PublicForked from Kochava-Studios/witsy
Witsy: desktop AI assistant / universal MCP client
TypeScript
-
Publii
Publii PublicForked from GetPublii/Publii
The most intuitive Static Site CMS designed for SEO-optimized and privacy-focused websites.
HTML
-
If the problem persists, check the GitHub status page or contact support.