Profunctor optics and lenses library for Scala
☆11Feb 3, 2026Updated last month
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 4 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 3 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 month
- 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
- Use websockets to receive telemetry data on F1 2020 (PC/Xbox/PS4)☆10Sep 20, 2020Updated 5 years ago
- Scripts for working with the OSRS Cache☆12Oct 9, 2019Updated 6 years ago
- http4s integration with fs2-data☆12Feb 22, 2026Updated last week
- A bird guide for android devices☆11Oct 28, 2017Updated 8 years ago
- ☆10Jan 27, 2025Updated last year
- Higher-kinded data in Scala☆35Jun 2, 2019Updated 6 years ago
- A zero-dependency Scala framework☆10Nov 4, 2025Updated 4 months ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 3 weeks ago
- movie app for android☆10May 26, 2020Updated 5 years ago
- A simple perceptron in Golang☆14Jan 25, 2019Updated 7 years ago
- ☆10Feb 25, 2026Updated last week
- Incremental sbt builds for CI environments.☆10Sep 2, 2025Updated 6 months ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years 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
- F1 2020 game telemetry application.☆10Mar 7, 2023Updated 2 years ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 10 months ago
- An Android Alerting Library☆10Feb 22, 2017Updated 9 years ago
- 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 4 months ago
- (b2s) Scala compiler plugin for a better default toString.☆107Feb 26, 2026Updated last week
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆44Jun 23, 2025Updated 8 months ago
- A library for configuring scalac options☆47Feb 26, 2026Updated last week
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- ☆12Jul 28, 2017Updated 8 years ago
- A safe and correct Bluetooth Low Energy (BLE) library for Android with functional data types and Kotlin Coroutines and RxJava2 interface.☆17Mar 21, 2023Updated 2 years ago
- Undertale Game Save Converter for PC/Switch☆13Jul 12, 2019Updated 6 years ago
- eXtended UNIX text-processing tools☆44Jul 20, 2015Updated 10 years ago