univalent-universe

Pinned Repositories

Info2021
Info-Projekt
Language:C#1 2 00
agdone
Language:Agda00
GalacticScience
GalacticScience Minecraft 1.7.10 Modpack
Language:JavaScript0 1 00
granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Language:Haskell00
hello-world-project
Language:Java0 1 00

univalent-universe's Repositories

univalent-universe/agdone
Language:Agda00
univalent-universe/GalacticScience
GalacticScience Minecraft 1.7.10 Modpack
Language:JavaScript0 1 00
univalent-universe/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Language:Haskell00
univalent-universe/hello-world-project
Language:Java0 1 00