LoreonLabsPlatform
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
