verilog alternatives and similar packages

Based on the "Embedded" category.
Alternatively, view verilog alternatives based on common mentions on social networks and blogs.

atom

9.6 0.0 verilog VS atom

A DSL for embedded hard realtime applications.
copilot

9.4 0.0 verilog VS copilot

A (Haskell DSL) stream language for generating hard real-time C code.

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

Promo scoutapm.com

ecu

8.7 0.0 verilog VS ecu

Utilities for automotive ECU development.
improve

8.5 0.0 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.
ion

7.3 0.0 verilog VS ion

An Ivory library inspired by Atom
copilot-language

6.7 0.0 verilog VS copilot-language

A Haskell-embedded DSL for monitoring hard real-time distributed systems.
atom-msp430

5.9 0.0 verilog VS atom-msp430

Definitions for using Atom with the MSP430 microcontroller family.
copilot-sbv

5.9 0.0 verilog VS copilot-sbv

SBV backend for Copilot.
copilot-core

4.2 0.0 verilog VS copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
processor-creative-kit

4.0 0.0 verilog VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-libraries

4.0 0.0 verilog VS copilot-libraries

Copilot libraries that use the Copilot language
fault-tree

4.0 0.0 verilog VS fault-tree

A fault tree analysis library.
copilot-cbmc

3.4 0.0 verilog VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

2.8 0.0 verilog VS copilot-c99

A C99-backend for Copilot