paf31 / dovetail
A PureScript interpreter in Haskell
☆119Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for dovetail
- Kotlin-backend for PureScript☆81Updated 3 years ago
- Documentation for Concur☆66Updated 5 months ago
- ☆59Updated 3 years ago
- ☆92Updated 7 months ago
- ☆59Updated 3 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- Polymorphic variants for PureScript☆132Updated last year
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆82Updated 3 years ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Maps and folds for heterogeneous data types.☆55Updated 2 years ago
- Unified parsing and printing for routes in PureScript☆91Updated last year
- Create PureScript datatypes from Haskell datatypes☆110Updated 4 months ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆105Updated 2 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Measure allocations of a Haskell functions/values☆93Updated 2 weeks ago
- Fast and concise extensible effects☆105Updated last year
- Generate TypeScript definition files from your ADTs☆60Updated 2 weeks ago
- Extensible checked exceptions with polymorphic variants☆81Updated 2 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Comma (and other) separated values☆76Updated last year
- Higher-kinded data via generics☆170Updated 3 months ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago
- A simple Purescript JSON library that uses types automatically☆134Updated last year
- A type-safe, high-level SQL library for PureScript☆90Updated last year
- Stream editing with Haskell Megaparsec parsers☆79Updated 5 months ago
- A work stealing scheduler☆77Updated last year
- A preprocessor for a Haskell record syntax using dot☆129Updated 10 months ago
- Standard containers, with keys that carry type-level proofs of their own presence.