Stars
16
Forks
6
Language
PureScript
Last Updated
Mar 31, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Haskell | 11 | Leibnizian type equality | Oct 31, 2021 | |
| F# | 39 | Type equality for F# | Apr 10, 2022 | |
| PHP | 3 | Enforce type constraints | Oct 02, 2022 | |
| Rust | 2 | Type equality in stable Rust. | Nov 02, 2023 | |
| Python | 3 | Sample Average Approximation for Stochastic Programming with Equality Constraints | Mar 16, 2023 | |
| HTML | 169 | Optimal trajectory generation library given equality and inequality constraints (C++/Matlab) | May 05, 2023 | |
| Scala | 254 | Strong type constraints for Scala | May 03, 2023 | |
| PHP | 22 | Enforce type constraints through proxies | Apr 07, 2022 | |
| C++ | 5 | a quadratic programming solver with support for linear equality and inequality constraints | Feb 01, 2021 | |
| Scala | 6 | Demos for type-safe equality with Scala implicits | Jan 28, 2023 | |
| Perl | 4 | Type constraints and coercions for Perl | Jun 11, 2022 | |
| PureScript | 5 | Type equality check returning a Boolean kind. Useful for type-level programming. | Feb 17, 2019 | |
| Perl | 36 | Type constraints based data validator for Perl5 | Jul 18, 2020 | |
| 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 | |
| PureScript | 5 | [WIP] Web-based BMS (Be-Music Source) record player written in PureScript, powered by WAGS and Deku … | Apr 14, 2022 | |
| PureScript | 5 | FreeAp-based schema for sums-of-products data types in PureScript | Oct 12, 2017 | |
| PureScript | 5 | A simple push-pull FRP implementation | May 10, 2022 | |
| PureScript | 5 | Optional values using rows | Mar 23, 2022 | |
| PureScript | 5 | Dependently-typed vectors in purescript | Dec 17, 2021 | |
| PureScript | 5 | Clearnexus Chrome Extension | Feb 06, 2022 | |
| PureScript | 5 | Basic example of a PsKt android app | Mar 10, 2022 | |
| PureScript | 5 | Typelevel Numbers for Purescript | Apr 13, 2021 | |
| PureScript | 5 | Cool query building library for Node-SQLite3 | Mar 25, 2022 | |
| PureScript | 5 | An implementation for working with JS Promises via specifications. For when you want to make … | Dec 22, 2019 | |
| PureScript | 5 | A Purescript etch-a-sketch written with Pux | Sep 25, 2020 | |
| PureScript | 5 | Another wrapper for ECharts using Union to take records of subsets of allowed fields. Based … | Jun 11, 2018 |