emideluxe

Pinned Repositories

site
Stichting Statebox Website
Language:HTML00
swarm-static-website
Language:HTML00
awesome-applied-ct
ACT community resources
463 53 125
idris-multibase
Self-identifying base encodings in Idris
Language:Idris6 6 51
idris-multihash
Multihash for Idris
Language:Idris8 6 121
site
Typedefs website
Language:CSS0 5 21

emideluxe's Repositories

emideluxe/site
Stichting Statebox Website
Language:HTML00
emideluxe/swarm-static-website
Language:HTML00