Incremental lambda calculus
☆80Jun 5, 2019Updated 6 years ago
Alternatives and similar repositories for purescript-incremental-functions
Users that are interested in purescript-incremental-functions are comparing it to the libraries listed below
Sorting:
- A UI library based on the incremental lambda calculus☆111Jul 11, 2018Updated 7 years ago
- What would TEA look like if we had no VDOM?☆69Jan 21, 2019Updated 7 years ago
- Polymorphic variants for PureScript☆133Jun 28, 2023Updated 2 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 8 years ago
- An extensible-effects implementation☆160May 2, 2022Updated 3 years ago
- Experimental continuous Behaviors for most.js☆32Dec 30, 2019Updated 6 years ago
- Types and kinds for basic type-level programming☆65Sep 28, 2024Updated last year
- Highly efficient immutable list powered RRB-trees implementing the Data.Array API☆14Oct 16, 2023Updated 2 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- Extensible checked exceptions with polymorphic variants☆82Mar 7, 2022Updated 3 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Dec 22, 2017Updated 8 years ago
- Experiments with comonads for modelling React UIs☆91Jun 16, 2018Updated 7 years ago
- Adapter between purescript-spec and purescript-quickcheck☆13Jul 20, 2024Updated last year
- ☆14Dec 28, 2020Updated 5 years ago
- A simple push-pull FRP implementation☆131Nov 9, 2020Updated 5 years ago
- An experiment in replacing the virtual DOM and avoiding diffing☆161Jun 24, 2018Updated 7 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- C backend for PureScript☆236Feb 27, 2021Updated 5 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Sep 23, 2023Updated 2 years ago
- Type level natural numbers and booleans☆34Sep 5, 2019Updated 6 years ago
- You're probably looking for https://github.com/briancavalier/most-behave instead☆11Jul 19, 2018Updated 7 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Classes for filterable and witherable data structures☆24Apr 27, 2022Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Apr 27, 2022Updated 3 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Experimental polykinds implementation☆15Aug 22, 2019Updated 6 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- ☆12Aug 8, 2016Updated 9 years ago
- Purescript refinement types with runtime checking☆25Sep 17, 2022Updated 3 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Mar 2, 2019Updated 6 years ago
- ☆17Mar 1, 2023Updated 3 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- ES7 Observables for PureScript☆29Mar 9, 2017Updated 8 years ago