Pinned Repositories
adt-enums
ADT-based enumeration type class for Scala
Awesome-CV
:page_facing_up: The CV
aws-poc
caliban
Functional GraphQL library for Scala
metrica
OSSRH-61255
pfds
Purely Functional Data Structures in Scala
theorem_proving_in_lean4
Theorem Proving in Lean 4
word-count
kafka-flow
library for reliable processing records received from kafka
asavelyev01's Repositories
asavelyev01/adt-enums
ADT-based enumeration type class for Scala
asavelyev01/aws-poc
asavelyev01/caliban
Functional GraphQL library for Scala
asavelyev01/metrica
asavelyev01/OSSRH-61255
asavelyev01/pfds
Purely Functional Data Structures in Scala
asavelyev01/theorem_proving_in_lean4
Theorem Proving in Lean 4
asavelyev01/word-count
asavelyev01/golem
Golem: Transparent durable execution for any programming language
asavelyev01/golem-examples
asavelyev01/tapir
Rapid development of self-documenting APIs