plow-technologies / bleLinks
☆20Updated 6 years ago
Alternatives and similar repositories for ble
Users that are interested in ble are comparing it to the libraries listed below
Sorting:
- ☆30Updated 4 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- Socket activation and other systemd integration for the Warp web server (WAI)☆21Updated last week
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 8 months ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- GHC prof manipulation script☆32Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆41Updated 5 months ago
- Comma (and other) separated values☆78Updated last year
- reverse dependency build matrix generator☆33Updated 4 years ago
- Real World Reflex Presentation☆25Updated 7 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 6 months ago
- Compare the public API of different versions of a Hackage library☆63Updated 7 years ago
- Example how to link Haskell programs very quickly with lld☆48Updated 8 years ago
- Fuzzy string search in Haskell☆14Updated last year
- Keep your laziness in check!☆33Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Updated 3 months ago
- Haskell package for handling various feed (RSS) formats.☆31Updated last year
- Overloaded plugin☆30Updated last year
- a modern library for typed path manipulation in Haskell☆36Updated 2 weeks ago
- Clean up the formatting of 'show' output☆21Updated 3 months ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- Haskell project statistics and definition analysis☆15Updated 2 years ago
- UI experiments for coda☆67Updated 3 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Updated 8 years ago