Liquid-fixpoint Alternatives

Similar projects and alternatives to liquid-fixpoint

• language-python

  0 154 2.7 Python liquid-fixpoint VS language-python

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

• lens-toml-parser

  0 1 6.9 Haskell liquid-fixpoint VS lens-toml-parser

  Lenses for toml-parser

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Nomyx

  0 79 4.3 Dockerfile liquid-fixpoint VS Nomyx

  The Nomyx game

  

• haskell-tools-ast

  0 251 0.0 Haskell liquid-fixpoint VS haskell-tools-ast

  Developer tools for Haskell

• haskell-exp-parser

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

  Simple parser parser from Haskell to TemplateHaskell expressions

• cil

  0 3 0.0 OCaml liquid-fixpoint VS cil

  A Haskell interface to CIL. (by tomahawkins)

• liquidhaskell

  4 1,148 9.3 Haskell liquid-fixpoint VS liquidhaskell

  Liquid Types For Haskell

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• ast-monad

  0 1 0.0 Haskell liquid-fixpoint VS ast-monad

  A library for constructing AST by using do-notation

• alga

  0 4 0.0 Haskell liquid-fixpoint VS alga

• purescript

  52 8,458 6.6 Haskell liquid-fixpoint VS purescript

  A strongly-typed language that compiles to JavaScript