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
Sorting:
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Exemplary real world application built with PureScript + Payload + PostgreSQL☆20Jun 8, 2021Updated 4 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 2 years ago
- The Effect monad, for handling native side effects☆52Sep 17, 2022Updated 3 years ago
- String utility functions, Char type, regular expressions.☆56Sep 5, 2025Updated 5 months ago
- Computations which can suspend their execution and return control to their invoker☆36Oct 27, 2022Updated 3 years ago
- Array utility functions☆58Feb 15, 2024Updated 2 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- ☆21Jul 1, 2024Updated last year
- ☆14Dec 28, 2020Updated 5 years ago
- Enable string interpolation for PureScript☆18Oct 18, 2022Updated 3 years ago
- A generic non-empty data structure☆17Apr 27, 2022Updated 3 years ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated last month
- Convenient multi-threading on Node with PureScript.☆17Feb 14, 2025Updated last year
- JSON serialization and deserialization with Argonaut.☆47Mar 26, 2025Updated 11 months ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- ☆19Apr 23, 2022Updated 3 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Nov 19, 2025Updated 3 months ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Type level natural numbers and booleans☆34Sep 5, 2019Updated 6 years ago
- An asynchronous AJAX library built using Aff.☆122Apr 28, 2022Updated 3 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 4 years ago
- A no frills CLI argument parser for PureScript.☆20May 3, 2022Updated 3 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- An adequate printer.☆32Jan 25, 2025Updated last year
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- Reified types for Purescript☆21Aug 23, 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 4 years ago
- Global state management for Halogen☆44Jan 28, 2026Updated last month
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Mar 2, 2019Updated 6 years ago
- PureScript packages for Spago and Psc-Package☆193Feb 21, 2026Updated last week
- Purescript server library based on WAI. Inspired by the Haskell version.☆23Mar 8, 2021Updated 4 years ago
- A purescript-spec extension that finds your specs automatically!☆22Feb 10, 2026Updated 2 weeks ago
- A fast, native representation for JSON, with serialization and folding☆48Feb 16, 2024Updated 2 years ago
- A recursion scheme library for Idris.☆25Feb 13, 2026Updated 2 weeks ago
- Utilities for creating and transforming push-based subscriptions.☆14Oct 6, 2024Updated last year