Liquid-fixpoint Alternatives

Similar projects and alternatives to liquid-fixpoint

• lens-toml-parser

  - 1 0.0 Haskell liquid-fixpoint VS lens-toml-parser

  Lenses for toml-parser

  

• language-python

  - 152 0.0 Python liquid-fixpoint VS language-python

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

• Onboard AI

  getonboard.dev

  sponsored

  Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  

• Nomyx

  - 78 0.0 Shell liquid-fixpoint VS Nomyx

  The Nomyx game

  

• haskell-tools-ast

  - 252 0.0 Haskell liquid-fixpoint VS haskell-tools-ast

  Developer tools for Haskell

• liquidhaskell

  - 1,122 9.4 Haskell liquid-fixpoint VS liquidhaskell

  Liquid Types For Haskell

  

• haskell-exp-parser

  - 2 0.0 Haskell liquid-fixpoint VS haskell-exp-parser

  Simple parser parser from Haskell to TemplateHaskell expressions

• cil

  - 3 0.0 OCaml liquid-fixpoint VS cil

  A Haskell interface to CIL. (by tomahawkins)

• InfluxDB

  www.influxdata.com

  sponsored

  Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  

• alga

  - 4 0.0 Haskell liquid-fixpoint VS alga

• purescript

  - 8,339 7.6 Haskell liquid-fixpoint VS purescript

  A strongly-typed language that compiles to JavaScript

  

• stylish-haskell

  - 762 6.4 Haskell liquid-fixpoint VS stylish-haskell

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