☆12Oct 3, 2020Updated 5 years ago
Alternatives and similar repositories for purescript-symbols
Users that are interested in purescript-symbols are comparing it to the libraries listed below
Sorting:
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- An IO monad for PureScript.☆44Aug 2, 2018Updated 7 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- ES6 style template strings for Purescript☆27Dec 31, 2022Updated 3 years ago
- Random number generation☆15Apr 27, 2022Updated 3 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆32Apr 25, 2017Updated 8 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 4 years ago
- Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen☆34Jan 6, 2017Updated 9 years ago
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- ☆26Oct 3, 2020Updated 5 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 8 years ago
- Tuple data type and utility functions☆26Sep 17, 2022Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Long-term projects not covered by other issues lists☆20Feb 17, 2016Updated 10 years ago
- Mutable value references☆21Apr 27, 2022Updated 3 years ago
- Monad and comonad transformers☆71Jul 10, 2024Updated last year
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- A simple push-pull FRP implementation☆131Nov 9, 2020Updated 5 years ago
- A clean, type-safe routing library for PureScript.☆105May 24, 2022Updated 3 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- A Game of Life written in Purescript using Rx and React/canvas/console UIs.☆10Dec 9, 2016Updated 9 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- applicative opt parsing for node☆31Jun 14, 2021Updated 4 years ago