Packages tagged embedded

25 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (23), library (23), language (18), program (7), ai (3), argumentation (3), hardware (3), javascript (3), web (3), compiler (2), data (2), control (1), ...

Name
DLs
Rating
Description
Tags
Maintainer
CarneadesDSL370.0An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)BasVanGijzel
CarneadesIntoDung140.0A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)BasVanGijzel
Dung230.0An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)BasVanGijzel
ImperativeHaskell512.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)MatthewMirman
atom1000.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)LeePike, TomHawkins
atom-msp430140.0Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)DanielBuckmaster
copilot1050.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)LeePike, agoodloe
copilot-c99370.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library, program)LeePike, agoodloe
copilot-cbmc330.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)LeePike, agoodloe
copilot-core370.0An intermediate representation for Copilot. (bsd3, embedded, language, library)LeePike, agoodloe
copilot-language450.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)LeePike, agoodloe
copilot-libraries320.0Libraries for the Copilot language. (bsd3, embedded, language, library)LeePike, agoodloe
copilot-sbv400.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)LeePike, agoodloe
copilot-theorem110.0k-induction for Copilot. (bsd3, embedded, language, library)LeePike, agoodloe
ecu410.0Tools for automotive ECU development. (bsd3, embedded, program, utils)TomHawkins
fault-tree40.0A fault tree analysis library. (bsd3, embedded, language, library)TomHawkins
improve630.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)TomHawkins
ion40.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)hodapp
processor-creative-kit20.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)takenobut
srec50.0Parsing and processing s-records. (bsd3, data, embedded, library)TomHawkins
sunroof-compiler40.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)JanBracker
sunroof-examples30.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)JanBracker
sunroof-server30.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)JanBracker
vcd190.0Reading and writing VCD files. (bsd3, data, embedded, hardware, library)TomHawkins
verilog130.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)TomHawkins