☆12Oct 3, 2020Updated 6 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☆20Jun 7, 2018Updated 8 years ago
- Type equality constraints☆16Oct 17, 2026Updated last week
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Oct 11, 2026Updated 2 weeks ago
- An IO monad for PureScript.☆44Aug 2, 2018Updated 8 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Oct 11, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- ☆12Apr 3, 2018Updated 8 years ago
- Computations which can suspend their execution and return control to their invoker☆36Oct 11, 2026Updated 2 weeks ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- The Labeled Effects Extension to PureScript☆21Oct 29, 2017Updated 9 years ago
- ES6 style template strings for Purescript☆27Dec 31, 2022Updated 3 years ago
- Call-by-need values☆30Oct 18, 2026Updated last week
- Random number generation☆15Oct 18, 2026Updated last week
- Exception effects☆16Oct 18, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Helper functions for creating coroutines with the Aff monad☆24Oct 11, 2026Updated 2 weeks ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 9 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆32Apr 25, 2017Updated 9 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 8 years ago
- Applicative-style validation☆45Oct 18, 2026Updated last week
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- ☆26Oct 3, 2020Updated 6 years ago
- JavaScript's native date type and corresponding functions.☆15Oct 10, 2026Updated 2 weeks 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.
- Values with two possibilities☆27Oct 18, 2026Updated last week
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Oct 22, 2026Updated last week
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 10 years ago
- Free monad transformers☆20Oct 11, 2026Updated 2 weeks ago
- Tuple data type and utility functions☆26Oct 17, 2026Updated last week
- Identity value☆10Oct 17, 2026Updated last week
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen☆34Jan 6, 2017Updated 9 years ago
- Bifunctors and biapplicatives☆12Oct 18, 2026Updated last week
- 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.
- Type declarations for Node's Buffer class☆10Oct 22, 2026Updated last week
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 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.☆107Oct 11, 2026Updated 2 weeks ago
- Mutable value references☆21Oct 17, 2026Updated last week
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 5 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago