My projects:
- intellij-unison IntelliJ IDEA plugin for Unison language
- agda2scala Scala 2 and Scala 3 backends for Agda - compile Agda proofs into Scala code
- zio-scala3-quickstart.g8 sbt template for Scala with hardened security thanks to types safety from ZIO and GithubActions enforcing best practices
I contribute to:
Compilers:
- Scala3
- Agda
- agda/agda#8493 (WIP)
- agda/agda#8491 (WIP)
Haskell libraries:
- MangoIV/cabal-audit#73 (security) (WIP)
- MangoIV/cabal-audit#70 (security) (WIP)
- input-output-hk/io-sim#251 (distributed systems)
- avieth/contra-tracer#9 (tracing, FP abstractions)
Cardano blockchain:
- cardano-scaling/hydra#2550
- cardano-scaling/hydra#2547
- IntersectMBO/cardano-base#637
- IntersectMBO/plutus#7680 (WIP)
- IntersectMBO/ouroboros-consensus#1939 (WIP)
Agda libraries:
Scala libraries:
- scalacenter/sbt-dependency-submission#347 (security)
- scalacenter/sbt-dependency-submission#346 (security)
- zio/zio-protoquill#739 (security)
- sbt/sbt#9086 (security)
- sbt/sbt#9088 (security)
- zio/zio#10618 (WIP)
- zio/zio#10620
Idris:
- clayrat/idris-selective#1 (FP abstractions)
My work as lemastero
- scala_typeclassopedia wiki about FP abstractions in Scala
- FP in Scala in ZIO ecosystem like Trifunctors
- benchmarking
- blockchains: ETC/ETH Scala client
- a bit of Haskell, formal verification in Agda