Stars
5
Forks
0
Language
PureScript
Last Updated
Oct 12, 2017
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| PureScript | 3 | PureScript data types for ESTree. | Feb 28, 2018 | |
| Haskell | 18 | Extensible sums and products for Haskell | Jan 08, 2023 | |
| PureScript | 9 | Refinement types for PureScript | Jan 31, 2023 | |
| Python | 94 | :dart: Accurate sums and dot products for Python. | Mar 30, 2022 | |
| PureScript | 2 | HTTP method types for PureScript | Jan 28, 2023 | |
| RAML | 5 | AsyncAPI schema parser for RAML data types | Apr 11, 2022 | |
| Haskell | 155 | Generic Programming using True Sums of Products | Mar 24, 2023 | |
| Python | 5 | schema engine & mock data provider for bridged's products | Aug 28, 2021 | |
| JavaScript | 28 | The data (product types, categories, products) for Sunrise | Jul 20, 2022 | |
| C++ | 4 | Fast Heuristic Minimization of Exclusive-Sums-of-Products | Jan 03, 2023 | |
| Rust | 43 | Generate Purescript types from your Rust types. (unmaintained) | Apr 28, 2022 | |
| Python | 2 | Json schema for data types used in ML code | Jul 26, 2023 | |
| PureScript | 23 | Purescript refinement types with runtime checking | Jan 27, 2022 | |
| TypeScript | 6 | Schema native types | Feb 03, 2023 | |
| JavaScript | 5 | Signed and unsigned 64-bit integer types for PureScript | Mar 13, 2023 | |
| Go | 41 | List data structure supporting prefix sums | May 25, 2023 | |
| TypeScript | 11 | Functions to make GraphQL types based on schema-language definitions. | Oct 26, 2022 | |
| PureScript | 2 | Turn your Generics-Rep Sums and Products into lists, because that's cool. | Sep 12, 2019 | |
| PureScript | 4 | Types and helpers for creating and manipulating stylesheets in Purescript | Jul 29, 2019 | |
| Python | 11 | Process data based on JSON schema | Jan 28, 2023 | |
| TypeScript | 780 | A schema-based data mapper for Amazon DynamoDB. | Aug 08, 2022 | |
| TypeScript | 2 | A schema-based data mapper for Amazon DynamoDB. | Aug 29, 2021 | |
| TypeScript | 9 | A schema-based data mapper for Amazon DynamoDB. | Apr 30, 2023 | |
| TypeScript | 4 | core-types ⬌ JSON Schema conversion | Jan 10, 2023 | |
| TypeScript | 2 | Repository with storyblok-schema-types | Dec 15, 2022 | |
| PureScript | 3 | Meaningful titles for tabs and PDF downloads! | Jan 10, 2020 | |
| PureScript | 4 | A simpler way to do basic DOM things | May 12, 2022 | |
| PureScript | 4 | PureScript bindings to Leaflet.js | Jan 05, 2022 | |
| PureScript | 4 | PureScript wrapper library for the Screeps game API (https://screeps.com) | May 13, 2021 | |
| PureScript | 4 | A general-purpose library for LCF+validations refiners | Jan 04, 2016 | |
| PureScript | 4 | Most.js bindings for purescript | Jun 28, 2021 | |
| PureScript | 4 | An Sqlite wrapper for Purescript | Jul 13, 2019 | |
| PureScript | 4 | A web components wrapper for purescript | Apr 01, 2021 | |
| PureScript | 4 | None | Mar 12, 2019 | |
| PureScript | 4 | In a Sentimental Mood by Duke Ellington | Dec 30, 2020 | |
| PureScript | 4 | A three.js port backed by purescript-event | Jul 21, 2022 | |
| PureScript | 4 | Scala-like traits in PureScript | Mar 12, 2021 | |
| PureScript | 4 | let's install everything from spacchetti | Aug 09, 2019 | |
| PureScript | 4 | Example of parsing "enum" style sums using generics with Simple-JSON | Jul 05, 2018 | |
| PureScript | 4 | Experimental fork of Milkis using Bonjiri. | Mar 06, 2021 | |
| PureScript | 4 | An easy way to work with Errors by inserting a Variant, and reading it out … | Nov 26, 2020 | |
| PureScript | 4 | An introduction to Foreign Function Interface with PureScript, using FFI imports to call JS from … | Jun 08, 2019 | |
| PureScript | 4 | A helper library for constraining types to be Elm port-safe and for providing helpers to … | Sep 12, 2019 | |
| PureScript | 4 | Some bindings to work with Redux DevTools. | Nov 20, 2018 | |
| PureScript | 4 | Material for a small introduction including multiple parameter type classes, non-type kinds, and instance chains | Mar 29, 2021 | |
| PureScript | 4 | None | May 19, 2022 | |
| PureScript | 4 | Set of macroses for Buck that brings support of PureScript to this build system | Aug 23, 2022 | |
| PureScript | 4 | The module for my life story project that contains my images of the modern version … | Aug 26, 2022 | |
| PureScript | 4 | The PureScript Programming language IDE submodule for SNU Programming Tools (2D Mode) | Aug 26, 2022 | |
| PureScript | 4 | A grammar and parser for Google-style searches on unstructured or semi-structured data. | Jan 17, 2020 |