10

8

6

4

2


9.6
0.0
atom

9.4
0.0
copilot

8.8
0.0
ecu

8.4
0.0
improve

8.2
0.0
verilog

7.0
0.0
ion

15 Embedded packages and projects

  • atom

    9.6 0.0 Haskell
    A DSL for embedded hard realtime applications.

  • copilot

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

    • Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
    Promo coderabbit.ai
    CodeRabbit Logo

  • ecu

    8.8 0.0 Haskell
    Utilities for automotive ECU development.

  • improve

    8.4 0.0 Haskell
    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 Haskell
    A Verilog parser for Haskell.

  • ion

    7.0 0.0 Haskell
    An Ivory library inspired by Atom

  • copilot-language

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

  • atom-msp430

    6.1 0.0 Haskell
    Definitions for using Atom with the MSP430 microcontroller family.

  • copilot-sbv

    5.8 0.0 Haskell
    SBV backend for Copilot.

  • fault-tree

    4.7 0.0 Haskell
    A fault tree analysis library.

  • processor-creative-kit

    4.5 0.0 Haskell
    haskell prrocessor-creative-kit

  • copilot-core

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

  • copilot-libraries

    3.8 0.0 Haskell
    Copilot libraries that use the Copilot language

  • copilot-cbmc

    3.3 0.0 Haskell
    cbmc based tool for verifying copilot programs

  • copilot-c99

    2.8 0.0 Haskell
    A C99-backend for Copilot
SaaSHub - Software Alternatives and Reviews
featured www.saashub.com

Popular Comparisons

Add another 'Embedded' Package