Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Embedded packages

Showing projects tagged as Embedded

  • 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.
  • sunroof-compiler

    9.3 0.0 Haskell
    Monadic Javascript Compiler
  • ecu

    8.5 0.0 Haskell
    Utilities for automotive ECU development.
  • ImperativeHaskell

    8.5 0.0 Haskell
    Proof that Haskell can look and act like an imperative language.
  • improve

    8.5 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.
  • sunroof-examples

    8.4 0.0 Haskell
    Tests for Sunroof
  • sunroof-server

    8.3 0.0 Haskell
    Monadic Javascript Compiler - Server Utilities
  • verilog

    8.3 0.0 Haskell
    A Verilog parser for Haskell.
  • ion

    7.4 0.0 Haskell
    An Ivory library inspired by Atom
  • copilot-language

    6.7 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.
  • vcd

    4.6 0.0 Haskell
    A small library for generating VCD files.
  • fault-tree

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

    4.1 0.0 Haskell
    haskell prrocessor-creative-kit
  • CarneadesDSL

    3.9 0.0 Haskell
    An implementation and DSL for the Carneades argumentation model.
  • copilot-core

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

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

    2.7 0.0 Haskell
    cbmc based tool for verifying copilot programs
  • srec

    2.7 0.0 Haskell
    Reading S-Record files from Haskell.
  • copilot-c99

    2.1 0.0 Haskell
    A C99-backend for Copilot
  • perfect-hash-generator

    2.0 0.0 Haskell
    Perfect minimal hashing implementation in native Haskell