Algebra-checkers Alternatives

Similar projects and alternatives to algebra-checkers

• distributive

  - 41 0.0 Haskell algebra-checkers VS distributive

  Dual Traversable

• nibblestring

  - 0 0.0 Haskell algebra-checkers VS nibblestring

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

• InfluxDB

  www.influxdata.com

  sponsored

  Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  

• subwordgraph

  - 0 0.0 Haskell algebra-checkers VS subwordgraph

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

• btree-concurrent

  - 2 0.0 Haskell algebra-checkers VS btree-concurrent

  A backend agnostic, concurrent BTree written in Haskell

• psqueues

  - 63 0.0 Haskell algebra-checkers VS psqueues

  Priority Search Queues in three different flavors for Haskell

• clafer

  - 46 0.0 Haskell algebra-checkers VS clafer

  Clafer is a lightweight modeling language

  

• claferIG

  - 12 0.0 Haskell algebra-checkers VS claferIG

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

  

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• domain

  - 44 0.0 Haskell algebra-checkers VS domain

  Focused domain model declaration toolkit for Haskell