Liquidhaskell Alternatives

Similar projects and alternatives to liquidhaskell

• purescript

  - 7,994 7.9 Haskell liquidhaskell VS purescript

  A strongly-typed language that compiles to JavaScript

  

• stylish-haskell

  - 762 6.4 Haskell liquidhaskell VS stylish-haskell

  Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell] (by jaspervdj)

  

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• ats-format

  - 11 0.0 Haskell liquidhaskell VS ats-format

  ATS source code formatter

• portable-template-haskell-lens

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

  

• language-lua

  - 10 0.0 Lua liquidhaskell VS language-lua

  Lua parser and pretty-printer

• frp-arduino

  - 243 0.0 Haskell liquidhaskell VS frp-arduino

  Arduino programming without the hassle of C.

  

• language-thrift

  - 7 0.0 Haskell liquidhaskell VS language-thrift

  Haskell parser for the Thrift IDL format.

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• liquid-fixpoint

  - 107 9.2 Haskell liquidhaskell VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• language-dot

  - 5 0.0 Haskell liquidhaskell VS language-dot

  A library for the analysis and creation of Graphviz DOT files

• language-python

  - 150 0.0 Python liquidhaskell VS language-python

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