A simple optics library based on existential encoding
☆14Apr 28, 2022Updated 3 years ago
Alternatives and similar repositories for existential-optics
Users that are interested in existential-optics are comparing it to the libraries listed below
Sorting:
- The Event type, extracted from purescript-behaviors☆22Dec 26, 2020Updated 5 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- Convenient codegen for PureScript☆32May 2, 2025Updated 9 months ago
- Purescript frontend scaffolder☆15Nov 27, 2022Updated 3 years ago
- ☆22Jan 7, 2026Updated last month
- Type class and functions for working with newtypes☆15Sep 3, 2022Updated 3 years ago
- Software engineering and artificial general intelligence blog of Răzvan Flavius Panda☆17Mar 26, 2025Updated 11 months ago
- Composition of Functions☆24May 25, 2020Updated 5 years ago
- ☆20Feb 2, 2022Updated 4 years ago
- Syntactically light-weight call-by-name arguments in PureScript. No guarantees. Completely gratuitous.☆32May 3, 2022Updated 3 years ago
- ☆37Jan 6, 2026Updated last month
- Existential types as a library☆35Nov 16, 2022Updated 3 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 3 years ago
- Provides the region monad for safely opening and working with scarce resources☆33Feb 24, 2015Updated 11 years ago
- Library for dealing with foreign data (JavaScript objects) in PureScript☆64Apr 27, 2022Updated 3 years ago
- ☆38Mar 2, 2024Updated 2 years ago
- Profunctor type classes and data structures☆34Mar 7, 2024Updated last year
- Finite state machines, including Mealy machines, for modeling computations☆37Apr 27, 2022Updated 3 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 4 years ago
- Documentation on the Fantom Lachesis Consensus Algorithm☆10Oct 25, 2018Updated 7 years ago
- ☆12Jul 4, 2024Updated last year
- Export Quiver library to Obsidian compatible markdown☆11Apr 18, 2024Updated last year
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- Concurrently Hot Reload any environments! HTTP reverse proxy with Hot Reload, CORS, cookies, origin, referer and external redirect overri…☆18Mar 5, 2024Updated last year
- Lens toolkit for Swift☆10Dec 23, 2018Updated 7 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- App for integrating Denon DRA-F109 stereo receiver with Raspberry Pi☆10Jun 17, 2022Updated 3 years ago
- Export Quiver library to obsidian compatible markdown☆11Apr 23, 2024Updated last year
- Image tracking by ARKit 2.0☆12Jun 20, 2018Updated 7 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 3 months ago
- Unified parsing and printing for routes in PureScript☆94Jun 15, 2023Updated 2 years ago
- Swift backend for PureScript.☆64Dec 27, 2019Updated 6 years ago
- Competitive programming utilities in Haskell☆42Jan 11, 2026Updated last month
- 二重振り子シミュレーション☆41May 22, 2017Updated 8 years ago
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- rnsh is a command-line utility written in Python that facilitates shell sessions over Reticulum networks and aims to provide a similar ex…☆12Jan 6, 2026Updated last month