kRITZCREEK / FROST-FrontendView external linksLinks
Reactive Programming with PureScript and React
☆31Aug 27, 2015Updated 10 years ago
Alternatives and similar repositories for FROST-Frontend
Users that are interested in FROST-Frontend are comparing it to the libraries listed below
Sorting:
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- QuickLift frontend in PureScript☆15Mar 25, 2016Updated 9 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- DynamicJavaScriptRunTimes.NET is a layer above, the Noesis JavaScript.NET run-time and the Jurassic JavaScript run-time that provide acce…☆14Jul 16, 2011Updated 14 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Cross Platform Haskell console application that should work on iOS and Android☆39Oct 14, 2015Updated 10 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Tuple data type and utility functions☆26Sep 17, 2022Updated 3 years ago
- Monad and comonad transformers☆71Jul 10, 2024Updated last year
- DEPRECATED - Editor Support for the PureScript programming language☆61Mar 5, 2016Updated 9 years ago
- Arbitrary length integers for PureScript☆26Mar 22, 2023Updated 2 years ago
- PureScript implementation of lens☆78Oct 3, 2020Updated 5 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- ☆13Oct 27, 2015Updated 10 years ago
- Cryptography that's easy to digest (NaCl/libsodium bindings)☆63Feb 23, 2025Updated 11 months ago
- Simple terminal string styling in Haskell.☆12Sep 14, 2016Updated 9 years ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 8 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 10 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 8 years ago
- bindings for virtual-dom☆34Jun 29, 2017Updated 8 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- ☆12Dec 28, 2020Updated 5 years ago
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated 10 months ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- Haskell module for working with genetic algorithms☆18Nov 10, 2011Updated 14 years ago
- ☆13Sep 22, 2015Updated 10 years ago
- ☆15Jan 26, 2018Updated 8 years ago
- ☆51Oct 2, 2015Updated 10 years ago
- Node.js file I/O for purescript☆34Jun 23, 2024Updated last year
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- A simple push-pull FRP implementation☆131Nov 9, 2020Updated 5 years ago
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- Push-pull Signal Function FRP☆16May 27, 2017Updated 8 years ago