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
- A contention-free STM hash map for Haskell☆14Oct 30, 2021Updated 4 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 3 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- A faster date and time library based on time☆47Jun 23, 2026Updated 3 weeks ago
- Sample SPOCK + GHCJS app☆23Dec 18, 2016Updated 9 years ago
- fast unique variables☆10Aug 23, 2025Updated 10 months ago
- A more progressive alternative to the "base" package☆28Jan 28, 2026Updated 5 months ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Better errors when decoding JSON values☆31May 22, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 7 years 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 9 years ago
- Haskell suite library for name resolution☆53Apr 9, 2025Updated last year
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Community edited and directed course based on Spring '13 cis194.☆47Mar 5, 2016Updated 10 years ago
- STM-based channels for conduits.☆42Jul 31, 2023Updated 2 years ago
- (defunct) Purescript client code generation for Servant☆26Sep 13, 2016Updated 9 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 6 months ago
- Reading, writing and manipulating ".tar" archive files.☆42Updated this week
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated last year
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated last year
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- Polymorphic directed graphs☆12Apr 10, 2017Updated 9 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated 9 months ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- FRM framework on top of Opaleye☆22Mar 26, 2017Updated 9 years ago
- ☆31Feb 26, 2026Updated 4 months ago