Pinned Loading

1. dolphins dolphins Public

   Starting point for writing MVI (TEA-like) apps.

   Kotlin 20 1

2. lean_playground lean_playground Public

   A little playground where I mostly complete tasks from Software Foundations in Lean.

   Lean 1

3. Dolphins-RealWorld Dolphins-RealWorld Public

   RealWorld (https://realworld.io/) client implemented with Dolphins (https://github.com/happy-bracket/dolphins)

   Kotlin 6

4. staydrunk staydrunk Public

   A bot that helps you stay drunk, which I wrote in one day on a Hackathon.

   Scala 2

5. dreamwalkers dreamwalkers Public

   An indev game in headcanon-ed MLP universe

   Kotlin

6. dreamwalkers-map-converter dreamwalkers-map-converter Public

   An application to convert Tiled maps to Dreamwalkers (https://github.com/happy-bracket/dreamwalkers) acceptable map format

   Haskell 2