Existential types as a library
☆36Nov 16, 2022Updated 3 years ago
Alternatives and similar repositories for purescript-exists
Users that are interested in purescript-exists are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Let's build a highly opinionated but fully-featured web framework in PureScript☆21Nov 10, 2021Updated 4 years ago
- Validating an email address string against RFC 5322☆17Mar 4, 2023Updated 3 years ago
- Retry combinators for monadic Aff actions that may fail☆15Aug 15, 2024Updated 2 years ago
- A Purescript data type for untagged unions☆52Dec 10, 2022Updated 3 years ago
- Low-level bindings to WebGPU☆16Aug 4, 2023Updated 3 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.
- Dissectible data structures for implementing iterative traversals.☆21May 6, 2022Updated 4 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Sep 23, 2023Updated 3 years ago
- Type-safe slugs for PureScript☆17Feb 1, 2026Updated 8 months ago
- Type class and functions for working with newtypes☆16Sep 3, 2022Updated 4 years ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 4 years ago
- Classes for foldable and traversable data structures☆51Oct 9, 2023Updated 3 years ago
- ☆18Sep 27, 2026Updated last week
- The ST effect, for safe local mutation☆26Oct 1, 2022Updated 4 years ago
- AI Agents on 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 4 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Aug 24, 2023Updated 3 years ago
- Call-by-need values☆30Jul 26, 2022Updated 4 years ago
- Leibniz Equality☆20Jun 7, 2018Updated 8 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆22Sep 24, 2024Updated 2 years ago
- Type-directed environment parsing☆20Nov 27, 2023Updated 2 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Aug 28, 2022Updated 4 years ago
- PureScript wrapper around GitHub's Actions Toolkit☆25Apr 2, 2024Updated 2 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.
- Random number generation☆15Apr 27, 2022Updated 4 years ago
- Functor products, coproducts, and composition☆14Apr 27, 2022Updated 4 years ago
- Classes for filterable and witherable data structures☆24Apr 27, 2022Updated 4 years ago
- Convenient codegen for PureScript☆33May 2, 2025Updated last year
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆16Sep 12, 2026Updated 3 weeks ago
- ☆17Mar 1, 2023Updated 3 years ago
- Functions for working with records and polymorphic labels☆68Jan 6, 2024Updated 2 years ago
- Finite state machines, including Mealy machines, for modeling computations☆38Apr 27, 2022Updated 4 years ago
- Registry of PureScript packages and metadata about them☆54Updated this week
- 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.
- Taking yet another run at this problem - usable DSL with maximum expressivity is the goal.☆15Mar 20, 2021Updated 5 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 3 years ago
- [WIP] PureScript bindings for Playwright☆19Jul 17, 2024Updated 2 years ago
- Contravariant functors☆12Oct 27, 2022Updated 3 years ago
- ☆14Dec 28, 2020Updated 5 years ago
- Basic Purescript wrapper for node-sqlite3☆14May 14, 2022Updated 4 years ago
- Type Level Regular Expressions☆13Sep 26, 2023Updated 3 years ago