Piotr Paradziński

icon indicating a website link https://scalac.io/

icon location Lublin icon location Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants

Results 1 repositories owned by Piotr Paradziński
trafficstars

scala_typeclassopedia

378
Stars
39
Forks
Watchers

Abstractions from Category theory with simple description & implementation, links to further resources.

verified publisher icon lemastero