Nonlinear-optimization Alternatives

Similar projects and alternatives to nonlinear-optimization

• mcmc-types

  0 3 0.0 Haskell nonlinear-optimization VS mcmc-types

  Common types for sampling.

• dimensions

  0 46 0.0 Haskell nonlinear-optimization VS dimensions

  Many-dimensional type-safe numeric ops

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

  

• simd

  0 23 0.0 Haskell nonlinear-optimization VS simd

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

• Decimal

  0 30 2.7 Haskell nonlinear-optimization VS Decimal

• equational-reasoning

  0 51 5.8 Haskell nonlinear-optimization VS equational-reasoning

  Agda-style equational reasoning in Haskell

• simple-smt

  0 20 0.0 Haskell nonlinear-optimization VS simple-smt

• hermit

  0 49 0.0 Haskell nonlinear-optimization VS hermit

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

  

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

  

• cf

  0 39 0.0 Haskell nonlinear-optimization VS cf

  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)

• algebra

  0 101 0.0 Haskell nonlinear-optimization VS algebra

  constructive abstract algebra (by ekmett)

• mwc-random

  1 54 0.0 Haskell nonlinear-optimization VS mwc-random

  A very fast Haskell library for generating high quality pseudo-random numbers.