☆20Jan 12, 2019Updated 7 years ago
Alternatives and similar repositories for ble
Users that are interested in ble are comparing it to the libraries listed below
Sorting:
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 6 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Dec 14, 2017Updated 8 years ago
- A library for applying a row of rules for validation to refine a value☆12Jun 20, 2018Updated 7 years ago
- Haskell Makefile parser☆14Nov 14, 2025Updated 3 months ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Aug 17, 2013Updated 12 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Nov 20, 2018Updated 7 years ago
- Our Website☆17Oct 19, 2022Updated 3 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 5 years ago
- Data store(s) for purescript applications. Use your own DSL to update the global state.☆19Oct 7, 2018Updated 7 years ago
- Faster and safer algorithms for string matching with wildcards, globs, and gitignore-style globs☆22Oct 2, 2022Updated 3 years ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 years ago
- Dead simple setup tools for running a Haskell build matrix using stack for several versions.☆23Dec 3, 2017Updated 8 years ago
- ☆19Mar 23, 2017Updated 8 years ago
- An XMPP client library for Haskell.☆53Aug 2, 2021Updated 4 years ago
- high-resolution performance benchmarking☆26Feb 2, 2026Updated last month
- React.js for GHCJS☆26Oct 21, 2016Updated 9 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- DEPRECATED: Haskell Library to deal with resource availability in a Calendar☆24Jul 14, 2023Updated 2 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- Haskell library containing common graph search algorithms☆54Jun 28, 2025Updated 8 months ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago
- ☆28Feb 14, 2018Updated 8 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Apr 25, 2018Updated 7 years ago
- A package to ease the use of org-mode as a notebook☆19Jan 6, 2018Updated 8 years ago
- Anonymous extensible records and variant types☆26Sep 1, 2021Updated 4 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Speculate laws about Haskell functions☆30Jan 30, 2025Updated last year
- On-demand provisioning tool for Hydra☆30Apr 25, 2019Updated 6 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- Compiler for the Rum language☆26Oct 2, 2019Updated 6 years ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- High performance type safe html generation☆128Jul 25, 2022Updated 3 years ago
- ☆39Oct 19, 2017Updated 8 years ago