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
CarneadesDSL420.0An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-01BasVanGijzel
CarneadesIntoDung240.0A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-03BasVanGijzel
Dung310.0An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-30BasVanGijzel
ImperativeHaskell462.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
atom1020.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
copilot860.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-c99400.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library, program)2017-07-12LeePike, agoodloe
copilot-cbmc360.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-core330.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-language520.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-libraries350.0Libraries for the Copilot language. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-sbv420.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
copilot-theorem150.0k-induction for Copilot. (bsd3, embedded, language, library)2017-07-12LeePike, agoodloe
ecu380.0Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-24TomHawkins
fault-tree90.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
improve360.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
ion90.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
perfect-hash-generator1402.0Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2018-02-18kostmo
processor-creative-kit80.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
srec80.0Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-27TomHawkins
sunroof-compiler130.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples110.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server120.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
vcd190.0Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-19TomHawkins
verilog170.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins