Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems. Learn more →
Silveroak Alternatives
Similar projects and alternatives to silveroak
-
-
InfluxDB
InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
-
-
kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification (by mit-plv)
-
-
-
-
-
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.
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better silveroak alternative or higher similarity.
silveroak discussion
silveroak reviews and mentions
Posts with mentions or reviews of silveroak.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-23.
-
Type Theory Forall Podcast #13 - C/C++, Emacs, Haskell, and Coq. The Journey (John Wiegley)
Some other examples, Google has some people using Coq for hardware synthesis silveroak, there is a paper on using Coq for verifying some data structure at Facebook/Meta this year at CPP.
-
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.
- Silveroak - Formal specification and verification of hardware
-
A note from our sponsor - InfluxDB
influxdata.com | 30 Apr 2025
Stats
Basic silveroak repo stats
3
97
7.3
almost 3 years ago
project-oak/silveroak is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of silveroak is Coq.
Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com