Existential types as a library
☆35Nov 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☆20Nov 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☆14Aug 15, 2024Updated last year
- A Purescript data type for untagged unions☆51Dec 10, 2022Updated 3 years ago
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 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.☆20May 6, 2022Updated 4 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Sep 23, 2023Updated 2 years ago
- Type-safe slugs for PureScript☆17Feb 1, 2026Updated 5 months ago
- Type class and functions for working with newtypes☆16Sep 3, 2022Updated 3 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 2 years ago
- ☆17Mar 3, 2026Updated 4 months ago
- The ST effect, for safe local mutation☆26Oct 1, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Type equality constraints☆16Apr 27, 2022Updated 4 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Aug 24, 2023Updated 2 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Leibniz Equality☆19Jun 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.☆20Sep 24, 2024Updated last year
- Type-directed environment parsing☆20Nov 27, 2023Updated 2 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Aug 28, 2022Updated 3 years ago
- Random number generation☆15Apr 27, 2022Updated 4 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.
- PureScript wrapper around GitHub's Actions Toolkit☆25Apr 2, 2024Updated 2 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☆15May 27, 2026Updated last month
- ☆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☆37Apr 27, 2022Updated 4 years ago
- Registry of PureScript packages and metadata about them☆52Updated this week
- 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.
- Taking yet another run at this problem - usable DSL with maximum expressivity is the goal.☆15Mar 20, 2021Updated 5 years ago
- [WIP] PureScript bindings for Playwright☆19Jul 17, 2024Updated 2 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- Contravariant functors☆11Oct 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 2 years ago