My projects:
- cabal-plan-submit submit Haskell dependencies (from cabal plan) to Gitub dependency graph submission
- intellij-unison WIP IntelliJ IDEA plugin for Unison language
- agda2scala WIP 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
My open source contributions:
Haskell libraries (supply chain security, vulnerability reporting, cryptography):
- kazu-yamamoto/crypton#73, kazu-yamamoto/crypton#74 (awaits review)
- haskell-cryptography/botan#132 (awaits review), haskell-cryptography/botan#133 (awaits review), haskell-cryptography/botan#134 (awaits review)
- MangoIV/cabal-audit#70, MangoIV/cabal-audit#73, MangoIV/cabal-audit#75 (awaits review)
- haskell/security-advisories#321, haskell/security-advisories#322
- blackheaven/haskell-security-action#8
- mongodb-haskell/mongodb#161 (awaits review)
- l29ah/pontarius-xmpp#5 (awaits review)
- avieth/contra-tracer#9
- skogsbaer/HTF#137, skogsbaer/HTF#138
- haskell-repa/repa#32 (awaits review)
- kazu-yamamoto/unix-time#68
- well-typed/cborg#378
- protolude/protolude#153 (awaits review)
Cardano blockchain (decentralized, reliable networking and internet infrastructure in Haskell and Rust):
- cardano-scaling/hydra#2550, cardano-scaling/hydra#2547
- IntersectMBO/cardano-base#637, IntersectMBO/cardano-base#656, IntersectMBO/cardano-base#657
- IntersectMBO/io-sim#251
- IntersectMBO/plutus#7680 (WIP)
- IntersectMBO/ouroboros-network#5372
- IntersectMBO/ouroboros-consensus#1939 (WIP), IntersectMBO/ouroboros-consensus#2042 (awaits review)
- aiken-lang/aiken#1324 (awaits review)
Compilers:
- (in Scala) scala/scala3#25470, scala/scala3#25162, scala/scala3#25662 (awaits review), scala/scala3#25765 (WIP)
- (in Haskell) agda/agda#8493 (awaits review), agda/agda#8491 (awaits review)
Agda libraries (formal methods, mathematical proofs):
Scala libraries (security, zio-ecosystem, tools I use):
- scalacenter/sbt-dependency-submission#347, scalacenter/sbt-dependency-submission#346
- zio/zio-protoquill#739 (awaits review)
- sbt/sbt#9086, sbt/sbt#9088
- zio/zio#10618 (WIP), zio/zio#10620
Rust (cryptography, zero-knowledge, privacy, Linux tools in memory safe languages):
- trifectatechfoundation/sudo-rs#1565 (awaits review)
- tlepoint/fhe.rs#375 (awaits review)
- tlepoint/fhe.rs#376 (awaits review)
Idris (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