Hardware Alternatives
Similar projects and alternatives to hardware based on common topics and language
-
-
-
Onboard AI
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
-
-
kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification (by mit-plv)
-
silveroak
Formal specification and verification of hardware, especially for security and privacy.
-
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better hardware alternative or higher similarity.
hardware reviews and mentions
Posts with mentions or reviews of hardware.
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
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 hardware repo stats
2
22
0.0
10 months ago
CakeML/hardware is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of hardware is Standard ML.
Popular Comparisons
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com