Skip to content
View dancewithheart's full-sized avatar
4 followers · 36 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2

Block or report dancewithheart

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
dancewithheart/README.md

Be the positive change you want to see in life ❤️

My work as lemastero (FP in Scala in ZIO ecosystem, Haskell, experiments with formal verification in Agda, blockchain, benchmarking).

Pinned Loading

  1. scala_typeclassopedia scala_typeclassopedia Public

    Forked from lemastero/scala_typeclassopedia

    Abstractions from Category theory with simple description & implementation, links to further resources.

    Scala

  2. zio-scala3-quickstart.g8 zio-scala3-quickstart.g8 Public

    A Giter8 template for a basic Dotty application build using ZIO

    Scala 1

  3. agda-smash agda-smash Public

    Forked from lemastero/agda-smash

    smash product in Agda

    Agda

  4. intellij-unison intellij-unison Public

    Unison plugin for IntelliJ IDEA

    Java

  5. erl_algo erl_algo Public

    Erlang

  6. erl_distrib_systems erl_distrib_systems Public

    Erlang