Silveroak Alternatives

Similar projects and alternatives to silveroak

• koika

  1 103 3.9 Coq silveroak VS koika

  A core language for rule-based hardware design 🦑

  

• practical-fm

  - 403 1.7 silveroak VS practical-fm

  A gently curated list of companies using verification formal methods in industry

• SonarQube

  www.sonarqube.org

  sponsored

  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.

  

• vericert

  1 67 8.0 Coq silveroak VS vericert

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

• crucible

  1 504 9.3 HTML silveroak VS crucible

  Crucible is a library for symbolic simulation of imperative programs

  

• saw-script

  1 407 9.4 Haskell silveroak VS saw-script

  The SAW scripting language.

  

• kami

  1 122 0.0 Coq silveroak VS kami

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

  

• hardware

  1 18 0.0 Standard ML silveroak VS hardware

  Verilog development and verification project for HOL4 (by CakeML)

  

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.