Algebra-checkers Alternatives

Similar projects and alternatives to algebra-checkers

• nibblestring

  0 0 0.0 Haskell algebra-checkers VS nibblestring

  Packed, strict nibble arrays with a list interface (ByteString for nibbles)

• subwordgraph

  0 0 0.0 Haskell algebra-checkers VS subwordgraph

  An implementation of a classic Subword Graph (also known as Directed Acyclic Word Graph).

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

  

• btree-concurrent

  0 2 0.0 Haskell algebra-checkers VS btree-concurrent

  A backend agnostic, concurrent BTree written in Haskell

• distributive

  6 41 2.7 Haskell algebra-checkers VS distributive

  Dual Traversable

• psqueues

  1 63 5.2 Haskell algebra-checkers VS psqueues

  Priority Search Queues in three different flavors for Haskell

• clafer

  0 44 3.9 Haskell algebra-checkers VS clafer

  Clafer is a lightweight modeling language

  

• claferIG

  0 11 3.9 Haskell algebra-checkers VS claferIG

  Support for reasoning on Clafer models by instantiation and counter example generation.

  

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

  

• adjunctions

  1 44 3.3 Haskell algebra-checkers VS adjunctions

  Simple adjunctions

• containers

  11 313 6.0 Haskell algebra-checkers VS containers

  Assorted concrete container types (by haskell)

  

• igraph

  0 7 0.0 Haskell algebra-checkers VS igraph

  Incomplete Haskell bindings to the igraph library (which is written in C)