kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification (by mit-plv)

Kami Alternatives

Similar projects and alternatives to kami

  1. silveroak

    Discontinued Formal specification and verification of hardware, especially for security and privacy.

  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
  3. hardware

    2 kami VS hardware

    Verilog development and verification project for HOL4 (by CakeML)

  4. koika

    2 kami VS koika

    A core language for rule-based hardware design 🦑

  5. vericert

    A formally verified high-level synthesis tool based on CompCert and written in Coq.

  6. coq-simple-io

    IO for Gallina

  7. coq-serapi

    Coq Protocol Playground with Se(xp)rialization of Internal Structures.

  8. proofs

    5 kami VS proofs

    My personal repository of formally verified mathematics.

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. CompCert

    40 kami VS CompCert

    The CompCert formally-verified C compiler

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better kami alternative or higher similarity.

kami discussion

Log in or Post with

kami reviews and mentions

Posts with mentions or reviews of kami. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-03.

Stats

Basic kami repo stats
2
155
2.9
9 months ago

mit-plv/kami is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of kami is Coq.


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

Did you know that Coq is
the 84th most popular programming language
based on number of references?