Liquid Types For Haskell
☆1,300Mar 27, 2026Updated last week
Alternatives and similar repositories for liquidhaskell
Users that are interested in liquidhaskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proposed compiler and language changes for GHC and GHC/Haskell☆703Mar 25, 2026Updated last week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,826Updated this week
- Horn Clause Constraint Solving for Liquid Types☆160Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆266Updated this week
- Modern and extensible testing framework for Haskell☆657Mar 25, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆689Mar 25, 2026Updated last week
- High performance, concurrent functional programming abstractions☆909Updated this week
- Standard library for linear types in Haskell.☆355Feb 27, 2026Updated last month
- A fast, flexible, fused effect system for Haskell☆668Mar 27, 2026Updated last week
- hpack: A modern format for Haskell packages☆661Mar 7, 2026Updated 3 weeks ago
- Maintainable configuration files☆958Updated this week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,079Mar 2, 2026Updated last month
- A Dependently Typed Functional Programming Language☆3,466Feb 17, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Industrial-strength monadic parser combinator library☆966Mar 23, 2026Updated last week
- A formatter for Haskell source code☆1,054Mar 23, 2026Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 9 months ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,950Nov 14, 2022Updated 3 years ago
- 🕵️ Haskell STatic ANalyser☆589Jan 16, 2026Updated 2 months ago
- Fake dependent types in Haskell using singletons☆294Feb 15, 2026Updated last month
- The Agda standard library☆654Mar 21, 2026Updated 2 weeks ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆737Jan 29, 2026Updated 2 months ago
- Haskell source code suggestions☆1,589Mar 22, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The engine for haskell ide-integration. Not an IDE☆2,363Dec 23, 2020Updated 5 years ago
- An introduction to programming language theory in Agda☆1,497Mar 26, 2026Updated last week
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,942Updated this week
- Automatic testing of Haskell programs.☆778Feb 26, 2026Updated last month
- Inspection Testing for Haskell☆191Jan 17, 2026Updated 2 months ago
- Optics as an abstract interface☆387Feb 10, 2026Updated last month
- Tutorial for LiquidHaskell☆82Sep 30, 2024Updated last year
- A purely functional programming language with first class types☆2,906Updated this week
- The Haskell Tool Stack☆4,055Mar 18, 2026Updated 2 weeks ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Official Haskell IDE support via the language server protocol (LSP)☆2,902Updated this week
- Convert Haskell source code to Coq source code☆282Nov 11, 2020Updated 5 years ago
- Very low feature GHCi based IDE☆1,183Updated this week
- Algebraic graphs☆754Jan 18, 2026Updated 2 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆707Mar 2, 2026Updated last month
- Applicative option parser☆956Jan 29, 2026Updated 2 months ago
- A fast Haskell JSON library☆1,295Jan 8, 2026Updated 2 months ago