Reverse of quickspec

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
Testing

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • quickspec

    Equational laws for free

    • Quickspec (https://github.com/nick8325/quickspec) is awesome in discovering laws in the code we write. But I am in search for a tool (the reverse) , which given the spec, can it synthesise code ?

  • synquid

    • Synquid synthesizes programs from refinement types, which are very similar in that you express a type-level predicate on the output using an expression which involves the input.

  • InfluxDB

    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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Critical Test Based Alerting with PagerDuty and Testkube

    1 project | dev.to | 9 May 2024

  • Top 10 Essential REST API Testing Tools for Developers

    1 project | dev.to | 9 May 2024

  • Pipevcr: Like Asciinema but for Pipes

    1 project | news.ycombinator.com | 8 May 2024

  • Should You Use Ruby on Rails or Hanami?

    6 projects | dev.to | 8 May 2024

  • Modern React testing, part 5: Playwright

    5 projects | dev.to | 6 May 2024