Liquid Types For Haskell
☆1,296Mar 6, 2026Updated last 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,812Updated this week
- Proposed compiler and language changes for GHC and GHC/Haskell☆702Updated this week
- 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.☆266Updated 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 2 months ago
- Horn Clause Constraint Solving for Liquid Types☆159Updated this week
- High performance, concurrent functional programming abstractions☆909Updated this week
- Standard library for linear types in Haskell.☆354Feb 27, 2026Updated 2 weeks ago
- Maintainable configuration files☆959Updated this 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,077Mar 2, 2026Updated last week
- A fast, flexible, fused effect system for Haskell☆667Dec 17, 2025Updated 2 months ago
- hpack: A modern format for Haskell packages☆662Mar 7, 2026Updated last week
- A Dependently Typed Functional Programming Language☆3,468Feb 17, 2025Updated last year
- A formatter for Haskell source code☆1,046Feb 17, 2026Updated 3 weeks ago
- The engine for haskell ide-integration. Not an IDE☆2,365Dec 23, 2020Updated 5 years ago
- 🕵️ Haskell STatic ANalyser☆588Jan 16, 2026Updated last month
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆737Jan 29, 2026Updated last month
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,940Updated this week
- 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 9 months ago
- Fake dependent types in Haskell using singletons☆293Feb 15, 2026Updated 3 weeks ago
- The Agda standard library☆652Mar 3, 2026Updated last week
- Optics as an abstract interface☆387Feb 10, 2026Updated last month
- Haskell source code suggestions☆1,578Dec 27, 2025Updated 2 months ago
- The Haskell Tool Stack☆4,050Mar 7, 2026Updated last week
- A purely functional programming language with first class types☆2,887Updated this week
- Automatic testing of Haskell programs.☆776Feb 26, 2026Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,497Updated this week
- Applicative option parser☆955Jan 29, 2026Updated last month
- Algebraic graphs☆753Jan 18, 2026Updated last month
- Very low feature GHCi based IDE☆1,181Mar 3, 2026Updated last week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆703Mar 2, 2026Updated last week
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- Official Haskell IDE support via the language server protocol (LSP)☆2,893Updated this week
- 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☆899Aug 11, 2020Updated 5 years ago
- A fast Haskell JSON library☆1,293Jan 8, 2026Updated 2 months ago