Asteroids for a web browser, in PureScript
☆44Sep 4, 2014Updated 11 years ago
Alternatives and similar repositories for purescript-asteroids
Users that are interested in purescript-asteroids are comparing it to the libraries listed below
Sorting:
- A PureScript wrapper around the HTML5 Web Audio API☆24Dec 8, 2018Updated 7 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- DEPRECATED - Editor Support for the PureScript programming language☆61Mar 5, 2016Updated 9 years ago
- ☆38Oct 3, 2020Updated 5 years ago
- PureScript React Native TodoMVC example app☆27Sep 23, 2016Updated 9 years ago
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- A data structure for drawings☆46Dec 11, 2018Updated 7 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Convert, manipulate, analyze, blend, color scales, color schemes☆44Apr 27, 2022Updated 3 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- ☆46Jul 2, 2016Updated 9 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- ☆12Aug 8, 2016Updated 9 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- Fast replacements for some common functions on linked lists☆13Dec 14, 2017Updated 8 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- A package for making 3D games and apps in Elm☆12Sep 13, 2024Updated last year
- A clean, type-safe library for describing, manipulating and rendering CSS☆108Jul 25, 2023Updated 2 years ago
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Oct 6, 2017Updated 8 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- ☆11Jun 11, 2016Updated 9 years ago
- A partial clone of 2D Star Dodge☆26Aug 19, 2015Updated 10 years ago
- Profunctor type classes and data structures☆34Mar 7, 2024Updated last year
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- ☆44Jun 19, 2017Updated 8 years ago
- ☆21Jul 1, 2024Updated last year
- A simple pushstate router, with support for async routing logic. Bring your preferred parser, printer and state management.☆15Feb 4, 2023Updated 3 years ago
- Elm style FRP library for PureScript☆260Apr 30, 2022Updated 3 years ago
- A definition and reference implementation for MRA in PureScript.☆17Aug 11, 2017Updated 8 years ago
- Observatory Control Software☆16Feb 6, 2026Updated 3 weeks ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Apr 27, 2022Updated 3 years ago
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- ☆12Nov 4, 2015Updated 10 years ago