SodiumFRP / sodium-kotlin
Sodium - Functional Reactive Programming (FRP) Library for Kotlin
☆20Updated 7 years ago
Alternatives and similar repositories for sodium-kotlin:
Users that are interested in sodium-kotlin are comparing it to the libraries listed below
- ☆14Updated 9 years ago
- Kotlin recursion schemes with Arrow☆22Updated 6 years ago
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Updated 3 years ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆106Updated 3 years ago
- Lenses for Kotlin☆49Updated 4 years ago
- Kotlin DSL for GraphQL☆28Updated 6 years ago
- Functional Hangman game implemented with Kotlin and Arrow (based on https://abhsrivastava.github.io/2018/11/03/Hangman-Game-Using-ZIO/)☆17Updated 5 years ago
- Gradle plugin for compiling Frege projects☆25Updated 3 years ago
- ☆92Updated 9 years ago
- Free Monad in Java☆28Updated last month
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Updated 5 years ago
- Property based testing for kotlintest ported from quickcheck☆34Updated 5 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 8 years ago
- A functional library for Kotlin that provides functional control structures. Inspired by javaslang☆22Updated 8 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 4 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Update all your git repositories with just one command. A command line tool written in Haskell.☆16Updated 7 years ago
- Abstract Reconciliation for Kotlin☆17Updated 7 years ago
- Tagged Unions for the Java 8 connoisseur☆56Updated 8 years ago
- Monads for Kotlin☆120Updated 6 years ago
- ☆12Updated 6 years ago
- Port to Arrow of the Code repo for Functional and Reactive Domain Modeling☆30Updated 2 years ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 4 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)☆53Updated 6 years ago
- A property based testing framework for Kotlin☆24Updated 7 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- Embeddable component for running Kotlin's Arrow library code snippets☆21Updated 2 years ago