My open source contributions (more details):
- Scala FP absractions inspired by category theory
- Scalaz: day convolution, density commonad, laws for strong profunctor
- cats: laws for strong profunctor
- zio-prelude: Bicovariant, Zivariant, and more
- wiki about FP abstracions inspired by CT scala_typeclassopedia
- exploring differen encodings of category theroy Triglav, applied category theory: svarog
- Scala FP libraries in ZIO ecosystem:
- Scala type level/deriving libraries: magnolia, mercator, utilities based on magnolia: Lada, me learning type level programming in Scala
- Blockchain technologies powered by formal methods: scrypto, mantis, ethereum-json-rpc-specification
- Haskell trifunctors, emilypi/smash, profunctors
- Idris lemastero/Idris-Trifunctors
- Proof assistants and Formal methods: Agda, awesome-provable, kframework, me learning software foundations in Coq
- Theoretical coputer science: my collection of resources around Computational Trinitarianism, https://steshaw.org/plt/, yallop/effects-bibliography
- (Homotopy) Type Theory HoTT/book, homotopy-type-theory-course, groupoid.space, ProvingGround