heindel

Yet another computer scientist? ⑆keybase.io/heindel

Heliax GmbH @heliaxdevBerlin, Germany

Pinned Repositories

anoma-blog
Language:Jupyter Notebook4 15 42
geb
A Categorical View of Computation
Language:Idris28 20 4310
research
Early-stage research related to the Anoma protocols.
Language:Idris23 30 83
typhon
Formalization of Typhon protocol
Language:TLA28 26 523
heindel.github.io
Da web log
Language:Ruby00
publicsvgs
00
testIssueTracking
"trackedInIssues": { "totalCount": 0, error ?
00
testRevertToOldHash
00
graph-rewriting
Graph rewriting library for Scala
Language:Scala8 5 03

heindel's Repositories

heindel/heindel.github.io
Da web log
Language:Ruby00
heindel/publicsvgs
00
heindel/testIssueTracking
"trackedInIssues": { "totalCount": 0, error ?
00
heindel/testRevertToOldHash
00