Coq C

Open-source Coq projects categorized as C

Coq C Projects

  1. CompCert

    The CompCert formally-verified C compiler

    Project mention: The Illustrated Guide to a PhD | news.ycombinator.com | 2025-01-12
  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Coq C discussion

Log in or Post with

Coq C related posts

  • The Illustrated Guide to a PhD

    1 project | news.ycombinator.com | 12 Jan 2025
  • CompCert: Formally verified compilers usable for critical embedded software

    1 project | news.ycombinator.com | 23 Oct 2024
  • So you think you know C?

    2 projects | news.ycombinator.com | 20 Jan 2024
  • Can the language of proof assistants be used for general purpose programming?

    3 projects | news.ycombinator.com | 27 Oct 2023
  • Recently I am having too much friction with the borrow checker... Would you recommend I rewrite the compiler in another language, or keep trying to implement it in rust?

    1 project | /r/programmingcirclejerk | 27 Apr 2023
  • There is such thing called bugfree code.

    1 project | /r/ProgrammerHumor | 23 Dec 2022
  • Proofs about Programs

    1 project | news.ycombinator.com | 15 Dec 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 12 Jun 2025
    InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →

Index

# Project Stars
1 CompCert 1,992

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com