Coq LibHunt Newsletter

Trending projects

• analysis

  1 180 9.4 Coq

  Mathematical Components compliant Analysis Library (by math-comp)

  

• CoqGym

  2 370 3.6 Coq

  A Learning Environment for Theorem Proving with the Coq proof assistant

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• CompCert

  36 1,763 7.2 Coq

  The CompCert formally-verified C compiler