solidsnack / pg-sql-variants
Variants types for PostgreSQL
☆30Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pg-sql-variants
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- PureScript bindings for D3☆87Updated 2 years ago
- Js libraries for idris☆49Updated 4 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- What would TEA look like if we had no VDOM?☆68Updated 5 years ago
- An HTTP library for idris☆40Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Write PostgreSQL functions in Haskell☆54Updated 10 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 5 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 3 months ago
- Helpers for incremental operations on map like data structures.☆25Updated last month
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 6 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 3 years ago
- Baresto UI☆39Updated 7 years ago
- Dhall helpers for github actions☆55Updated last year
- Reproducible builds for PureScript☆73Updated 6 years ago
- Various efficient-ish sequence types for PureScript.☆45Updated 7 months ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Polymorphic variants for PureScript☆132Updated last year
- String parser combinators for PureScript.☆57Updated 7 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- Auto reloading PureScript compiler☆28Updated 6 years ago