FEAT
☆25May 26, 2018Updated 7 years ago
Alternatives and similar repositories for testing-feat
Users that are interested in testing-feat are comparing it to the libraries listed below
Sorting:
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 7 months ago
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Exercises, answers, and hints to go along with the book "Functional Programming in Scala"☆13Jun 23, 2018Updated 7 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated last year
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Jun 4, 2020Updated 5 years ago
- Allows writing protoc plugins (code generators) in Scala and Java☆20Feb 18, 2026Updated last week
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Sep 16, 2015Updated 10 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 9 years ago
- Multihash Haskell implementation☆28May 9, 2023Updated 2 years ago
- Extensible records, variants, structs, effects, tangles☆131Jun 26, 2025Updated 8 months ago
- refine properties for testing Haskell programs☆78Jan 30, 2025Updated last year
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated 2 months ago
- ☆11Sep 19, 2017Updated 8 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- A programming action game.☆13Feb 15, 2024Updated 2 years ago
- enumerative property-based testing for Haskell☆53Aug 7, 2025Updated 6 months ago
- ☆10Mar 15, 2019Updated 6 years ago
- ☆11Dec 23, 2017Updated 8 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago