natefaubion / polykindsView external linksLinks
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
Sorting:
- ☆21Jun 19, 2019Updated 6 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- Just a little spec(k).☆15May 16, 2022Updated 3 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 2022Updated 3 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- Reified types for Purescript☆21Aug 23, 2023Updated 2 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- Highly efficient immutable list powered RRB-trees implementing the Data.Array API