Experimental polykinds implementation
☆15Aug 22, 2019Updated 6 years ago
Alternatives and similar repositories for polykinds
Users that are interested in polykinds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆21Jun 19, 2019Updated 6 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- Just a little spec(k).☆15May 16, 2022Updated 3 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 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.
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Aug 28, 2022Updated 3 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Kotlin-backend for PureScript☆80Aug 27, 2021Updated 4 years ago
- Reified types for Purescript☆21Aug 23, 2023Updated 2 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Provides a Purescript wrapper around react-testing-library to be used with purescript-react-basic-hooks☆15Jul 18, 2023Updated 2 years ago
- Convenient codegen for PureScript☆32May 2, 2025Updated 10 months ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- ☆14Dec 28, 2020Updated 5 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.
- ☆59Jan 16, 2021Updated 5 years ago
- Search frontend for the documentation generated by the PureScript compiler☆23Aug 16, 2024Updated last year
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- Arbitrary precision numbers for PureScript☆13Sep 17, 2025Updated 6 months ago
- The PureScript Domain offers free vanity URLs for PureScript libraries and community resources.☆13Aug 14, 2024Updated last year
- Highly efficient immutable list powered RRB-trees implementing the Data.Array API☆14Oct 16, 2023Updated 2 years ago
- Fast 🐆, type-safe vectors for Purescript☆25Jan 4, 2026Updated 2 months ago
- ☆23Sep 24, 2021Updated 4 years ago
- ☆15Sep 28, 2022Updated 3 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.
- 📦 PureScript package management with Nix☆11Aug 17, 2019Updated 6 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Oct 12, 2025Updated 5 months ago
- Wasm library for PureScript☆29Aug 2, 2024Updated last year
- Tagless final style interpreter / wrapper for D3 in PureScript, latest of many re-writes☆38Dec 25, 2025Updated 3 months ago
- Extensible checked exceptions with polymorphic variants☆82Mar 7, 2022Updated 4 years ago
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Apr 27, 2022Updated 3 years ago
- Stack-safe recursion schemes on dissectible data structures.☆13May 6, 2022Updated 3 years ago
- Compiler frontend for PureScript in Rust☆79Mar 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.
- Trout and code sharing in PureScript☆23Dec 15, 2019Updated 6 years ago
- A library providing a class for monads which log messages, an associated transformer, and associated data types.☆19Jun 20, 2020Updated 5 years ago
- Portals for Halogen: Render child components anywhere in the DOM☆25Jan 28, 2026Updated last month
- A standard stack for PureScript☆24Jul 5, 2019Updated 6 years ago
- 🍠 A functional 2D game engine that can create emoji games.☆50Jan 6, 2023Updated 3 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 3 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago