Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/keithasaurus/koda
Type-safe functional tools for Python.
functional-programming python tagged-unions type-safety
Last synced: 11 Jun 2024
![](https://github.com/keithasaurus.png)
https://github.com/Dobiasd/articles
thoughts on programming
articles blog functional-programming
Last synced: 11 Jun 2024
![](https://github.com/Dobiasd.png)
https://github.com/antonioru/deep-waters
🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥
deep-waters functional functional-programming javascript nodejs validation validation-library validators
Last synced: 11 Jun 2024
![](https://github.com/antonioru.png)
https://github.com/raviksharma/bartosz-basics-of-haskell
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
exercises functional-programming haskell haskell-programming interpreter tutorial
Last synced: 11 Jun 2024
![](https://github.com/raviksharma.png)
https://github.com/mikeroyal/NixOS-Guide
NixOS Guide. Learn all about the immutable Nix Operating System and the declarative Nix Expression Language.
apple-silicon declarative-language functional-programming home-manager libadwaita nix nix-darwin nix-flake nix-packages nix-shell nixops nixos nixos-config nixos-expression nixos-module nixos-service nixpkgs self-hosting sre wsl2
Last synced: 11 Jun 2024
![](https://github.com/mikeroyal.png)
https://github.com/chromium/subspace
A concept-centered standard library for C++20, enabling safer and more reliable products and a more modern feel for C++ code.; Also home of Subdoc the code-documentation generator.
cxx cxx20 functional-programming safety standard-library
Last synced: 11 Jun 2024
![](https://github.com/chromium.png)
https://github.com/Jyothsnasrinivas/eta-android-2048
Android 2048 game using Yampa FRP library in Eta
android eta frp functional-programming haskell
Last synced: 11 Jun 2024
![](https://github.com/Jyothsnasrinivas.png)
https://github.com/typelead/sbt-eta
An sbt plugin that integrates Eta into Scala projects.
eta functional-programming sbt sbt-plugin scala
Last synced: 11 Jun 2024
![](https://github.com/typelead.png)
https://github.com/eta-lang/eta-prelude
The Prelude for Eta programming language.
eta functional-programming haskell prelude
Last synced: 10 Jun 2024
![](https://github.com/eta-lang.png)
https://github.com/MilesMcBain/fnmate
A function definition generator.
functional-programming functions rstats
Last synced: 10 Jun 2024
![](https://github.com/MilesMcBain.png)
https://github.com/sphilee/functional-programming-jargon
Jargon from the functional programming world in simple terms!
Last synced: 10 Jun 2024
![](https://github.com/sphilee.png)
https://github.com/RobinMalfait/lazy-collections
Collection of fast and lazy operations
functional-programming javascript lazy lazy-collections
Last synced: 09 Jun 2024
![](https://github.com/RobinMalfait.png)
https://github.com/tekknolagi/scrapscript
A functional, content-addressable programming language.
compiler cosmopolitan functional-programing functional-programming interpreter wasm
Last synced: 09 Jun 2024
![](https://github.com/tekknolagi.png)
https://github.com/diegohaz/schm
Composable schemas for JavaScript and Node.js
compose functional-programming joi json-schema lerna parse schema validate
Last synced: 09 Jun 2024
![](https://github.com/diegohaz.png)
https://github.com/crossroad0201/ddd-on-scala
DDD sample implementation by Scala.
clean-architecture ddd functional-programming hexagonal-architecture object-oriented onion-architecture scala
Last synced: 09 Jun 2024
![](https://github.com/crossroad0201.png)
https://github.com/kentutorialbook/30minLearningJavaScriptMonad
30分でわかるJavaScriptプログラマのためのモナド入門
book functional-programming javascript monad mondas
Last synced: 09 Jun 2024
![](https://github.com/kentutorialbook.png)
https://github.com/mrdimosthenis/creative-scala
Translation of "Creative Scala" to Greek
ebook functional-programming scala
Last synced: 09 Jun 2024
![](https://github.com/mrdimosthenis.png)
https://github.com/scala-exercises/scala-exercises
The easy way to learn Scala.
cats functional-programming learning postgresql scala shapeless
Last synced: 08 Jun 2024
![](https://github.com/scala-exercises.png)
https://github.com/scala-szeged/Scala-Course-Hungarian
A Szegedi Egyetemen általam tartott Scala gyakorlat anyaga
course-materials course-project coursework functional-programming howto howto-tutorial scala tutorial tutorial-code
Last synced: 08 Jun 2024
![](https://github.com/scala-szeged.png)
https://github.com/sharkdp/shell-functools
Functional programming tools for the shell
command-line filesystem functional-programming shell string-manipulation
Last synced: 08 Jun 2024
![](https://github.com/sharkdp.png)
https://github.com/AluVM/rust-aluvm
Rust implementation of AluVM (RISC functional machine)
blockchain edge-computing embedded-systems functional-programming instruction-set-architecture microcontrollers risc rust smart-contracts virtual-machine
Last synced: 07 Jun 2024
![](https://github.com/AluVM.png)
https://github.com/IBM/fp-go
functional programming library for golang
functional-programming go golang library monad utility
Last synced: 07 Jun 2024
![](https://github.com/IBM.png)
https://github.com/timjs/elm-collage
Create interactive vector graphics and position them relative to each other
composition elm functional-programming graphics svg
Last synced: 07 Jun 2024
![](https://github.com/timjs.png)
https://github.com/MacCASOutreach/graphicsvg
Graphics library authored by Chris Schankula and Dr. Christopher Anand
animation drawing education elm functional-programming game-creation graphics-library outreach research
Last synced: 06 Jun 2024
![](https://github.com/MacCASOutreach.png)
https://github.com/android10/Android-CleanArchitecture-Kotlin
This is a movies sample app in Kotlin, which is part of a serie of blog posts I have written about architecting android application using different approaches.
android android-cleanarchitecture-kotlin android-development architectural architectural-patterns clean-architecture functional-programming kotlin kotlin-android lessons-learned mobile-development
Last synced: 06 Jun 2024
![](https://github.com/android10.png)
https://github.com/michaelbull/kotlin-result
A multiplatform Result monad for modelling success or failure operations.
browser class either fp functional functional-programming ios js jvm kotlin kotlin-multiplatform monad result type
Last synced: 06 Jun 2024
![](https://github.com/michaelbull.png)
https://github.com/MarcinMoskala/KotlinDiscreteMathToolkit
Set of extensions for Kotlin that provides Discrete math functionalities
discrete-math-functionalities extension-methods fun functional-programming kotlin
Last synced: 06 Jun 2024
![](https://github.com/MarcinMoskala.png)
https://github.com/Shopify/FunctionalTableData
Declarative UITableViewDataSource implementation
declarative functional-programming ios swift uicollectionview uitableview user-interface
Last synced: 05 Jun 2024
![](https://github.com/Shopify.png)
https://github.com/SwiftRex/SwiftRex
Swift + Redux + (Combine|RxSwift|ReactiveSwift) -> SwiftRex
apple combine combine-framework event-sourcing frp functional-programming observable publisher reactive-programming reactivecocoa reactiveswift reducer redux rxswift state-machine subscriber swift swiftui unidirectional-dataflow
Last synced: 05 Jun 2024
![](https://github.com/SwiftRex.png)
https://github.com/tvler/compose-state
Compose multiple setState or getDerivedStateFromProps updaters in React
functional-programming javascript react
Last synced: 04 Jun 2024
![](https://github.com/tvler.png)
https://github.com/rossellhayes/crossmap
❌🗺 Apply Functions to All Combinations of List Elements
functional-programming r rstats tidyverse
Last synced: 04 Jun 2024
![](https://github.com/rossellhayes.png)
https://github.com/armcn/maybe
The Maybe Monad in R
functional-programming r rstats
Last synced: 04 Jun 2024
![](https://github.com/armcn.png)
https://github.com/TimTeaFan/loopurrr
Translate purrr functions into regular for loops
functional-programming purrr r
Last synced: 04 Jun 2024
![](https://github.com/TimTeaFan.png)
https://github.com/wahani/modules
Modules in R
cran functional-programming module r
Last synced: 04 Jun 2024
![](https://github.com/wahani.png)
https://github.com/scala/scala
Scala 2 compiler and standard library. Bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
functional-programming jvm-languages object-oriented-programming scala scala-compiler scala-library scala-programming-language
Last synced: 03 Jun 2024
![](https://github.com/scala.png)
https://github.com/kickstarter/Kickstarter-Prelude
A collection of useful Swift tools that are used in the Kickstarter apps.
functional-programming prelude swift swift-language
Last synced: 02 Jun 2024
![](https://github.com/kickstarter.png)
https://github.com/kickstarter/ios-oss
Kickstarter for iOS. Bring new ideas to life, anywhere.
frp functional-programming functional-reactive-programming ios ios-app reactivecocoa reactiveswift swift swift-language
Last synced: 02 Jun 2024
![](https://github.com/kickstarter.png)
https://github.com/digital-fabric/affect
Algebraic effects for Ruby
algebraic-effects functional-programming ruby
Last synced: 02 Jun 2024
![](https://github.com/digital-fabric.png)
https://github.com/baweaver/qo
Qo - Query Object - Pattern matching and fluent querying in Ruby
functional-programming pattern-matching rspec-examples ruby
Last synced: 02 Jun 2024
![](https://github.com/baweaver.png)
https://github.com/gvolpe/trading
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)
apache-kafka apache-pulsar cats-effect eda elm elm-architecture elm-lang event-driven-architecture fp fs2 functional-programming grafana open-tracing prometheus scala scala3 web-sockets websockets
Last synced: 02 Jun 2024
![](https://github.com/gvolpe.png)
https://github.com/energydrink9/functional-data-grid
Data grids in functional style with ReactJS
data-grid datagrid excel functional-programming grid grouping locked-columns react-grid reactjs resizable rich-data-grids spreadsheet variable-rows-height virtual-scroll
Last synced: 02 Jun 2024
![](https://github.com/energydrink9.png)
https://github.com/santinic/pampy.js
Pampy.js: Pattern Matching for JavaScript
functional functional-programming javascript lisp-interpreter nodejs pattern-matching
Last synced: 02 Jun 2024
![](https://github.com/santinic.png)
https://github.com/HenriqueLimas/osagai
🀄️A tiny library for creating WebComponents in a Functional way
functional-programming tiny-library webcomponents
Last synced: 02 Jun 2024
![](https://github.com/HenriqueLimas.png)
https://github.com/PureEval/PureEval
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
functional-programming javascript js monad npm
Last synced: 01 Jun 2024
![](https://github.com/PureEval.png)
https://github.com/darky/context-fp
Microscopic functional programming context for TypeScript
context dependency di fp functional functional-programming injection javascript js programming ts typescript
Last synced: 01 Jun 2024
![](https://github.com/darky.png)
https://github.com/JonnyKong/Coursera-ProgrammingLanguagesUW
Coursera: Programming Languages, Univ. of Washington
functional-programming programming-language-theory racket ruby sml
Last synced: 31 May 2024
![](https://github.com/JonnyKong.png)
https://github.com/stanfordhaskell/cs43
Course materials for Stanford's CS43: Functional Programming Paradigms
category-theory course-materials functional-programming haskell
Last synced: 31 May 2024
![](https://github.com/stanfordhaskell.png)
https://github.com/niltok/magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Last synced: 31 May 2024
![](https://github.com/niltok.png)
https://github.com/joergen7/cuneiform
Cuneiform distributed programming language
bioinformatics distributed-computing erlang functional-programming machine-learning otp parallelization workflow workflow-engine
Last synced: 31 May 2024
![](https://github.com/joergen7.png)
https://github.com/llh911001/mostly-adequate-guide-chinese
函数式编程指南中文版
curry functional-js functional-programming functor monad
Last synced: 31 May 2024
![](https://github.com/llh911001.png)
https://github.com/robertvazan/noexception
Java library for handling exceptions in concise, unified, and architecturally clean way.
exception-handler exceptions functional-programming java-8 java-library noexception
Last synced: 31 May 2024
![](https://github.com/robertvazan.png)
https://github.com/bigtimetapin/somos-datum
token-gated decentralized uploads & downloads of files for the solana community
elm-lang functional-programming functional-reactive-programming rust-lang solana solana-nft solana-program solana-token
Last synced: 31 May 2024
![](https://github.com/bigtimetapin.png)
https://github.com/ronami/HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
example functional-programming learning parser recursion static-code-analysis type-system typescript
Last synced: 31 May 2024
![](https://github.com/ronami.png)
https://github.com/DeathKing/Learning-SICP
MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
compiler-principles functional-programming interpreters open-course scheme sicp
Last synced: 31 May 2024
![](https://github.com/DeathKing.png)
https://github.com/joordy/ringring
A dashboard tool on behalf of Ring-ring organization. A dashboard tool for policy makers, which can see how traffic conditions can be improved. The tool consists of several visualizations formed from the Ring-Ring bicycle dataset.
chartjs cycling data-visualization data-visualization-project functional-programming mapbox rollup sapper svelte svelte-js svelte3
Last synced: 30 May 2024
![](https://github.com/joordy.png)
https://github.com/neohaskell/NeoHaskell
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
ai beginner-friendly command-line concurrency developer-experience domain-driven-design event-sourcing functional-programming haskell mobile neohaskell programming-language python
Last synced: 30 May 2024
![](https://github.com/neohaskell.png)
https://github.com/Camilotk/ocaml4noobs
Tutorial de OCaml para iniciantes na Linguagem.
brasil functional-programming ocaml portugues tutorial
Last synced: 30 May 2024
![](https://github.com/Camilotk.png)
https://github.com/tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega
Last synced: 30 May 2024
![](https://github.com/tominated.png)
https://github.com/supermacro/neverthrow
Type-Safe Errors for JS & TypeScript
functional-programming hacktoberfest hacktoberfest-accepted typescript
Last synced: 30 May 2024
![](https://github.com/supermacro.png)
https://github.com/tazjin/nix-1p
A (more or less) one page introduction to Nix, the language.
functional-programming hacktoberfest nix nixos nixpkgs purity
Last synced: 30 May 2024
![](https://github.com/tazjin.png)
https://github.com/helderberto/maximus
⚔️ Lightweight functional utilities.
fp functional functional-programming javascript js maximus ts typescript
Last synced: 30 May 2024
![](https://github.com/helderberto.png)
https://github.com/moonad/Moonad
Moonad: a p2p academic journal, or a social network for code?
academic-journals formal-languages formal-verification formality functional-programming game-development moonad
Last synced: 30 May 2024
![](https://github.com/moonad.png)
https://github.com/haskell-beginners-2022/course-plan
📜 Haskell course info, plan, video lectures, slides
beginner-friendly course functional-programming hacktoberfest hacktoberfest2022 haskell learning mentorship
Last synced: 30 May 2024
![](https://github.com/haskell-beginners-2022.png)
https://github.com/i-am-tom/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
functional-programming ghc haskell haskell-learning teaching-materials
Last synced: 30 May 2024
![](https://github.com/i-am-tom.png)
https://github.com/sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
article-series examples functional-programming functional-programming-examples haskell
Last synced: 30 May 2024
![](https://github.com/sdiehl.png)
https://github.com/zoedsoupe/estrutura_de_dados
:brazil: Implementações dos princípios básicos e intermediários de Estrutura de Dados em Haskell!
data-structures estrutura-de-dados functional-programming haskell programacao-funcional
Last synced: 30 May 2024
![](https://github.com/zoedsoupe.png)
https://github.com/andreaslyn/mini-yu
A dependently typed programming language prototype
compiler dependent-types functional-programming programming-language type-theory
Last synced: 30 May 2024
![](https://github.com/andreaslyn.png)
https://github.com/grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
compiler data-flow-analysis functional-programming haskell llvm optimisation
Last synced: 30 May 2024
![](https://github.com/grin-compiler.png)
https://github.com/Hirrolot/metalang99
Full-blown preprocessor metaprogramming
c c99 cpp cpp11 embedded-language fp functional-language functional-programming header-only interpreter language macros metalang99 metaprogramming programming-language
Last synced: 30 May 2024
![](https://github.com/Hirrolot.png)
https://github.com/kspalaiologos/blc-mb
Binary Lambda Calculus evaluation engine written in Malbolge.
functional-programming lambda-calculus malbolge
Last synced: 29 May 2024
![](https://github.com/kspalaiologos.png)
https://github.com/samuelmtimbo/unit
Next Generation Visual Programming System
dataflow-programming functional-programming live-programming programming programming-language reactive-programming unit visual-programming
Last synced: 29 May 2024
![](https://github.com/samuelmtimbo.png)
https://github.com/KyleMcMaster/payroll-processor
A smorgasbord of modern .NET tech written with functional and asynchronous patterns
akita angular azure azure-functions azure-storage bootstrap clean-architecture cosmosdb dotnet-core functional-programming hacktoberfest scss typescript vertical-slice-architecture
Last synced: 28 May 2024
![](https://github.com/KyleMcMaster.png)
https://github.com/adityaathalye/bash-toolkit
Could be my ever-growing, ever-improving, Swiss Army Toolkit of functions-as-cmd-line-tools and useful-to-me patterns.
bash bash-scripting functional-programming shell shell-script
Last synced: 26 May 2024
![](https://github.com/adityaathalye.png)
https://github.com/reibitto/command-center
A CLI-based launcher and general productivity tool.
alfred cross-platform functional-programming launcher productivity scala window-manager zio
Last synced: 26 May 2024
![](https://github.com/reibitto.png)
https://github.com/mchav/froid
A library for using the Frege programming language in Android development.
android android-development frege frege-programming-language functional-programming
Last synced: 25 May 2024
![](https://github.com/mchav.png)
https://github.com/tofu-tf/tofu
Functional programming toolbox
concurrent config effects functional-programming hacktoberfest logging optics reader-monad tagless-final typeclasses
Last synced: 24 May 2024
![](https://github.com/tofu-tf.png)
https://github.com/roc-lang/roc
A fast, friendly, functional language. Work in progress!
functional-language functional-programming language roc-lang
Last synced: 23 May 2024
![](https://github.com/roc-lang.png)
https://github.com/imclerran/roc-openrouter
Roc Package for the using the OpenRouter.ai API
artificial-intelligence functional-programming roc-lang
Last synced: 23 May 2024
![](https://github.com/imclerran.png)
https://github.com/orsinium-labs/rlci
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
fp functional-programming interpreter lambda lambda-calculus programming-language rust
Last synced: 22 May 2024
![](https://github.com/orsinium-labs.png)
https://github.com/Carnagion/lamb
Pure untyped lambda calculus in safe Rust.
functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl
Last synced: 22 May 2024
![](https://github.com/Carnagion.png)
https://github.com/ekzhang/ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
functional-programming language logic-programming microkanren minikanren prolog rust
Last synced: 22 May 2024
![](https://github.com/ekzhang.png)
https://github.com/HigherOrderCO/Kind
Temporary repository for Kind2's refactor based on HVM2
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 22 May 2024
![](https://github.com/HigherOrderCO.png)
https://github.com/life4/deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
contracts contracts-programming dbc deal decorators design-by-contract flake8 functional-programming hacktoberfest interface invariant linter mypy property-based-testing python pythonic refinement-types testing typing validation
Last synced: 22 May 2024
![](https://github.com/life4.png)
https://github.com/siffiejoe/lua-fx
Functional Experiments in Lua
functional-programming lua transducers
Last synced: 21 May 2024
![](https://github.com/siffiejoe.png)
https://github.com/zio/zio-sqs
ZIO-powered client for AWS SQS
aws-sdk connector functional-programming scala sqs stream zio
Last synced: 20 May 2024
![](https://github.com/zio.png)
https://github.com/leobenkel/Zparkio
Boiler plate framework to use Spark and ZIO together.
boiler-plate functional-programming helpers scala spark template zio
Last synced: 20 May 2024
![](https://github.com/leobenkel.png)
https://github.com/zio/zio-telemetry
ZIO-powered OpenTelemetry library
functional-programming open-telemetry open-tracing scala zio
Last synced: 20 May 2024
![](https://github.com/zio.png)
https://github.com/zio/zio-logging
Powerful logging for ZIO 2.0 applications, with compatibility with many logging backends out-of-the-box.
fp functional-programming logging scala slf4j tracing zio
Last synced: 20 May 2024
![](https://github.com/zio.png)
https://github.com/VladKopanev/zio-saga
Purely Functional Transaction Management In Scala With ZIO
concurrency distributed-systems fp functional-programming saga saga-pattern sagas scala zio
Last synced: 20 May 2024
![](https://github.com/VladKopanev.png)
https://github.com/zio/zio-akka-cluster
ZIO wrapper for Akka Cluster
akka functional-programming scala zio
Last synced: 20 May 2024
![](https://github.com/zio.png)
https://github.com/zio/zio-actors
A high-performance, purely-functional library for building, composing, and supervising typed actors based on ZIO
actor-model functional-programming scala zio
Last synced: 20 May 2024
![](https://github.com/zio.png)
https://github.com/ioleo/zio-by-example
Source code for "ZIO by example" blog post.
functional-programming scala zio
Last synced: 20 May 2024
![](https://github.com/ioleo.png)
https://github.com/mkearney/dapr
☝🏼👉🏼👇🏼👈🏼 Dependency-free purrr-like apply/map/iterate functions
for-loops functional-programming iterator r r-package rstats
Last synced: 20 May 2024
![](https://github.com/mkearney.png)
https://github.com/CAIMEOX/caimeox.github.io
My Zettelkasten - The Rabbit Hole
category-theory computer-science functional-programming math notes physics programming-language type-theory
Last synced: 19 May 2024
![](https://github.com/CAIMEOX.png)
https://selfrefactor.github.io/rambda/
Faster and smaller alternative to Ramda
fp functional-programming lodash ramda utils
Last synced: 19 May 2024
![](https://github.com/selfrefactor.png)
https://github.com/aregtech/areg-sdk
AREG is an asynchronous Object RPC framework to simplify multitasking programming by blurring borders between processes and treating remote objects as if they coexist in the same thread.
async client-server concurrency cross-platform distributed embedded event-driven framework functional-programming iot ipc library logging multiprocessing multithreading parallel-computing pubsub realtime rpc sdk
Last synced: 19 May 2024
![](https://github.com/aregtech.png)
https://github.com/dbrattli/aioreactive
Async/await reactive tools for Python 3.11+
async asyncio asynciterator expression functional functional-programming rxpy streams
Last synced: 18 May 2024
![](https://github.com/dbrattli.png)
https://github.com/gmlewis/advent-of-code-2021
Advent of Code 2021 solutions using Go 1.18 Generics
functional-programming generics go golang
Last synced: 18 May 2024
![](https://github.com/gmlewis.png)
https://github.com/JonasMuehlmann/optional.go
optional.go is a simple and generic wrapper around a value and a presence flag inspired by C++'s std::optional
functional functional-programming go golang optional optional-type
Last synced: 18 May 2024
![](https://github.com/JonasMuehlmann.png)
https://github.com/arrow-kt/arrow
Λrrow - Functional companion to Kotlin's Standard Library
arrow continuations coroutines delimited-continuations for-comprehension fp-types functional-data-structure functional-programming hacktoberfest kotlin kotlin-dsl kotlin-libraries kotlin-library monads optics polymorphism typeclasses typed-lambda-calculus
Last synced: 16 May 2024
![](https://github.com/arrow-kt.png)