Packages tagged embedded
33 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (30), library (30), language (25), program (7), hardware (4), ai (3), argumentation (3), javascript (3), web (3), compiler (2), data (2), development (2), apache (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| CarneadesDSL | 15 | 0.0 | 2 | An implementation and DSL for the Carneades argumentation model. | (ai, argumentation, bsd3, embedded, library) | 2014-05-01 | 1.3 | BasVanGijzel |
| CarneadesIntoDung | 7 | 0.0 | 1 | A translation from the Carneades argumentation model into Dung's AFs. | (ai, argumentation, bsd3, embedded, library, program) | 2014-05-03 | 1.0 | BasVanGijzel |
| Dung | 12 | 0.0 | 2 | An implementation of the Dung argumentation frameworks. | (ai, argumentation, bsd3, embedded, library, program) | 2015-03-30 | 1.1 | BasVanGijzel |
| ImperativeHaskell | 30 | 2.0 | 1 | A library for writing Imperative style haskell. | (control, development, embedded, gpl, language, library) | 2012-06-07 | 2.0.0.1 | MatthewMirman |
| arduino-copilot | 59 | 2.0 | 0 | Arduino programming in haskell using the Copilot stream DSL | (bsd3, embedded, language, library) | 2023-03-09 | 1.7.7 | JoeyHess |
| atom | 56 | 0.0 | 4 | An EDSL for embedded hard realtime applications. | (bsd3, embedded, language, library) | 2015-06-03 | 1.0.13 | LeePike, TomHawkins |
| atom-msp430 | 13 | 0.0 | 1 | Convenience functions for using Atom with the MSP430 microcontroller family. | (embedded, library, mit) | 2014-01-06 | 0.5.3 | DanielBuckmaster |
| copilot | 158 | 2.0 | 5 | A stream DSL for writing embedded C programs. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-c99 | 90 | 0.0 | 7 | A compiler for Copilot targeting C99. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-cbmc | 22 | 0.0 | 2 | Copilot interface to a C model-checker. | (bsd3, embedded, language, library) | 2017-07-12 | 2.2.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-core | 91 | 0.0 | 9 | An intermediate representation for Copilot. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez, agoodloe, frankdedden |
| copilot-frp-sketch | 5 | 0.0 | 0 | FRP sketch programming with Copilot | (bsd3, embedded, language, library) | 2022-02-14 | 1.0.0 | JoeyHess |
| copilot-interpreter | 34 | 0.0 | 1 | Interpreter for Copilot. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez |
| copilot-language | 102 | 0.0 | 7 | A Haskell-embedded DSL for monitoring hard real-time distributed systems. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-libraries | 86 | 0.0 | 2 | Libraries for the Copilot language. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-prettyprinter | 34 | 0.0 | 3 | A prettyprinter of Copilot Specifications. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez |
| copilot-sbv | 28 | 0.0 | 3 | A compiler for CoPilot targeting SBV. | (bsd3, embedded, language, library) | 2017-07-12 | 2.2.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-theorem | 70 | 0.0 | 2 | k-induction for Copilot. | (bsd3, embedded, language, library) | 2023-05-08 | 3.15 | IvanPerez, LeePike, agoodloe, frankdedden |
| ecu | 25 | 0.0 | 1 | Tools for automotive ECU development. | (bsd3, embedded, program, utils) | 2010-11-24 | 0.0.8 | TomHawkins |
| fault-tree | 5 | 0.0 | 1 | A fault tree analysis library. | (bsd3, embedded, language, library) | 2011-01-04 | 0.0.0 | TomHawkins |
| improve | 62 | 0.0 | 2 | An imperative, verifiable programming language for high assurance applications. | (bsd3, embedded, formal-methods, language, library) | 2011-07-29 | 0.4.0 | TomHawkins |
| ion | 6 | 0.0 | 1 | EDSL for concurrent, realtime, embedded programming on top of Ivory | (bsd3, embedded, language, library, program) | 2016-09-23 | 1.0.0.0 | hodapp |
| perfect-hash-generator | 36 | 2.25 | 0 | Perfect minimal hashing implementation in native Haskell | (apache, data-structures, embedded, library, program) | 2022-06-27 | 1.0.0 | kostmo |
| processor-creative-kit | 6 | 0.0 | 1 | a creation kit for instruction sets and cpu simulators and development tools | (bsd3, embedded, hardware, language, library, system) | 2015-01-31 | 0.1.0.1 | takenobut |
| sketch-frp-copilot | 23 | 0.0 | 2 | Sketch programming with Copilot | (bsd3, embedded, language, library) | 2023-03-09 | 1.0.8 | JoeyHess |
| srec | 8 | 0.0 | 1 | Parsing and processing s-records. | (bsd3, data, embedded, library) | 2011-08-27 | 0.1.0 | TomHawkins |
| sunroof-compiler | 8 | 0.0 | 2 | Monadic Javascript Compiler | (bsd3, compiler, embedded, javascript, language, library, web) | 2013-04-12 | 0.2 | JanBracker |
| sunroof-examples | 8 | 0.0 | 1 | Tests for Sunroof | (bsd3, compiler, embedded, javascript, language, program, web) | 2014-06-27 | 0.2.2 | JanBracker |
| sunroof-server | 10 | 0.0 | 1 | Monadic Javascript Compiler - Server Utilities | (bsd3, embedded, javascript, language, library, web) | 2014-06-27 | 0.2.1 | JanBracker |
| sv2v | 8 | 0.0 | 0 | SystemVerilog to Verilog conversion | (bsd3, development, embedded, hardware, language, program) | 2022-07-23 | 0.0.10 | zachjs |
| vcd | 14 | 0.0 | 2 | Reading and writing VCD files. | (bsd3, data, embedded, hardware, library) | 2012-12-19 | 0.2.2 | TomHawkins |
| verilog | 16 | 0.0 | 1 | Verilog preprocessor, parser, and AST. | (bsd3, embedded, hardware, language, library) | 2015-03-26 | 0.0.11 | TomHawkins |
| zephyr-copilot | 15 | 0.0 | 0 | Embedded programming in haskell using the Copilot stream DSL and Zephyr | (bsd3, embedded, language, library) | 2023-03-09 | 1.0.8 | JoeyHess |