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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- A combinator library for generating markup☆90Aug 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 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- A type-safe parser, printer, and ADT for URLs and URIs.☆26Apr 28, 2022Updated 3 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 3 years ago
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Purescript Regular expressions made easy☆24Nov 9, 2018Updated 7 years ago
- PureScript packages for Spago and Psc-Package☆193Updated this week
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Mar 30, 2018Updated 7 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 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆15Jun 24, 2018Updated 7 years ago
- Helper functions for creating coroutines with the Aff monad☆24Apr 28, 2022Updated 3 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 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
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago