Liquid Types For Haskell
☆1,293Feb 27, 2026Updated this week
Alternatives and similar repositories for liquidhaskell
Users that are interested in liquidhaskell are comparing it to the libraries listed below
Sorting:
- Agda is a dependently typed programming language / interactive theorem prover.☆2,804Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskell☆701Jan 5, 2026Updated 2 months ago
- Modern and extensible testing framework for Haskell☆658Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated this week
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated 11 months ago
- Release with confidence, state-of-the-art property testing for Haskell.☆690Jan 12, 2026Updated last month
- Horn Clause Constraint Solving for Liquid Types☆159Feb 25, 2026Updated last week
- High performance, concurrent functional programming abstractions☆908Feb 19, 2026Updated 2 weeks ago
- Standard library for linear types in Haskell.☆353Feb 27, 2026Updated last week
- Maintainable configuration files☆958Feb 27, 2026Updated last week
- Industrial-strength monadic parser combinator library☆965Feb 2, 2026Updated last month
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,075Jan 10, 2026Updated last month
- A fast, flexible, fused effect system for Haskell☆667Dec 17, 2025Updated 2 months ago
- hpack: A modern format for Haskell packages☆662Jan 18, 2026Updated last month
- A Dependently Typed Functional Programming Language☆3,468Feb 17, 2025Updated last year
- A formatter for Haskell source code☆1,044Feb 17, 2026Updated 2 weeks ago
- The engine for haskell ide-integration. Not an IDE☆2,366Dec 23, 2020Updated 5 years ago
- 🕵️ Haskell STatic ANalyser☆588Jan 16, 2026Updated last month
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆736Jan 29, 2026Updated last month
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,938Dec 23, 2025Updated 2 months ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,951Nov 14, 2022Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 8 months ago
- Fake dependent types in Haskell using singletons☆293Feb 15, 2026Updated 2 weeks ago
- The Agda standard library☆651Updated this week
- Optics as an abstract interface☆387Feb 10, 2026Updated 3 weeks ago
- Haskell source code suggestions☆1,577Dec 27, 2025Updated 2 months ago
- The Haskell Tool Stack☆4,048Updated this week
- A purely functional programming language with first class types☆2,878Feb 24, 2026Updated last week
- Automatic testing of Haskell programs.☆775Feb 26, 2026Updated last week
- An introduction to programming language theory in Agda☆1,494Updated this week
- Applicative option parser☆955Jan 29, 2026Updated last month
- Algebraic graphs☆753Jan 18, 2026Updated last month
- Very low feature GHCi based IDE☆1,179Updated this week
- Official Haskell IDE support via the language server protocol (LSP)☆2,889Feb 26, 2026Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆703Updated this week
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- Haskell library for space- and time-efficient operations over Unicode text.☆421Jan 27, 2026Updated last month
- A dependently typed programming language, a successor to Idris☆900Aug 11, 2020Updated 5 years ago
- A fast Haskell JSON library☆1,295Jan 8, 2026Updated last month