Profunctor optics and lenses library for Scala
☆12Mar 16, 2026Updated 7 months ago
Alternatives and similar repositories for Proptics
Users that are interested in Proptics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple encoding of refinement types in Scala 3☆23Jun 24, 2024Updated 2 years ago
- Scripts for working with the OSRS Cache☆13Oct 9, 2019Updated 7 years ago
- ☆12Jul 28, 2024Updated 2 years ago
- Sample hello application using Scala 3 and zio-temporal☆16Feb 3, 2026Updated 9 months ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Aug 17, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆18May 11, 2018Updated 8 years ago
- ZIO frontend for the Clover Group AI platform☆17Aug 12, 2019Updated 7 years ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆39Nov 23, 2023Updated 2 years ago
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆57Apr 16, 2026Updated 6 months ago
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 6 years ago
- Stuff that could've been made into a blog if I wasn't too lazy☆19Feb 23, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Feb 24, 2019Updated 7 years ago
- exploring transducers☆10Jan 2, 2015Updated 11 years ago
- Scala library for biochemical network simulation, associated with the 3rd edition of the textbook Stochastic Modelling for Systems Biolog…☆13Dec 3, 2025Updated 11 months ago
- ☆17May 18, 2019Updated 7 years ago
- A programming language for fun☆13Dec 8, 2023Updated 2 years ago
- Concurrent, streaming access to the input and outputs of system processes.☆15Apr 7, 2018Updated 8 years ago
- ☆10Feb 20, 2017Updated 9 years ago
- A base library for Agda for regular programming☆10Mar 24, 2026Updated 7 months ago
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Batteries Included project for js☆13Mar 16, 2018Updated 8 years ago
- Slides and code for a talk about building an effect runtime compatible with ZIO☆13Jan 13, 2022Updated 4 years ago
- The Janus Architecture: a physical synthetic organism built around analog relational cognition, metabolic constraint, re-entrant observat…☆15Oct 8, 2026Updated 3 weeks ago
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing☆10Jun 1, 2022Updated 4 years ago
- Generate ctags into central location for git super-projects and submodules, vim 'setlocal' helper combined with .git/hooks.☆12Feb 23, 2017Updated 9 years ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated last year
- First two front-end phases of a language-independent compiler implemented in C++☆15Jul 27, 2020Updated 6 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Custom sheet animation using CGSSetWindowWarp.☆10Aug 17, 2012Updated 14 years ago
- Newtype for cats☆51May 2, 2019Updated 7 years ago
- A notebook extension to perform OAuth2 flows (e.g. token, code) in Jupyter notebooks.☆11Aug 4, 2020Updated 6 years ago
- ☆14Jun 22, 2020Updated 6 years ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- ☆10Jan 3, 2025Updated last year
- ☆15Aug 30, 2025Updated last year