vericert

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

Vericert Alternatives

Similar projects and alternatives to vericert based on common topics and language

  • koika

    vericert VS koika

    A core language for rule-based hardware design 🦑

  • kami

    vericert VS kami

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

  • Scout APM

    Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.

  • CompCert

    vericert VS CompCert

    The CompCert formally-verified C compiler

  • silveroak

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

  • hardware

    vericert VS hardware

    Verilog development and verification project for HOL4 (by CakeML)

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

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.

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 | reddit.com/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
63
8.8
6 days ago

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

Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
www.sonarlint.org
Find remote jobs at our new job board 99remotejobs.com. There are 8 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.