solidsnack / pg-sql-variants
Variants types for PostgreSQL
☆30Updated 4 years ago
Alternatives and similar repositories for pg-sql-variants:
Users that are interested in pg-sql-variants are comparing it to the libraries listed below
- Dhall helpers for github actions☆54Updated last year
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 7 months ago
- A Purescript implementation of Elm's `core` library☆30Updated 6 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- PureScript bindings for D3☆86Updated 2 years ago
- Haskell JSON schema validator and parser generator☆61Updated 2 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Js libraries for idris☆49Updated 5 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Compile PureScript into Haskell.☆69Updated 7 years ago
- ⚡️ A practical standard library for PureScript.☆47Updated 7 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- An HTTP library for idris☆39Updated 6 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 5 years ago
- ☆24Updated 6 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- String parser combinators for PureScript.☆58Updated 7 years ago
- ☆47Updated 7 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Baresto UI☆39Updated 7 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆104Updated 7 years ago
- ♾️ Sized list☆46Updated 9 months ago
- 💙 Code from the HandyHaskell twitter page☆14Updated 4 years ago
- A simple, flexible and composable web-router☆85Updated 5 years ago