Verilog Alternatives

Similar projects and alternatives to verilog

• copilot-language

  - 9 0.0 Haskell verilog VS copilot-language

• atom

  - 253 0.0 Haskell verilog VS atom

  A DSL for embedded hard realtime applications. (by tomahawkins)

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• ion

  - 13 0.0 Haskell verilog VS ion

  An Ivory library inspired by Atom (by HaskellEmbedded)

  

• copilot-core

  - 2 0.0 Haskell verilog VS copilot-core

  Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.

• atom-msp430

  - 11 0.0 Haskell verilog VS atom-msp430

  Definitions for using Atom with the MSP430 microcontroller family.

• copilot-cbmc

  - 4 0.0 Haskell verilog VS copilot-cbmc

  cbmc based tool for verifying copilot programs

• improve

  - 57 0.0 Haskell verilog VS 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.

• 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.

  

• processor-creative-kit

  - 5 0.0 Haskell verilog VS processor-creative-kit

  haskell prrocessor-creative-kit

• copilot-libraries

  - 2 0.0 Haskell verilog VS copilot-libraries

  Copilot libraries that use the Copilot language

• ecu

  - 38 0.0 Haskell verilog VS ecu

  Utilities for automotive ECU development.