Liquidhaskell Alternatives

Similar projects and alternatives to liquidhaskell

• portable-template-haskell-lens

  - 1 0.0 Haskell liquidhaskell VS portable-template-haskell-lens

  

• language-dot

  - 6 0.0 Haskell liquidhaskell VS language-dot

  A library for the analysis and creation of Graphviz DOT files

• OPS

  github.com/nanovms

  sponsored

  OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.

  

• polysemy

  - 922 7.1 Haskell liquidhaskell VS polysemy

  :gemini: higher-order, no-boilerplate monads

  

• raw-feldspar

  - 35 0.0 Haskell liquidhaskell VS raw-feldspar

  Resource-AWare Feldspar

  

• config-value

  - 16 3.2 Haskell liquidhaskell VS config-value

  Simple, layout-based, unambiguous configuration language implemented in Haskell

• liquid-fixpoint

  - 76 9.3 Haskell liquidhaskell VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• frp-arduino

  - 239 0.0 Haskell liquidhaskell VS frp-arduino

  Arduino programming without the hassle of C.

  

• Scout APM

  scoutapm.com

  sponsored

  Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  

• alga

  - 4 0.0 Haskell liquidhaskell VS alga

• language-lua

  - 11 0.0 Lua liquidhaskell VS language-lua

  Lua parser and pretty-printer

• language-python

  - 149 0.0 Python liquidhaskell VS language-python

  A parser for Python 2.x and 3.x written in Haskell

Suggest an alternative to liquidhaskell