sagifogel / PropticsView external linksLinks
Profunctor optics and lenses library for Scala
☆11Feb 3, 2026Updated last week
Alternatives and similar repositories for Proptics
Users that are interested in Proptics are comparing it to the libraries listed below
Sorting:
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Nov 23, 2023Updated 2 years ago
- ☆17May 18, 2019Updated 6 years ago
- ZIO frontend for the Clover Group AI platform☆17Aug 12, 2019Updated 6 years ago
- Stuff that could've been made into a blog if I wasn't too lazy☆19Feb 23, 2022Updated 3 years ago
- Simple encoding of refinement types in Scala 3☆24Jun 24, 2024Updated last year
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Jul 4, 2020Updated 5 years ago
- PalGate automation using Python☆12Nov 16, 2025Updated 2 months ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 5 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Feb 3, 2026Updated last week
- Configured derivation library for scala 3☆35Sep 11, 2024Updated last year
- A list of the best resources to learn Scala☆37Jun 13, 2021Updated 4 years ago
- ☆10Jan 27, 2025Updated last year
- Use websockets to receive telemetry data on F1 2020 (PC/Xbox/PS4)☆10Sep 20, 2020Updated 5 years ago
- http4s integration with fs2-data☆12Jan 31, 2026Updated last week
- Scripts for working with the OSRS Cache☆12Oct 9, 2019Updated 6 years ago
- A bird guide for android devices☆11Oct 28, 2017Updated 8 years ago
- Higher-kinded data in Scala☆35Jun 2, 2019Updated 6 years ago
- A zero-dependency Scala framework☆10Nov 4, 2025Updated 3 months ago
- Content Extraction using the PageRank algorithm to find the element containing the best content.☆13Aug 14, 2019Updated 6 years ago
- An online multiplayer Android game consisting of two games☆10Dec 2, 2018Updated 7 years ago
- An Android Alerting Library☆10Feb 22, 2017Updated 8 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- ☆10Feb 5, 2026Updated last week
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 9 months ago
- Incremental sbt builds for CI environments.☆10Sep 2, 2025Updated 5 months ago
- A simple perceptron in Golang☆14Jan 25, 2019Updated 7 years ago
- movie app for android☆10May 26, 2020Updated 5 years ago
- BigInteger for scala with very fast modPow☆10Updated this week
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Oct 13, 2022Updated 3 years ago
- Small CLI app for filtering out music on Spotify.☆47Oct 15, 2025Updated 3 months ago
- (b2s) Scala compiler plugin for a better default toString.☆107Feb 1, 2026Updated last week
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆44Jun 23, 2025Updated 7 months ago
- A library for configuring scalac options☆46Feb 4, 2026Updated last week
- A script for tuning Linux parameter of SteamOS☆16May 24, 2024Updated last year
- FIDE Data Pull☆14Jan 29, 2022Updated 4 years ago
- This library enables to use ZooKeeper as cluster coordinator in a ConstructR based cluster☆12Dec 2, 2017Updated 8 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Eurofurence App (Android version)☆13Jul 3, 2022Updated 3 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago