Packages tagged embedded

26 packages have this tag.

[Merge tag] (trustees only)

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

Last U/L
CarneadesDSL510.0An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-01BasVanGijzel
CarneadesIntoDung190.0A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-03BasVanGijzel
Dung450.0An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-30BasVanGijzel
ImperativeHaskell922.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
atom1780.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atom-msp430270.0Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-06DanielBuckmaster
copilot1920.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-c99770.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-cbmc730.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-core670.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-language950.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-libraries690.0Libraries for the Copilot language. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-sbv790.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-theorem120.0k-induction for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
ecu620.0Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-24TomHawkins
fault-tree60.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
improve1590.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
ion40.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
perfect-hash-generator1642.0Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2018-02-18kostmo
processor-creative-kit60.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
srec120.0Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-27TomHawkins
sunroof-compiler90.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples190.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server140.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
vcd500.0Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-19TomHawkins
verilog640.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins