Coq Verilog Projects
RISCV CPU implementation in SystemVerilog
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.
Coq Verilog related posts
There's an ongoing effort to rewrite Principia Mathematica using Coq
5 projects | /r/math | 3 Dec 2021