Sample implementation of functional lenses in Java
☆24Jan 21, 2012Updated 14 years ago
Alternatives and similar repositories for java-lenses
Users that are interested in java-lenses are comparing it to the libraries listed below
Sorting:
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- 🔌 Scrap your qualified import clutter☆38Jul 26, 2021Updated 4 years ago
- lenses, folds, traversals, prisms for taggy☆21Apr 7, 2022Updated 3 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Haskell WAI Framework☆31Sep 7, 2015Updated 10 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 5 years ago
- A cross-platform open-source webcam viewer☆26Jan 5, 2021Updated 5 years ago
- Haskell XML library☆27Feb 1, 2019Updated 7 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- A minimal Haskell web-framework based on the WAI web server interface.☆39Apr 29, 2023Updated 2 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆36May 4, 2018Updated 7 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated 2 months ago
- ☆10Nov 12, 2023Updated 2 years ago
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Higher kinded types for Java☆122Jan 26, 2026Updated last month
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Jan 23, 2017Updated 9 years ago
- Moved here: https://gitlab.com/librehealth/incubating-projects/mhbs/mHBS-trainer☆10Apr 15, 2020Updated 5 years ago
- Crossword client for Ubuntu☆10Sep 9, 2018Updated 7 years ago
- A quick example of a ViewPager in Android☆22Mar 24, 2013Updated 12 years ago
- Android App to calculate sunrise sunset time☆10Aug 6, 2015Updated 10 years ago
- Android application which provides product views based upon users' recommendations.☆10Aug 20, 2015Updated 10 years ago
- 🛒 The E-commerce site developed in Java JSP and Servlet☆11Aug 26, 2018Updated 7 years ago
- Compression and decompression in the gzip and zlib formats☆39Jan 20, 2026Updated last month
- easy way to find and track all your family member☆36Jun 23, 2019Updated 6 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- A library for building re-usable and composable SQL queries.☆105Oct 7, 2025Updated 4 months ago
- Privacy & Security Principles, Documents and Testing☆11Jul 28, 2020Updated 5 years ago
- Duolingo Notes can help the duolingo users save notes during learning.☆13Jun 18, 2014Updated 11 years ago
- Bydelsfakta is a frontend application for Oslo municipality which visualises demographic statistics and data on various topics for the 15…☆10Updated this week
- a rails engine to create Microsoft Word documents from your rails application☆20Jan 9, 2026Updated last month
- Generador y solucionador de laberintos utilizando técnicas de IA basadas en el paradigma de agentes☆10Jun 12, 2024Updated last year
- E-Commerce Android app written in Java☆10Apr 18, 2018Updated 7 years ago
- SDK for reading the NIS code from an Italian Electronic Identity Card (CIE) using C++☆11Mar 8, 2021Updated 4 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year