Integrates QuickChecked properties into the type system with phantom types
☆34Aug 7, 2016Updated 9 years ago
Alternatives and similar repositories for phantheck
Users that are interested in phantheck are comparing it to the libraries listed below
Sorting:
- ☆25Aug 10, 2016Updated 9 years ago
- A very efficient ByteString builder implementation based on the binary tree☆20Feb 3, 2025Updated last year
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- Haskell suite library for name resolution☆53Apr 9, 2025Updated 10 months ago
- A faster date and time library based on time☆47Jan 16, 2026Updated last month
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 2 years ago
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 2 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- Quiver stream processing library☆15Oct 6, 2016Updated 9 years ago
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- A contention-free STM hash map for Haskell☆14Oct 30, 2021Updated 4 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- A more progressive alternative to the "base" package☆27Jan 28, 2026Updated last month
- Sample SPOCK + GHCJS app☆23Dec 18, 2016Updated 9 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Oct 1, 2025Updated 5 months ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated last year
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Jan 14, 2026Updated last month
- Community edited and directed course based on Spring '13 cis194.☆47Mar 5, 2016Updated 9 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- Succinct vectors☆20Dec 29, 2018Updated 7 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated 9 months ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- FRM framework on top of Opaleye☆22Mar 26, 2017Updated 8 years ago
- ☆31Updated this week
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Better errors when decoding JSON values☆31Apr 9, 2025Updated 10 months ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago