Sde-solver Alternatives

Similar projects and alternatives to sde-solver

• simd

  0 23 0.0 Haskell sde-solver VS simd

  simple interface to ghc's simd vector support (by mikeizbicki)

• what4

  0 146 6.9 Haskell sde-solver VS what4

  Symbolic formula representation and solver interaction library

  

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

  

• computational-algebra

  0 90 0.0 HTML sde-solver VS computational-algebra

  General-Purpose Computer Algebra System as an EDSL in Haskell

• type-natural

  0 33 6.2 Haskell sde-solver VS type-natural

  Type-level well-kinded natural numbers.

• matrix

  0 35 0.0 Haskell sde-solver VS matrix

  Discontinued A Haskell native implementation of matrices and their operations. (by Daniel-Diaz)

• statistics

  1 295 6.1 Haskell sde-solver VS statistics

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

  

• dimensional

  0 101 0.0 Haskell sde-solver VS dimensional

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

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

  

• hblas

  0 49 0.0 C++ sde-solver VS hblas

  haskell bindings for blas and lapack

  

• vector

  2 361 7.9 Haskell sde-solver VS vector

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

  

• sbvPlugin

  0 44 6.3 Haskell sde-solver VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.