solidsnack / pg-sql-variantsLinks
Variants types for PostgreSQL
☆31Updated 5 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
Sorting:
- A UI library based on the incremental lambda calculus☆111Updated 7 years ago
 - Dhall helpers for github actions☆54Updated last year
 - ☆43Updated 4 years ago
 - Infer user interfaces from type signatures☆77Updated 7 years ago
 - PureScript bindings for D3☆86Updated 3 years ago
 - Denotational Design: from programs to meanings☆100Updated 9 years ago
 - SQL parser and type checker in Haskell☆111Updated 4 years ago
 - A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
 - Incremental lambda calculus☆80Updated 6 years ago
 - Js libraries for idris☆49Updated 5 years ago
 - Unison Codebase UI☆46Updated 3 years ago
 - ⚡️ A practical standard library for PureScript.☆47Updated 7 years ago
 - A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
 - PureScript UI framework based on lenses.☆122Updated 9 years ago
 - Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
 - ☆126Updated 9 years ago
 - Compile PureScript into Haskell.☆68Updated 7 years ago
 - Type level natural numbers and booleans☆34Updated 6 years ago
 - What would TEA look like if we had no VDOM?☆69Updated 6 years ago
 - A wrapper for Node's HTTP APIs☆40Updated 2 years ago
 - A remote virtual DOM library for Haskell☆142Updated 11 months ago
 - Low-level PureScript wrappers for React Native☆60Updated 8 years ago
 - Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
 - A simple, flexible and composable web-router☆85Updated 6 years ago
 - Type-safe effectful state machines in Haskell☆96Updated 5 years ago
 - Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
 - ☆70Updated 3 years ago
 - Error/Warning reporting frontend for the PureScript compiler☆91Updated last year
 - μKanren in Elm☆43Updated 8 years ago
 - An HTTP library for idris☆39Updated 6 years ago