Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows
☆20Dec 7, 2024Updated last year
Alternatives and similar repositories for free-arrow
Users that are interested in free-arrow are comparing it to the libraries listed below
Sorting:
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- Puting an http4s server together with ZLayers in ZIO. One step and more structure after zio-http4s-example☆10Oct 7, 2020Updated 5 years ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Jun 27, 2025Updated 8 months ago
- Rapid forms & datatables development for Scala☆24Feb 10, 2026Updated 3 weeks ago
- ☆13Feb 18, 2021Updated 5 years ago
- ☆47May 28, 2024Updated last year
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Feb 9, 2026Updated 3 weeks ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Augmented functions☆14Nov 19, 2024Updated last year
- sbt plugin for GitHub Packages, publish packaged jars or remote cache artifacts☆16Jan 10, 2025Updated last year
- Emacs mode to edit OCaml files☆22Feb 27, 2025Updated last year
- URI implementation based on cats-parse with cats instances☆14Mar 30, 2024Updated last year
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation☆17Mar 26, 2025Updated 11 months ago
- A ZIO-based interface to Google Cloud API☆19Aug 6, 2024Updated last year
- just place for some random notes about programming☆18Feb 16, 2026Updated 2 weeks ago
- Scala ZIO-powered Apache Arrow library☆22Jun 15, 2025Updated 8 months ago
- http4s, in a browser near you☆28Updated this week
- ☆17Aug 8, 2019Updated 6 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Mar 14, 2016Updated 9 years ago
- Simple, Business-friendly Decisions Engine for Scala☆80Jan 17, 2026Updated last month
- A simple macro-less logging typeclass with some common backends☆22Feb 25, 2026Updated last week
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- ☆24Jul 17, 2024Updated last year
- ScalaJS Laminar form derivation with Magnolia☆23Updated this week
- Modern HTTP mock server for your daily project based on Dhall configuration☆22Oct 16, 2020Updated 5 years ago
- Libraries for the Effectful Haskell effects system☆23May 5, 2022Updated 3 years ago
- CSV reader and writer combinators for Scala. Made with Cats.☆21Apr 21, 2020Updated 5 years ago
- Lightweight Buffer and Slice abstractions for Scala.☆26Jul 12, 2024Updated last year
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Besom - a Pulumi SDK for Scala. Also, incidentally, a broom made of twigs tied round a stick. Brooms and besoms are used for protection, …☆167Feb 14, 2026Updated 2 weeks ago
- ☆25Feb 23, 2026Updated last week
- Full-stack Scala ZIO + Scala.js application for test☆24Feb 16, 2026Updated 2 weeks ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 5 months ago
- http4s middlewares built on otel4s☆25Feb 23, 2026Updated last week
- A statically generated webring with YOCaml, because we love small-web☆24Aug 25, 2025Updated 6 months ago
- ▶️ GitHub Action using Coursier to install JVM and Scala tools☆57Updated this week