ucsd-progsys / liquidhaskell
Liquid Types For Haskell
☆1,238Updated 3 weeks ago
Alternatives and similar repositories for liquidhaskell:
Users that are interested in liquidhaskell are comparing it to the libraries listed below
- Industrial-strength monadic parser combinator library☆941Updated 2 months ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,089Updated 3 weeks ago
- Algebraic graphs☆737Updated 11 months ago
- Shell programming, Haskell style☆952Updated 11 months ago
- A formatter for Haskell source code☆992Updated last month
- higher-order, no-boilerplate monads☆1,045Updated last month
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆695Updated this week
- Very low feature GHCi based IDE☆1,153Updated last year
- A prototype successor to Idris☆540Updated 5 years ago
- A fast, flexible, fused effect system for Haskell☆655Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- Modern and extensible testing framework for Haskell☆649Updated 3 weeks ago
- Haskell code prettifier☆1,009Updated this week
- A standard library for Haskell☆851Updated 8 months ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆253Updated this week
- Applicative option parser☆931Updated 2 weeks ago
- A monadic parser combinator library☆867Updated 3 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆712Updated last month
- Release with confidence, state-of-the-art property testing for Haskell.☆686Updated 3 weeks ago
- Functional Reactive Programming domain-specific language for efficient hybrid systems☆458Updated last month
- Automatic testing of Haskell programs.☆745Updated last month
- Experimental implementation of Cubical Type Theory☆579Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated last year
- haskell source code formatter☆689Updated 2 years ago
- High performance, concurrent functional programming abstractions☆888Updated last week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,051Updated last month
- A streaming data library☆914Updated last month
- A Testing Framework for Haskell☆768Updated 2 weeks ago