Top 8 Arrow Open-Source Projects

pragmatapro

3 1,341 5.3 Rich Text Format

PragmataPro font is designed to help pros to work better

Project mention: Berkeley Mono Typeface | news.ycombinator.com | 2023-11-18

One alternative you could consider is narrow fonts like Pragmata[1] (commercial) or Iosevka[2] (gratis, FOSS). Being able to fit more stuff onto you screen side-by-side is what enabled me to get as much into tmux as I am now.
[1] https://www.fsd.it/shop/fonts/pragmatapro/
[2] https://typeof.net/Iosevka/

react-archer

1 1,063 2.8 TypeScript

🏹 Draw arrows between React elements 🖋
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
dunai

6 188 8.7 Haskell

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Project mention: Interactive animations | /r/haskell | 2023-05-06

Yes, and the new library dunai was just mentioned in this subreddit days ago.

flutter_graphite

1 154 2.9 Dart

Flutter widget to draw interactive direct graphs (flowcharts) of any complexity in a tile rectangular manner.
porcupine-core

1 90 0.0 Haskell

Express parametrable, composable and portable data pipelines (by YPares)
kImageAnnotator

9 75 7.4 C++

Tool for annotating images

Project mention: Spectacle - cannot find cropping tools | /r/kde | 2023-05-02

Previously Spectacle used the kImageAnnotator library for the annotation function, so when that library got cropping support Spectacle got it too. For better or worse the new UI no longer uses that library, so I'm guessing the Spectacle devs will have to add in cropping support manually now. No clue if there are plans for it unfortunately, but I assume if work gets started on it there will be an update on that bug report.

Parallel-Arrows-Definition

1 18 0.0 TeX

Using Arrows to model parallel processes/computations.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
free-arrow

2 17 2.9 Scala

Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows

Project mention: The Deep Link Equating Math Proofs and Computer Programs | news.ycombinator.com | 2023-10-11

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...

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-11-18.