Eq Alternatives

Similar projects and alternatives to Eq

• fortran-src

  1 44 5.8 Haskell Eq VS fortran-src

  Fortran parsing and static analysis infrastructure

  

• liquid-fixpoint

  0 128 8.9 Haskell Eq VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• 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.

  

• elm-export

  0 116 0.0 Haskell Eq VS elm-export

  Create Elm types and JSON decoders from Haskell source.

• haskell-tools-ast

  0 251 0.0 Haskell Eq VS haskell-tools-ast

  Developer tools for Haskell

• cryptol

  0 1,107 9.2 Haskell Eq VS cryptol

  Cryptol: The Language of Cryptography

  

• purescript

  52 8,458 6.6 Haskell Eq VS purescript

  A strongly-typed language that compiles to JavaScript

  

• stylish-haskell

  0 762 6.4 Haskell Eq VS stylish-haskell

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

  

• 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.

  

• haskell-src-exts

  2 193 0.0 Haskell Eq VS haskell-src-exts

  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer

  

• liquidhaskell

  4 1,148 9.3 Haskell Eq VS liquidhaskell

  Liquid Types For Haskell

  

• polysemy

  7 1,023 5.5 Haskell Eq VS polysemy

  :gemini: higher-order, no-boilerplate monads