Sized-types Alternatives

Similar projects and alternatives to sized-types

• pyfi

  0 66 0.0 Haskell sized-types VS pyfi

• language-thrift

  0 7 0.0 Haskell sized-types VS language-thrift

  Haskell parser for the Thrift IDL format.

• 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-tools-ast

  0 251 0.0 Haskell sized-types VS haskell-tools-ast

  Developer tools for Haskell

• language-ecmascript-analysis

  0 1 0.0 Haskell sized-types VS language-ecmascript-analysis

  Haskell library: static analysis of ECMAScript programs

  

• why3

  0 4 0.0 Haskell sized-types VS why3

  Haskell support for the Why3 input format

  

• frp-arduino

  0 246 0.0 Haskell sized-types VS frp-arduino

  Arduino programming without the hassle of C.

  

• tal

  0 137 0.0 Haskell sized-types VS tal

  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

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

  

• liquid-fixpoint

  0 128 8.9 Haskell sized-types VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• c2ats

  0 18 0.0 ATS sized-types VS c2ats

  generate ATS interface from C code

  

• language-java

  0 65 0.0 Haskell sized-types VS language-java

  Discontinued Java parser and printer for haskell