Singletons-presburger Alternatives

Similar projects and alternatives to singletons-presburger

• statistics

  1 296 6.1 Haskell singletons-presburger VS statistics

  A fast, high quality library for computing with statistics in Haskell.

  

• vector

  2 361 8.4 Haskell singletons-presburger VS vector

  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . (by haskell)

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• ghc-plugs-out

  0 2 0.0 Haskell singletons-presburger VS ghc-plugs-out

  Type checker plugins without the type checking. (by BlockScope)

  

• dimensional

  0 101 0.0 Haskell singletons-presburger VS dimensional

  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).

• semigroups

  0 62 1.1 Haskell singletons-presburger VS semigroups

  Haskell 98 semigroups

• linear

  8 195 5.4 Haskell singletons-presburger VS linear

  Low-dimensional linear algebra primitives for Haskell.

• vector-th-unbox

  0 0 0.0 Haskell singletons-presburger VS vector-th-unbox

  Deriver for unboxed vectors using Template Haskell

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• computational-algebra

  0 92 0.0 HTML singletons-presburger VS computational-algebra

  General-Purpose Computer Algebra System as an EDSL in Haskell

• hermit

  0 49 0.0 Haskell singletons-presburger VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel (by ku-fpg)

  

• ad

  6 365 5.9 Haskell singletons-presburger VS ad

  Automatic Differentiation