natefaubion / purescript-typelevel-eval
Higher order functional programming in PureScript's type system
☆43Updated 3 years ago
Alternatives and similar repositories for purescript-typelevel-eval:
Users that are interested in purescript-typelevel-eval are comparing it to the libraries listed below
- Maps and folds for heterogeneous data types.☆56Updated 2 years ago
- ☆59Updated 4 years ago
- Syntactically light-weight call-by-name arguments in PureScript. No guarantees. Completely gratuitous.☆30Updated 2 years ago
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Updated 4 years ago
- Kotlin-backend for PureScript☆81Updated 3 years ago
- ☆36Updated last year
- A Purescript data type for untagged unions☆49Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆32Updated last year
- Fast 🐆, type-safe vectors for Purescript☆25Updated last year
- PureScript CST Parser written in PureScript☆49Updated last month
- An adequate printer.☆30Updated 3 weeks ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Search frontend for the documentation generated by the PureScript compiler☆23Updated 6 months ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- An unofficial FAQ for the PureScript language☆33Updated 3 years ago
- Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.☆43Updated 7 months ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- ☆38Updated 11 months ago
- Bi-directional JSON codecs for argonaut☆38Updated last week
- Extra functions for working with Records☆30Updated 2 years ago
- Safe printf-like formatting in purescript☆37Updated 5 years ago
- applicative opt parsing for node☆31Updated 3 years ago
- A binding to puppeteer to drive headless Chrome.☆52Updated 2 years ago
- The Event type, extracted from purescript-behaviors☆23Updated 4 years ago
- ☆17Updated last year
- Generic encoding and decoding functions for data types with a Generic.Rep instance☆22Updated 2 years ago
- ☆59Updated 4 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Quick scaffolding for Halogen's HTML DSL☆36Updated 3 years ago