ucsd-progsys / liquidhaskellLinks
Liquid Types For Haskell
☆1,245Updated last week
Alternatives and similar repositories for liquidhaskell
Users that are interested in liquidhaskell are comparing it to the libraries listed below
Sorting:
- Industrial-strength monadic parser combinator library☆946Updated 4 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,040Updated last week
- higher-order, no-boilerplate monads☆1,054Updated 3 months ago
- A fast, flexible, fused effect system for Haskell☆657Updated last month
- Proposed compiler and language changes for GHC and GHC/Haskell☆698Updated last month
- Algebraic graphs☆739Updated 3 weeks ago
- A monadic parser combinator library☆871Updated last week
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆715Updated last month
- Shell programming, Haskell style☆956Updated last week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,058Updated this week
- Very low feature GHCi based IDE☆1,159Updated last year
- A formatter for Haskell source code☆998Updated last month
- Functional programming with fewer indirections☆765Updated 4 years ago
- Haskell code prettifier☆1,011Updated 2 months ago
- A prototype successor to Idris☆539Updated 5 years ago
- hpack: A modern format for Haskell packages☆649Updated last week
- Applicative option parser☆939Updated last week
- Experimental implementation of Cubical Type Theory☆583Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- Modern and extensible testing framework for Haskell☆651Updated this week
- A fast Haskell JSON library☆1,276Updated this week
- A standard library for Haskell☆849Updated 10 months ago
- Haskell bindings for LLVM☆520Updated 11 months ago
- haskell source code formatter☆691Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- A Testing Framework for Haskell☆774Updated this week
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆459Updated 3 months ago
- Release with confidence, state-of-the-art property testing for Haskell.☆687Updated 2 months ago