Self-taught software engineer actively learning about PL, category theory and systems theory.
-
Studying at NTNU
- Norway
- https://www.phibkro.org
- in/philib-krogh
Highlights
- Pro
Pinned Loading
-
bang-project
bang-project PublicA specification compiler for software systems as networks of related theories.
TypeScript
-
agent-engine
agent-engine PublicA portable semantic control plane for durable, governed project work performed by humans, AI agents, and deterministic systems.
TypeScript
-
-
-
-
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.



