vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq. (by ymherklotz)
Review high-level-synthesis coq
Source Code
vericert.ymhg.org
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Vericert Alternatives

Similar projects and alternatives to vericert

ymherklotz
vericert

  1. silveroak

    3 vericert VS silveroak

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

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo

  3. kami

    2 vericert VS kami

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

  4. CompCert

    40 vericert VS CompCert

    The CompCert formally-verified C compiler

  5. koika

    2 vericert VS koika

    A core language for rule-based hardware design 🦑

  6. Doubly-Linked-List-VST

    1 vericert VS Doubly-Linked-List-VST

    Discontinued The final project for CS2603 (2021 Spring), aiming to verify a doubly linked list library using VST. Collaborating with @karzexcc

  7. hardware

    2 vericert VS hardware

    Verilog development and verification project for HOL4 (by CakeML)

  8. ConCert

    1 vericert VS ConCert

    A framework for smart contract verification in Coq

  9. SaaSHub

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

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better vericert alternative or higher similarity.
Suggest an alternative to vericert

vericert discussion

Log in or Post with

vericert reviews and mentions

Posts with mentions or reviews of vericert. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-03.
  • There's an ongoing effort to rewrite Principia Mathematica using Coq
    5 projects | /r/math | 3 Dec 2021
    There are ongoing research projects about that, you may want to have a look at Kôika (https://github.com/mit-plv/koika), Kami (https://github.com/mit-plv/kami), Lutsig (https://github.com/CakeML/hardware) and silveroak (https://github.com/project-oak/silveroak). Closer to HLS there is also Vericert (https://github.com/ymherklotz/vericert). There may be other research project I am unaware of, feel free to add them in a reply, I am interested in it.

Stats

Basic vericert repo stats
1
89
7.1
9 months ago

ymherklotz/vericert is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of vericert is Coq.

Popular Comparisons

  1. vericert VS CompCert
  2. vericert VS silveroak
  3. vericert VS kami
  4. vericert VS Doubly-Linked-List-VST
  5. vericert VS ConCert
  6. vericert VS koika
  7. vericert VS hardware

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

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

Loading...