Leibniz Equality
☆19Jun 7, 2018Updated 7 years ago
Alternatives and similar repositories for purescript-leibniz
Users that are interested in purescript-leibniz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 3, 2020Updated 5 years ago
- Existential types as a library☆35Nov 16, 2022Updated 3 years ago
- An IO monad for PureScript.☆44Aug 2, 2018Updated 7 years ago
- ES6 style template strings for Purescript☆27Dec 31, 2022Updated 3 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 9 years ago
- A combinator library for generating markup☆91Aug 29, 2021Updated 4 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- An asynchronous unit test runner for PureScript☆90Sep 3, 2022Updated 3 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 4 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.
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 4 years ago
- A type-safe parser, printer, and ADT for URLs and URIs.☆26Apr 28, 2022Updated 4 years ago
- Work in progress pure python dhall interpreter☆27Dec 23, 2018Updated 7 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Error/Warning reporting frontend for the PureScript compiler☆92Jul 13, 2024Updated last year
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Sep 27, 2015Updated 10 years ago
- An extensible-effects implementation☆160May 2, 2022Updated 4 years ago
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Purescript Regular expressions made easy☆24Nov 9, 2018Updated 7 years ago
- PureScript packages for Spago and Psc-Package☆193May 18, 2026Updated last week
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Mar 30, 2018Updated 8 years ago
- A simple push-pull FRP implementation☆131Nov 9, 2020Updated 5 years ago
- A web audio player demo using Halogen for skipping in different increments☆20Jun 20, 2018Updated 7 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 8 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Mar 2, 2019Updated 7 years ago
- Maps and folds for heterogeneous data types.☆62Jun 21, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15Jun 24, 2018Updated 7 years ago
- Helper functions for creating coroutines with the Aff monad☆24Apr 28, 2022Updated 4 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- A PureScript interface to Selenium's Node Webdriver.☆18Jun 26, 2018Updated 7 years ago
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- Various efficient-ish sequence types for PureScript.☆47Mar 17, 2024Updated 2 years ago