Koika Alternatives

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

  • kami

    koika VS kami

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

  • vericert

    koika VS vericert

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

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • hardware

    koika VS hardware

    Verilog development and verification project for HOL4 (by CakeML)

  • silveroak

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

  • CompCert

    koika VS CompCert

    The CompCert formally-verified C compiler

  • 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 🚀.

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

koika reviews and mentions

Posts with mentions or reviews of koika. 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 koika repo stats
1
94
4.6
7 months ago

mit-plv/koika is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

Download talent.io’s Tech Salary Report
Median salaries, most in-demand technologies, state of the remote work... all you need to know your worth on the market by tech recruitment platform talent.io
www.talent.io
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.