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.

Sevalla - Deploy and host your apps and databases, now with $50 credit!

Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

Promo sevalla.com

ecu

8.8 0.0 verilog VS ecu

Utilities for automotive ECU development.
improve

8.4 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

6.9 0.0 verilog VS ion

An Ivory library inspired by Atom
copilot-language

6.5 0.0 verilog VS copilot-language

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

6.0 0.0 verilog VS atom-msp430

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

5.7 0.0 verilog VS copilot-sbv

SBV backend for Copilot.
fault-tree

4.6 0.0 verilog VS fault-tree

A fault tree analysis library.
processor-creative-kit

4.4 0.0 verilog VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-core

3.9 0.0 verilog VS copilot-core

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

3.7 0.0 verilog VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

3.2 0.0 verilog VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

2.6 0.0 verilog VS copilot-c99

A C99-backend for Copilot