keera-studios / keera-posture
Alleviate your back pain using Haskell and a webcam
☆50Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for keera-posture
- A hip inductive theorem prover!☆88Updated 2 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- coveralls.io support for haskell code coverage with hpc☆60Updated last year
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 7 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- A typeclass-based Prelude.☆108Updated 8 years ago
- Unicode alternatives for common functions and operators☆36Updated 2 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Haskell tool to generate expressions from types☆101Updated 7 years ago
- Catchy combinators for HUnit☆34Updated last year
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- Simple lambda prover☆24Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Updated last year
- ☆34Updated 8 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated last year
- A dependency manager for Haskell☆97Updated 2 years ago
- Golden test support for Tasty☆37Updated 3 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆102Updated last week
- Open records for Haskell☆22Updated 7 years ago
- An implementation of miniKanren in Haskell☆76Updated 11 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- Create command line interfaces with ease☆41Updated last year