Coq hardware-description-language

Open-source Coq projects categorized as hardware-description-language

We don't know any projects categorized as hardware-description-language yet.

Coq hardware-description-language discussion

Log in or Post with

Coq hardware-description-language related posts

  • Kami: A Platform for Hardware Specification and Verification

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

Index

-

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io