free-arrow

Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows (by AdrielC)

Free-arrow Alternatives

Similar projects and alternatives to free-arrow

  1. FStar

    A Proof-oriented Programming Language

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. dafny

    Dafny is a verification-aware programming language

  4. Reactive Streams

    Reactive Streams Specification for the JVM

  5. cakeml

    15 free-arrow VS cakeml

    CakeML: A Verified Implementation of ML

  6. pragmatapro

    3 free-arrow VS pragmatapro

    PragmataPro font is designed to help pros to work better

  7. aGdaREP

    Implementing grep in Agda

  8. zio-prelude

    A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

  9. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  10. rezilience

    ZIO-native utilities for making resilient distributed systems

  11. ZIO

    61 free-arrow VS ZIO

    ZIO — A type-safe, composable library for async and concurrent programming in Scala

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better free-arrow alternative or higher similarity.

free-arrow discussion

Log in or Post with

free-arrow reviews and mentions

Posts with mentions or reviews of free-arrow. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-11.
  • The Deep Link Equating Math Proofs and Computer Programs
    5 projects | news.ycombinator.com | 11 Oct 2023
    my first thought was something something dependent types (Idris, Agda), but it also sounds like TS-like structural typing with a Rust-like Result type. proving that every incoming message is either parsed correctly or we return an error seems to be the basic building block. and then every transformation should be other pure functions.

    thought I guess you mean something more top-downish? for that there's "program interpretation" ( https://github.com/AdrielC/free-arrow )

    plus something very heavy-handed https://deepai.org/publication/a-coq-based-synthesis-of-scal...

  • Pure Functional Stream processing in Scala: Cats and Akka – Part 1
    2 projects | /r/scala | 7 Feb 2021
    Interesting post, although the use of `cats.IO` feels a little shoehorned. I've found some nice cats/akka synergy by abstracting over flows using a `cats.arrow.Arrow` instance for `akka.stream.scaladsl.Flow`. That might be just as shoehorned though, since I haven't yet worked out whether akkas `Flow` forms a lawful Arrow

Stats

Basic free-arrow repo stats
2
21
2.7
5 months ago

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com

Did you know that Scala is
the 37th most popular programming language
based on number of references?