Barak Bar Orion's starred repositories
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Idris2-boot
A dependently typed programming language, a successor to Idris
intellij-elm
Elm plugin for IntelliJ Platform IDEs
idris-demos
Collection of Idris tests and demonstration programs
fpinkotlin
Exercises and solutions for my book The Joy of Kotlin
idris-containers
Various data structures for use in the Idris Language.
kotlin-inline-logger
A logger facilitating lazily-evaluated log calls via Kotlin's inline classes & functions.
watch-a-doin
Simplistic nested stopwatch for Kotlin
redis-reactive-cache
Redis Reactive Cache for Spring Boot WebFlux
gzip-reactive
Reactive gzip encoder/decoder
consul-client
A Kotlin consul client
mini-rest-client
A Kotlin minimal rest client
barakb.github.com
Barak's git pages