Singular-factory Alternatives

Similar projects and alternatives to singular-factory

• hermit

  0 49 0.0 Haskell singular-factory VS hermit

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

  

• rounded

  0 33 5.1 Haskell singular-factory VS rounded

  MPFR bindings for 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.

  

• vector-sized

  1 31 4.6 Haskell singular-factory VS vector-sized

• bayes-stack

  0 49 0.0 Haskell singular-factory VS bayes-stack

  Framework for Gibbs sampling of probabilistic models

• math-functions

  0 40 6.4 Haskell singular-factory VS math-functions

  Special mathematical functions

  

• dimensional

  0 102 0.0 Haskell singular-factory VS dimensional

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

• sbvPlugin

  0 44 6.2 Haskell singular-factory VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• SaaSHub

  www.saashub.com featured

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

  

• vector

  2 361 8.4 Haskell singular-factory VS vector

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

  

• type-natural

  0 33 6.2 Haskell singular-factory VS type-natural

  Type-level well-kinded natural numbers.

• Singular

  1 249 9.7 C++ singular-factory VS Singular

  sources for the Singular computer algebra system

  

• hblas

  0 49 0.0 C++ singular-factory VS hblas

  haskell bindings for blas and lapack