Automated test case generation in Proggers

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
program-analysis abstract-interpretation programming-language type-checking Static Analysis

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

  • progge.rs

    Program analysis playground for a simple, imperative language

    • Just tried to solve the "a farmer needs to move his fox, chicken, and corn across a river" riddle using the symbolic execution engine, and it worked! See here: https://github.com/skius/progge.rs/blob/master/analyzer-examples/fun/fox_chicken_corn.progge

  • 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

  • Automated test case generation in Proggers

    1 project | /r/rust | 21 Nov 2021

  • Static analyzer IKOS 3.2 Released

    1 project | news.ycombinator.com | 28 Dec 2023

  • Static analyzer IKOS 3.2-rc1 published – Request for testers

    1 project | news.ycombinator.com | 17 Dec 2023

  • The NSA advises move to memory-safe languages

    2 projects | news.ycombinator.com | 12 Dec 2023

  • Does anyone use IKOS for static analysis?

    1 project | /r/embedded | 1 May 2023