natefaubion / purescript-typelevel-evalLinks
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
Sorting:
- Maps and folds for heterogeneous data types.☆56Updated 3 years ago
- ☆58Updated 4 years ago
- Kotlin-backend for PureScript☆80Updated 3 years ago
- ☆36Updated last year
- Lambda calculus at the type level.☆20Updated 7 years ago
- A Purescript data type for untagged unions☆48Updated 2 years ago
- Global state management for Halogen☆44Updated 2 years ago
- Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.☆43Updated last year
- applicative opt parsing for node☆31Updated 4 years ago
- A concrete-syntax tree and parser for the PureScript language☆41Updated 6 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Updated 3 years ago
- PureScript CST Parser written in PureScript☆51Updated 3 weeks ago
- An adequate printer.☆30Updated 4 months ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- A binding to puppeteer to drive headless Chrome.☆51Updated 3 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Syntactically light-weight call-by-name arguments in PureScript. No guarantees. Completely gratuitous.☆30Updated 3 years ago
- Functions for working with records and polymorphic labels☆68Updated last year
- Straightforward benchmarking for PureScript/JavaScript.☆31Updated last year
- Fast 🐆, type-safe vectors for Purescript☆25Updated last year
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- Extra functions for working with Records☆30Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- ☆38Updated last year
- The Event type, extracted from purescript-behaviors☆22Updated 4 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- A Bash backend for PureScript☆20Updated 2 years ago
- Reified types for Purescript☆21Updated last year
- ☆19Updated 3 years ago