solidsnack / pg-sql-variants
Variants types for PostgreSQL
☆30Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pg-sql-variants
- Js libraries for idris☆49Updated 4 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- PureScript bindings for D3☆87Updated 2 years ago
- Write PostgreSQL functions in Haskell☆54Updated 10 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 3 years ago
- An HTTP library for idris☆40Updated 5 years ago
- Dhall helpers for github actions☆55Updated last year
- Infer user interfaces from type signatures☆78Updated 6 years ago
- Haskell JSON schema validator and parser generator☆60Updated last year
- Incremental lambda calculus☆81Updated 5 years ago
- What would TEA look like if we had no VDOM?☆68Updated 5 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Auto reloading PureScript compiler☆28Updated 6 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Baresto UI☆39Updated 7 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆38Updated last year
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 7 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- Idris Todo web application example☆42Updated last year
- Haskell library for simple, concise and fast generic operations.☆76Updated last year
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 4 months ago
- ⚡️ A practical standard library for PureScript.☆47Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago