Lawz Alternatives

Similar projects and alternatives to lawz

• hermit

  0 49 0.0 Haskell lawz VS hermit

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

  

• semigroups

  0 62 1.1 Haskell lawz VS semigroups

  Haskell 98 semigroups

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

  

• algebra

  0 101 0.0 Haskell lawz VS algebra

  constructive abstract algebra (by ekmett)

• vector

  2 360 7.9 Haskell lawz VS vector

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

  

• hgeometry

  4 119 0.0 Haskell lawz VS hgeometry

  HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

• dimensional

  0 101 0.0 Haskell lawz VS dimensional

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

• equational-reasoning

  0 51 5.8 Haskell lawz VS equational-reasoning

  Agda-style equational reasoning in Haskell

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

  

• grid

  0 106 0.0 Haskell lawz VS grid

  Tools for working with regular grids/graphs/lattices. (by mhwombat)

• hblas

  0 49 0.0 C++ lawz VS hblas

  haskell bindings for blas and lapack

  

• HerbiePlugin

  0 191 0.0 Haskell lawz VS HerbiePlugin

  GHC plugin that improves Haskell code's numerical stability