Learn You an Agda (2014)

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
Rust VSCode Dataflow 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

  • flowistry

    Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

    • Quick, easy formal verification tools that programmers can use on the spot from the IDE are hard to make for most languages because most languages and their compilers weren't made with such thing in mind.

    I guess Rust might be heading somewhere interesting with tooling, with tools like Flowistry existing (https://github.com/willcrichton/flowistry) showing what is possible. It's a plugin that can compute backwards / forwards static slices for you, straight in the IDE as a VSCode plugin. I think you need an external program that runs a full program analysis to do the same in C++.

  • 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

  • An IDE plugin for Rust that helps you focus on relevant code

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

  • Flowistry: an IDE plugin that analyzes the information flow of Rust programs, showing whether it's possible for one piece of code to affect another

    1 project | /r/rust | 10 Dec 2023

  • Any data flow visualization tools?

    2 projects | /r/rust | 28 Apr 2023

  • flowistry plugin?

    1 project | /r/neovim | 10 Sep 2022

  • Visual lifetime indicator

    2 projects | /r/rust | 14 Nov 2021