bloderxd

blitz

Android real time form validator in a nice Kotlin DSL

deck

Jota

Declarative pattern matching solution to algebraic data types in Kotlin programming

result

Either monad struct to modeling success/error results in Kotlin development

boat

A scoped and composable way to navigate

ifood-mobile-test

android-coroutines-playground

Just a place to play with coroutines

android-functional

Android project following a OOP + FP architecture with Arrow

beagle-databinding

Android DataBinding extensions for Beagle

compose-playground

android-architecture-playground

Place to tests new ideas of architecture, concurrency and other android stuffs

android-clean-architecture-boilerplate

An android boilerplate project using clean architecture

android_test

arrow

Functional companion to Kotlin's Standard Library

arrow-inject

arrow-meta

Functional companion to Kotlin's Compiler

arrow-meta-prototype

arrow-proofs

Arrow Proofs Plugin

coq-playground

Proofs here

fp-intro

go-ws

Golang web service using gin

haskell-for-newbies-like-me

just exploring how haskell fp concepts implementations can help my life

KEEP

Kotlin Evolution and Enhancement Process

kmm-poc

kotlin

The Kotlin Programming Language

kotlin-algebraic-effects

Algebraic effect experiments in Kotlin

ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

rec-events

Event recommendation system

search-movie-app

AAC + MVVM + Clean Arch written in Java

tdcapp

Sample app which access the TDC (The Developer's Conference) REST API.