Katalyst

Recursion library

A Kotlin implementation of recursion schemes with Arrow typeclass and algebraic data types

Kotlin recursion schemes with Arrow

GitHub

22 stars
8 watching
1 forks
Language: Kotlin
last commit: over 7 years ago
Linked from 1 awesome list

arrowfunctional-programmingkotlinrecursion-schemesrecursive-structures

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
jadarma/advent-of-code-kotlinAn opinionated testing framework that simplifies running and testing solutions to Advent of Code puzzles in Kotlin12
kotlins/kotlinslangA Kotlin library providing functional control structures such as Try, Option, and Either for working with potentially failed or uncertain data22
jadarma/advent-of-code-kotlin-templateA starter project template for solving Advent of Code puzzles in Kotlin6
fasterxml/jackson-module-kotlinAdds support for serialization and deserialization of Kotlin classes and data classes to the Jackson JSON library1,127
recursion-schemes/recursion-schemesProvides higher-order functions for abstracting common recursion patterns in Haskell339
mplatvoet/funktionalA Kotlin implementation of monadic types for functional programming.10
vmchale/recursionExploring recursion schemes in a functional programming language9
blancas/kernA parser combinator library for Clojure to build recursive-descent parsers237
indy256/codelibraryA comprehensive collection of algorithms and data structures implemented in multiple programming languages1,944
keean/parser-combinatorsA C++ library for building efficient and maintainable parsers with flexible composition and runtime polymorphism.97
jhumphry/ascon_sparkAn implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.3
marioariasc/funktionaleFunctional programming constructs and patterns for Kotlin914
arpitshukia/adventofcode2023A collection of solutions to Advent of Code 2023 puzzles written in Kotlin1
ivoputzer/cli-args-parser-kataImplementing a CLI arguments parser to process input in various formats5
gouthampradhan/leetcodeA collection of LeetCode solutions in Java, covering various algorithms and data structures.3,288