owickstrom / motor
Type-safe effectful state machines in Haskell
☆95Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for motor
- Documentation for Concur☆66Updated 5 months ago
- High performance type safe html generation☆126Updated 2 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- A work stealing scheduler☆77Updated last year
- Benchmarks to compare Haskell streaming library performance☆102Updated last week
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 4 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 4 years ago
- Higher-kinded data via generics☆170Updated 3 months ago
- A simple Idris program to blink the LED on an Arduino☆56Updated 3 years ago
- Create PureScript datatypes from Haskell datatypes☆110Updated 4 months ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- A web framework that integrates Servant, EKG, fast-logger, wai-cli… | now on https://codeberg.org/valpackett/magicbane☆119Updated 2 years ago
- Measure allocations of a Haskell functions/values☆93Updated 3 weeks ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago
- JavaScript interface that works with GHCJS or GHC☆118Updated 3 weeks ago
- Haskell library for simple, concise and fast generic operations.☆76Updated last year
- Monad Transformers and Classes☆78Updated 5 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Extensional capabilities and deriving combinators☆213Updated 4 months ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- a GHC.Generics-based entity component system☆78Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆104Updated 6 years ago