bodil / purescript-typelevel
Type level natural numbers and booleans
☆33Updated 5 years ago
Related projects: ⓘ
- Safe printf-like formatting in purescript☆36Updated 4 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- More efficient data fetching using deduplication, batching, and caching.☆46Updated 5 years ago
- applicative opt parsing for node☆31Updated 3 years ago
- ☆24Updated 6 years ago
- A web audio player demo using Halogen for skipping in different increments☆21Updated 6 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 7 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 2 years ago
- Access JS webstorage (local & session) in a typesafe and convenient way☆28Updated 6 years ago
- Type-Level Routing for PureScript☆41Updated 4 years ago
- ☆58Updated 3 years ago
- A concrete-syntax tree and parser for the PureScript language☆40Updated 5 years ago
- A utility library for the purescript foreign function interface☆21Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Purescript refinement types with runtime checking☆26Updated 2 years ago
- Basic Solitaire game in PureScript, with both web and terminal UIs☆20Updated 4 years ago
- An IO monad for PureScript.☆44Updated 6 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 6 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 3 years ago
- Purescript Regular expressions made easy