Silveroak Alternatives

Similar projects and alternatives to silveroak

• koika

  2 128 0.0 Coq silveroak VS koika

  A core language for rule-based hardware design 🦑

  

• vericert

  1 80 8.3 Coq silveroak VS vericert

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

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• kami

  2 136 3.6 Coq silveroak VS kami

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

  

• practical-fm

  4 460 4.1 silveroak VS practical-fm

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

• hacspec

  3 235 5.1 Coq silveroak VS hacspec

  Discontinued Please see https://github.com/hacspec/hax

  

• crucible

  2 593 9.4 Rust silveroak VS crucible

  Crucible is a library for symbolic simulation of imperative programs

  

• saw-script

  1 433 9.4 Haskell silveroak VS saw-script

  The SAW scripting language.

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• hardware

  2 23 0.0 Standard ML silveroak VS hardware

  Verilog development and verification project for HOL4 (by CakeML)