ChrisPenner / conway
Conway's game of life in 100 lines or less!
☆34Updated 7 years ago
Related projects: ⓘ
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Symbol manipulation☆35Updated last year
- Classy error-handling (and dispatching!) in Haskell.☆48Updated 5 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Color highlighting for Haskell profiling information☆40Updated 2 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- ☆29Updated 4 years ago
- Relational algebra☆25Updated 7 years ago
- Verified left pad☆19Updated 6 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- rewrite rules for type-level equalities☆61Updated 5 months ago
- tools for writing better type errors☆73Updated last year
- an applicative functor that seamlessly talks to HTML inputs☆73Updated 5 years ago
- OTP-like supervision trees in Haskell☆63Updated 5 years ago
- ZuriHac registration system☆22Updated 3 months ago
- ☆33Updated this week
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Simple typesafe routing☆44Updated 2 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- Haskell simulations of spacecraft manoeuvres☆18Updated 4 years ago
- A convenient DSL for describing web routes☆43Updated 3 years ago
- An experiment in functional interface design☆23Updated 7 years ago
- Kleene algebra, regular expressions☆32Updated 10 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- ☆40Updated 4 months ago
- Implementation of named parameters for `postgresql-simple` library☆37Updated 5 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- An example of reflex-dom built by Stack☆23Updated 8 years ago
- Comma (and other) separated values☆77Updated 10 months ago