arrow-kt/arrow-proofs

Stars
10
Rank 1,807,489 (Top 36 %)
Language
Kotlin
License
Apache License 2.0
Created over 2 years ago
Updated 24 days ago

arrow-kt/arrow-proofs

arrow-kt

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Arrow Proofs Plugin

arrow

Λrrow - Functional companion to Kotlin's Standard Library

arrow-meta

Functional companion to Kotlin's Compiler

Category-Theory-for-Programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers

arrow-core

Λrrow Core is part of Λrrow, a functional companion to Kotlin's Standard Library

suspendapp

Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!

arrow-fx

Λrrow Fx is part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-meta-examples

Some examples for Λrrow Meta the functional companion to Kotlin's Compiler & IDE.

ank

ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)

backend-arrow-example

Example of Arrow features in the context of a Ktor project

arrow-analysis

Arrow Analysis Plugin

arrow-exact

Arrow Exact exposes a variation of exact types to work with in Arrow. It includes some boilerplate for commonly defined value class wrappers.

arrow-integrations

Λrrow Integrations is part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-check

Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-endpoint

Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers & documentation.

arrow-meta-prototype

arrow-optics

Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-incubator

Λrrow Incubator is part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-gradle-config

Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc

Arrow-KMP-Template

A template project for Arrow on MPP. It defines an application and a couple small examples

arrow-media

Media blog for the functional companion to Kotlin's Standard Library

arrow-ank

Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-intellij

Arrow plug-in for IntelliJ-based IDEs

arrow-website

This is the main website for Arrow, the functional companion to Kotlin's Standard Library

fpcollections

Fast immutable collections

arrow-collections

A shared interface for immutable collection libraries

arrow-ui

Λrrow UI is part of Λrrow, a functional companion to Kotlin's Standard Library

arrow-examples

Λrrow Examples is part of Λrrow, a functional companion to Kotlin's Standard Library

cork

A library for Typed Functional Programming in Dart

Arrow-JVM-Template

A template project for Arrow on JVM. It defines an application and a couple small examples

rewrite-arrow

OpenRewrite recipes for Arrow 1.2.0-RC / 2.0.0

arrow-tracing

Distributed Tracing for Kotlin

arrow-art

Λrrow design assets

arrow-context

arrow-reflection

Kotlin Compile time reflection

Arrow-JS-Template

A template project for Arrow on JS. It defines an application and a couple small examples

arrow-inject

arrow-android

meta

arrow-typeproofs

Playground for typeproofs and migration

arrow-test

arrow-site

Λrrow Site is part of Λrrow, a functional companion to Kotlin's Standard Library