ecu alternatives and similar packages

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

atom

9.6 0.0 ecu VS atom

A DSL for embedded hard realtime applications.
copilot

9.4 0.0 ecu VS copilot

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

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com

improve

8.4 0.0 ecu 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.
verilog

8.2 0.0 ecu VS verilog

A Verilog parser for Haskell.
ion

7.0 0.0 ecu VS ion

An Ivory library inspired by Atom
copilot-language

6.6 0.0 ecu VS copilot-language

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

6.2 0.0 ecu VS atom-msp430

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

5.9 0.0 ecu VS copilot-sbv

SBV backend for Copilot.
fault-tree

4.9 0.0 ecu VS fault-tree

A fault tree analysis library.
processor-creative-kit

4.7 0.0 ecu VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-core

4.3 0.0 ecu VS copilot-core

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

4.0 0.0 ecu VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

3.5 0.0 ecu VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

3.0 0.0 ecu VS copilot-c99

A C99-backend for Copilot