Type-assertions Alternatives

Similar projects and alternatives to type-assertions based on common topics and language

• type-spec

  - 47 0.0 Haskell type-assertions VS type-spec

  A tiny EDSL to write type-level-unit tests

• type-level-sets

  - 65 0.0 Haskell type-assertions VS type-level-sets

  Type-level sets for Haskell (with value-level counterparts and various operations)

• Mergify

  blog.mergify.com

  sponsored

  Tired of breaking your main and manually rebasing outdated pull requests?. Managing outdated pull requests is time-consuming. Mergify's Merge Queue automates your pull request management & merging. It's fully integrated to GitHub & coordinated with any CI. Start focusing on code. Try Mergify for free.

  

• write-you-a-haskell

  0 3,261 0.0 Haskell type-assertions VS write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

• type-of-html

  0 123 0.0 Haskell type-assertions VS type-of-html

  High performance type safe html generation

• type-errors

  0 73 0.0 Haskell type-assertions VS type-errors

  :warning: tools for writing better type errors

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