plow-technologies / ble
☆19Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for ble
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 3 months ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Overloaded plugin☆31Updated 4 months ago
- An efficient finite map from (byte)strings to values.☆19Updated last week
- Keep your laziness in check!☆32Updated 2 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Experimental implementation of generic record subtyping☆18Updated 6 months ago
- Automation for releasing haskell packages☆18Updated last year
- CLI tool for Hackage☆26Updated 4 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Symbol manipulation☆36Updated last year
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- van Laarhoven Free Monad with Extensible Effects☆24Updated 8 years ago
- Mark test cases as expected-failure☆22Updated 3 years ago
- high-resolution performance benchmarking☆25Updated 3 weeks ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text☆21Updated 5 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- ☆45Updated 2 years ago
- Haskus packages☆24Updated 2 weeks ago
- Stackage overlay for Nixpkgs☆25Updated 4 years ago
- GHC prof manipulation script☆30Updated 9 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- GHC plugin for open telemetry☆24Updated 3 weeks ago