Coq Hardware

Open-source Coq projects categorized as Hardware
Edit details
Topics: Formal Verification coq
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

We don't know any projects categorized as Hardware yet.

Coq Hardware related posts

  • Type Theory Forall Podcast #13 - C/C++, Emacs, Haskell, and Coq. The Journey (John Wiegley)

    3 projects | /r/ProgrammingLanguages | 23 Dec 2021

  • There's an ongoing effort to rewrite Principia Mathematica using Coq

    5 projects | /r/math | 3 Dec 2021

  • Silveroak - Formal specification and verification of hardware

    1 project | /r/Coq | 20 May 2021

Index

-

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com