georgefst / monpad
A fully-customisable web-based gamepad, designed to be used from smartphones.
☆39Updated last month
Related projects: ⓘ
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 3 years ago
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Automatic type class law checking.☆24Updated 9 months ago
- Web front UI for interactive Haskell projects☆33Updated 4 years ago
- Hackager tool for releasing Haskell packages to Hackage☆29Updated 3 months ago
- Quickcheck Properties for common typeclasses☆34Updated 4 months ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- Overloaded plugin☆31Updated 3 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆38Updated 6 months ago
- ☆30Updated 3 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Omit fields for instance deriving☆37Updated 4 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- Composable Concurrent Computation Done Right☆29Updated last year
- Symbol manipulation☆35Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Automation for releasing haskell packages☆18Updated last year
- reverse dependency build matrix generator☆33Updated 4 years ago
- Literally the best anonymous records☆36Updated last year
- A Typeclass for user-facing output☆53Updated this week
- Guess-A-Number game in Haskell using Polysemy☆28Updated last year
- Library to support efficient compilation of large records (linear in the number of record fields)☆44Updated last month
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- An interface for GHC type-checking plugins☆20Updated last year