10

8

6

4

2


9.6
0.0
atom

9.4
0.0
copilot

8.6
0.0
improve

8.5
0.0
ecu

8.2
0.0
verilog

7.3
0.0
ion

15 Embedded packages and projects

  • atom

    9.6 0.0 Haskell
    An EDSL for embedded hard realtime applications.

  • copilot

    9.4 0.0 Haskell
    A stream DSL for writing embedded C programs.

  • improve

    8.6 0.0 Haskell
    An imperative, verifiable programming language for high assurance applications.

    • Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
    Promoted scoutapm.com

  • ecu

    8.5 0.0 Haskell
    Tools for automotive ECU development.

  • verilog

    8.2 0.0 Haskell
    Verilog preprocessor, parser, and AST.

  • ion

    7.3 0.0 Haskell
    EDSL for concurrent, realtime, embedded programming on top of Ivory

  • copilot-language

    6.9 0.0 Haskell
    A Haskell-embedded DSL for monitoring hard real-time distributed systems.

  • atom-msp430

    6.3 0.0 Haskell
    Convenience functions for using Atom with the MSP430 microcontroller family.

  • copilot-sbv

    5.8 0.0 Haskell
    A compiler for CoPilot targeting SBV.

  • fault-tree

    4.4 0.0 Haskell
    A fault tree analysis library.

  • processor-creative-kit

    4.4 0.0 Haskell
    a creation kit for instruction sets and cpu simulators and development tools

  • copilot-core

    3.9 0.0 Haskell
    An intermediate representation for Copilot.

  • copilot-libraries

    3.6 0.0 Haskell
    Libraries for the Copilot language.

  • copilot-cbmc

    3.0 0.0 Haskell
    Copilot interface to a C model-checker.

  • copilot-c99

    2.3 0.0 Haskell
    A compiler for Copilot targeting C99.

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
More from our partner

Add another 'Embedded' Package