Popular repositories Loading

1. coq-evm coq-evm Public

   EVM formalisation in coq

   Coq 6 1

2. ShapelesDerivationExample ShapelesDerivationExample Public

   Demonstration how to use shapeless to derive typeclass instances for sealed trait families.

   Scala 3

3. docker-scala-helloworld docker-scala-helloworld Public

   Sample project which illustrates how to use docker-compose with scala

4. datest datest Public

   docker-compose with Scala sbt-native packager.

   Scala

5. dotty-typetag-research dotty-typetag-research Public

   Forked from 7mind/dotty-typetag-research

   Scala

6. Mindustry-Doggo Mindustry-Doggo Public

   Forked from Anuken/Mindustry

   The automation tower defense RTS

   Java