10

8

6

4

2


9.6
0.0

9.4
0.0

8.6
0.0
ecu

8.4
0.0

8.2
0.0

7.2
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.
  • Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.
    Promo
  • ecu

    8.6 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.2 0.0 Haskell
    An Ivory library inspired by Atom
  • copilot-language

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

    5.8 0.0 Haskell
    Definitions for using Atom with the MSP430 microcontroller family.
  • copilot-sbv

    5.8 0.0 Haskell
    SBV backend for Copilot.
  • copilot-core

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

    3.8 0.0 Haskell
    A fault tree analysis library.
  • processor-creative-kit

    3.8 0.0 Haskell
    haskell prrocessor-creative-kit
  • copilot-libraries

    3.8 0.0 Haskell
    Copilot libraries that use the Copilot language
  • copilot-cbmc

    3.2 0.0 Haskell
    cbmc based tool for verifying copilot programs
  • copilot-c99

    2.6 0.0 Haskell
    A C99-backend for Copilot

Add another 'Embedded' Package