Th-cas Alternatives

Similar projects and alternatives to th-cas

• hermit

  0 49 0.0 Haskell th-cas VS hermit

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

  

• what4

  0 146 6.7 Haskell th-cas VS what4

  Symbolic formula representation and solver interaction library

  

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

  

• optimization

  0 47 0.0 Haskell th-cas VS optimization

  Some numerical optimization methods implemented in Haskell

• cf

  0 39 0.0 Haskell th-cas VS cf

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

• vector

  2 361 8.4 Haskell th-cas VS vector

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

  

• safe-decimal

  0 21 0.0 Haskell th-cas VS safe-decimal
  

• semigroups

  0 62 1.1 Haskell th-cas VS semigroups

  Haskell 98 semigroups

• SaaSHub

  www.saashub.com featured

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

  

• hmatrix

  2 378 3.4 Haskell th-cas VS hmatrix

  Linear algebra and numerical computation

  

• rampart

  1 77 5.6 Haskell th-cas VS rampart

  :european_castle: Determine how intervals relate to each other.

• mwc-random

  1 54 0.0 Haskell th-cas VS mwc-random

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