Kotlin recursion schemes with Arrow
☆22Jan 25, 2019Updated 7 years ago
Alternatives and similar repositories for Katalyst
Users that are interested in Katalyst are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple & Efficient data access for Kotlin☆34Aug 31, 2020Updated 6 years ago
- Pretty printer implemented in kotlin. Ported from the haskell library prettyprinter☆12Nov 19, 2021Updated 4 years ago
- A simple parser combinator library for Kotlin☆30Oct 5, 2020Updated 6 years ago
- An experiment for bringing Comonadic UIs to Android☆18Oct 15, 2018Updated 8 years ago
- Property based testing for kotlintest ported from quickcheck☆37Jan 23, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Simple NoSQL disk cache for network responses [STABLE]☆14Jul 5, 2017Updated 9 years ago
- Pure function validation for Kotlin multiplatform☆10May 8, 2019Updated 7 years ago
- UI Automator Gesture Generation DSL☆17Nov 6, 2017Updated 8 years ago
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆101May 11, 2020Updated 6 years ago
- An implementation of Conway's Game of Life in Swift, using Bow and SwiftUI☆18Jul 1, 2025Updated last year
- Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library☆25Mar 10, 2022Updated 4 years ago
- Wordle solving application made with Compose☆17Jan 28, 2022Updated 4 years ago
- Unfoldable functors☆16Oct 18, 2026Updated last week
- Mu - Purely Functional Microservices for Kotlin☆17Apr 24, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Classes for parallel composition and racing of asynchronous computations☆43Oct 18, 2026Updated last week
- Idris style sized vectors in PureScript☆18Jan 5, 2021Updated 5 years ago
- Functions and bitwise operators for the Int numeric type☆19Oct 18, 2026Updated last week
- RxJava extensions for Arrow's Data Types☆15Jun 24, 2021Updated 5 years ago
- scala-android-architecture☆24Sep 9, 2016Updated 10 years ago
- A generic non-empty data structure☆17Oct 18, 2026Updated last week
- slides for presentations I have given☆22Oct 18, 2019Updated 7 years ago
- ☆22Sep 19, 2019Updated 7 years ago
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Mar 29, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple form validation using Arrow☆45Nov 5, 2018Updated 7 years ago
- Declarative pattern matching solution to algebraic data types in Kotlin programming☆23Sep 2, 2019Updated 7 years ago
- AWS Lambda Runtime for Kotlin/Native☆11Dec 5, 2019Updated 6 years ago
- Experimental probabilistic programming framework based on Kotlin coroutines☆21Mar 28, 2021Updated 5 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 9 years ago
- Code snippets and exercises for the Haskell book☆10May 20, 2018Updated 8 years ago
- A recursion scheme library for Idris.☆25Jun 27, 2026Updated 4 months ago
- ☆11Jan 24, 2021Updated 5 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- NoSQL storage with RxJava2 bindings [STABLE]☆98Jul 22, 2021Updated 5 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 6 years ago
- Mutable value references☆21Oct 17, 2026Updated last week
- Gradle plugin for compiling(transpiling) JVM bytecode to JavaScript using TeaVM☆17Apr 16, 2019Updated 7 years ago
- Call-by-need values☆30Oct 18, 2026Updated last week
- Lin is an Android Lint tool made simple☆230Mar 22, 2019Updated 7 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆22Jul 16, 2022Updated 4 years ago