Pinned Repositories
coq-evm
EVM formalisation in coq
ShapelesDerivationExample
Demonstration how to use shapeless to derive typeclass instances for sealed trait families.
datest
docker-compose with Scala sbt-native packager.
docker-scala-helloworld
Sample project which illustrates how to use docker-compose with scala
dotty-typetag-research
Mindustry-Doggo
The automation tower defense RTS
dotty-typetag-research
ivan71kmayshan27's Repositories
ivan71kmayshan27/Mindustry-Doggo
The automation tower defense RTS
ivan71kmayshan27/coq-evm
EVM formalisation in coq
ivan71kmayshan27/dotty-typetag-research
ivan71kmayshan27/ShapelesDerivationExample
Demonstration how to use shapeless to derive typeclass instances for sealed trait families.
ivan71kmayshan27/datest
docker-compose with Scala sbt-native packager.
ivan71kmayshan27/docker-scala-helloworld
Sample project which illustrates how to use docker-compose with scala