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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Aug 10, 2016Updated 9 years ago
- Haskell suite library for name resolution☆53Apr 9, 2025Updated 11 months ago
- A faster date and time library based on time☆47Mar 13, 2026Updated last week
- A contention-free STM hash map for Haskell☆14Oct 30, 2021Updated 4 years ago
- A very efficient ByteString builder implementation based on the binary tree☆20Feb 3, 2025Updated last year
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 3 years ago
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- Sample SPOCK + GHCJS app☆23Dec 18, 2016Updated 9 years ago
- A more progressive alternative to the "base" package☆27Jan 28, 2026Updated last month
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- Better errors when decoding JSON values☆31Apr 9, 2025Updated 11 months ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Jun 2, 2017Updated 8 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 3 years ago
- Community edited and directed course based on Spring '13 cis194.☆47Mar 5, 2016Updated 10 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- (defunct) Purescript client code generation for Servant☆26Sep 13, 2016Updated 9 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Aug 27, 2025Updated 6 months ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Mar 13, 2026Updated last week
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 2 months ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- FRM framework on top of Opaleye☆22Mar 26, 2017Updated 8 years ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated 10 months ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Experiments with eBPF bytecode☆16Jul 17, 2025Updated 8 months ago