☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- ☆12Apr 3, 2018Updated 8 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- 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.
- An IO monad for PureScript.☆44Aug 2, 2018Updated 7 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- ES6 style template strings for Purescript☆27Dec 31, 2022Updated 3 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Random number generation☆15Apr 27, 2022Updated 3 years ago
- Call-by-need values☆30Jul 26, 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- ☆26Oct 3, 2020Updated 5 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Sep 5, 2023Updated 2 years ago
- JavaScript's native date type and corresponding functions.☆15Apr 27, 2022Updated 3 years ago
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 5 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen☆34Jan 6, 2017Updated 9 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Tuple data type and utility functions☆26Sep 17, 2022Updated 3 years ago
- Type declarations for Node's Buffer class☆10Jul 5, 2023Updated 2 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- The Labeled Effects Extension to PureScript☆21Oct 29, 2017Updated 8 years ago
- Long-term projects not covered by other issues lists☆20Feb 17, 2016Updated 10 years ago
- A clean, type-safe routing library for PureScript.☆106May 24, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated 11 months ago
- Mutable value references☆21Apr 27, 2022Updated 3 years ago
- A simple push-pull FRP implementation☆131Nov 9, 2020Updated 5 years ago
- Basic assertions library for low level testing☆16Apr 27, 2022Updated 3 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- applicative opt parsing for node☆31Jun 14, 2021Updated 4 years ago