Idris style sized vectors in PureScript
☆18Jan 5, 2021Updated 5 years ago
Alternatives and similar repositories for purescript-sized-vectors
Users that are interested in purescript-sized-vectors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Exemplary real world application built with PureScript + Payload + PostgreSQL☆20Jun 8, 2021Updated 4 years ago
- ☆21Jul 1, 2024Updated last year
- The Effect monad, for handling native side effects☆52Sep 17, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆14Dec 28, 2020Updated 5 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- Computations which can suspend their execution and return control to their invoker☆36Oct 27, 2022Updated 3 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 2 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Nov 19, 2025Updated 4 months ago
- Enable string interpolation for PureScript☆18Oct 18, 2022Updated 3 years ago
- Array utility functions☆58Feb 15, 2024Updated 2 years ago
- Convenient multi-threading on Node with PureScript.☆17Feb 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A generic non-empty data structure☆17Apr 27, 2022Updated 3 years ago
- A no frills CLI argument parser for PureScript.☆20May 3, 2022Updated 3 years ago
- String utility functions, Char type, regular expressions.☆56Sep 5, 2025Updated 7 months ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Mar 2, 2019Updated 7 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- JSON serialization and deserialization with Argonaut.☆47Mar 26, 2025Updated last year
- Type level natural numbers and booleans☆34Sep 5, 2019Updated 6 years ago
- An adequate printer.☆32Jan 25, 2025Updated last year
- Reified types for Purescript☆21Aug 23, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- ☆19Apr 23, 2022Updated 3 years ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated 2 months ago
- A purescript-spec extension that finds your specs automatically!☆22Feb 10, 2026Updated 2 months ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- Stack-safe recursion schemes on dissectible data structures.☆13May 6, 2022Updated 3 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 5 years ago
- An asynchronous AJAX library built using Aff.☆122Apr 28, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- Swerve is a library that offers a type-level DSL for describing server and client web applications. Inspired by Haskell's Servant library…☆21Mar 14, 2021Updated 5 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- Applicative option parser☆42Dec 22, 2023Updated 2 years ago