Types and kinds for basic type-level programming
☆65Oct 18, 2026Updated last week
Alternatives and similar repositories for purescript-typelevel-prelude
Users that are interested in purescript-typelevel-prelude are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functions for working with records and polymorphic labels☆68Oct 18, 2026Updated last week
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆97Oct 22, 2026Updated last week
- Optional values☆18Oct 17, 2026Updated last week
- Contravariant functors☆12Oct 17, 2026Updated last week
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A huge number library for Purescript with emphasis on correctness.☆12Oct 11, 2026Updated 2 weeks ago
- A wrapper for Node's Stream API☆19Updated this week
- Pure profunctor lenses☆148Oct 11, 2026Updated 2 weeks ago
- Values with two possibilities☆27Oct 18, 2026Updated last week
- Formatting and printing for numeric and date/time/interval values☆41Oct 11, 2026Updated 2 weeks ago
- Exception effects☆16Oct 18, 2026Updated last week
- Array utility functions☆58Oct 18, 2026Updated last week
- A type class which captures stack-safe monadic tail recursion☆39Oct 18, 2026Updated last week
- String utility functions, Char type, regular expressions.☆57Oct 18, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Classes for foldable and traversable data structures☆51Oct 18, 2026Updated last week
- Profunctor type classes and data structures☆34Oct 18, 2026Updated last week
- Types and functions for dealing with JavaScript options objects☆20Oct 11, 2026Updated 2 weeks ago
- Polymorphic variants for PureScript☆136Jun 28, 2023Updated 3 years ago
- Identity value☆10Oct 17, 2026Updated last week
- Computations which can suspend their execution and return control to their invoker☆36Oct 11, 2026Updated 2 weeks ago
- Functions for working with homogeneous JavaScript objects☆28Oct 18, 2026Updated last week
- Call-by-need values☆30Oct 18, 2026Updated last week
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Oct 11, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆21Feb 27, 2023Updated 3 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Oct 18, 2026Updated last week
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Monad and comonad transformers☆72Oct 18, 2026Updated last week
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Mar 4, 2021Updated 5 years ago
- A generic non-empty data structure☆17Oct 18, 2026Updated last week
- An adapter between the purescript-halogen and purescript-css libraries.☆24Oct 11, 2026Updated 2 weeks ago
- Unfoldable functors☆16Oct 18, 2026Updated last week
- ☆38Oct 3, 2020Updated 6 years ago
- 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.
- A clean, type-safe library for describing, manipulating and rendering CSS☆108Oct 11, 2026Updated 2 weeks ago
- ☆12Apr 3, 2018Updated 8 years ago
- Functions and bitwise operators for the Int numeric type☆19Oct 18, 2026Updated last week
- A parsing library specialized to handling strings☆45Oct 11, 2026Updated 2 weeks ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated 9 months ago
- A very simple library for dealing with nulls in foreign libraries☆23Oct 10, 2026Updated 2 weeks ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Oct 11, 2026Updated 2 weeks ago