Popularity
8.2
Stable
Activity
0.0
Stable
32
9
9
Monthly Downloads: 32
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
verilog alternatives and similar packages
Based on the "Embedded" category.
Alternatively, view verilog alternatives based on common mentions on social networks and blogs.
-
improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink. -
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
InfluxDB - 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.
Promo
www.influxdata.com
Do you think we are missing an alternative of verilog or a related project?