Haskell Embedded

9.6

0.0

atom

9.4

0.0

copilot

8.7

0.0

ecu

8.4

0.0

improve

8.2

0.0

verilog

7.1

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.

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

ecu

8.7 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.1 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.7 0.0 Haskell

SBV backend for Copilot.
fault-tree

4.6 0.0 Haskell

A fault tree analysis library.
processor-creative-kit

4.4 0.0 Haskell

haskell prrocessor-creative-kit
copilot-core

3.9 0.0 Haskell

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

3.7 0.0 Haskell

Copilot libraries that use the Copilot language
copilot-cbmc

3.1 0.0 Haskell

cbmc based tool for verifying copilot programs
copilot-c99

2.5 0.0 Haskell

A C99-backend for Copilot

Popular Comparisons

Add another 'Embedded' Package