Packages tagged embedded
38 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (35), library (35), language (26), program (11), 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 | 9 | 0.0 | 2 | An implementation and DSL for the Carneades argumentation model. | (ai, argumentation, bsd3, embedded, library) | 2014-05-01 | 1.3 | BasVanGijzel |
| CarneadesIntoDung | 5 | 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 | 10 | 0.0 | 2 | An implementation of the Dung argumentation frameworks. | (ai, argumentation, bsd3, embedded, library, program) | 2015-03-30 | 1.1 | BasVanGijzel |
| ImperativeHaskell | 14 | 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 | 50 | 2.0 | 0 | Arduino programming in haskell using the Copilot stream DSL | (bsd3, embedded, language, library) | 2024-02-22 | 1.7.8 | JoeyHess |
| atom | 34 | 0.0 | 4 | An EDSL for embedded hard realtime applications. | (bsd3, embedded, language, library) | 2015-06-03 | 1.0.13 | LeePike, TomHawkins |
| atom-msp430 | 2 | 0.0 | 1 | Convenience functions for using Atom with the MSP430 microcontroller family. | (embedded, library, mit) | 2014-01-06 | 0.5.3 | DanielBuckmaster |
| bloohm | 4 | 0.0 | 0 | visual bloom filter for neotrellis m4 output | (bsd3, embedded, library, program) | 2024-05-05 | 1.0.0.2 | ShaeErisson |
| copilot | 102 | 2.0 | 6 | A stream DSL for writing embedded C programs. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-bluespec | 6 | 0.0 | 0 | A compiler for Copilot targeting FPGAs. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, ryanglscott, galoisinc |
| copilot-c99 | 42 | 0.0 | 8 | A compiler for Copilot targeting C99. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-cbmc | 11 | 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 | 75 | 0.0 | 11 | An intermediate representation for Copilot. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, agoodloe, frankdedden |
| copilot-frp-sketch | 3 | 0.0 | 0 | FRP sketch programming with Copilot | (bsd3, embedded, language, library) | 2022-02-14 | 1.0.0 | JoeyHess |
| copilot-interpreter | 46 | 0.0 | 1 | Interpreter for Copilot. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez |
| copilot-language | 118 | 0.0 | 8 | A Haskell-embedded DSL for monitoring hard real-time distributed systems. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-libraries | 88 | 0.0 | 3 | Libraries for the Copilot language. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| copilot-prettyprinter | 52 | 0.0 | 4 | A prettyprinter of Copilot Specifications. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez |
| copilot-sbv | 2 | 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 | 3 | k-induction for Copilot. | (bsd3, embedded, language, library) | 2024-11-08 | 4.1 | IvanPerez, LeePike, agoodloe, frankdedden |
| data-svd | 4 | 0.0 | 1 | SVD (System view description) file handling | (bsd3, embedded, library, program) | 2024-02-11 | 0.1.2.0 | srk |
| ecu | 5 | 0.0 | 1 | Tools for automotive ECU development. | (bsd3, embedded, program, utils) | 2010-11-24 | 0.0.8 | TomHawkins |
| emhell | 5 | 0.0 | 0 | Embedded shell | (bsd3, embedded, library, program) | 2024-01-03 | 0.1.1.0 | srk |
| fault-tree | 1 | 0.0 | 1 | A fault tree analysis library. | (bsd3, embedded, language, library) | 2011-01-04 | 0.0.0 | TomHawkins |
| hocd | 6 | 0.0 | 0 | OpenOCD Haskell interface | (bsd3, embedded, library, program) | 2024-01-18 | 0.1.3.0 | srk |
| improve | 46 | 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 | 2 | 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 | 26 | 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 | 9 | 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 | 17 | 0.0 | 2 | Sketch programming with Copilot | (bsd3, embedded, language, library) | 2024-02-22 | 1.0.10 | JoeyHess |
| srec | 6 | 0.0 | 1 | Parsing and processing s-records. | (bsd3, data, embedded, library) | 2011-08-27 | 0.1.0 | TomHawkins |
| sunroof-compiler | 4 | 0.0 | 2 | Monadic Javascript Compiler | (bsd3, compiler, embedded, javascript, language, library, web) | 2013-04-12 | 0.2 | JanBracker |
| sunroof-examples | 5 | 0.0 | 1 | Tests for Sunroof | (bsd3, compiler, embedded, javascript, language, program, web) | 2014-06-27 | 0.2.2 | JanBracker |
| sunroof-server | 4 | 0.0 | 1 | Monadic Javascript Compiler - Server Utilities | (bsd3, embedded, javascript, language, library, web) | 2014-06-27 | 0.2.1 | JanBracker |
| sv2v | 10 | 0.0 | 0 | SystemVerilog to Verilog conversion | (bsd3, development, embedded, hardware, language, program) | 2024-05-07 | 0.0.12 | zachjs |
| vcd | 15 | 0.0 | 2 | Reading and writing VCD files. | (bsd3, data, embedded, hardware, library) | 2012-12-19 | 0.2.2 | TomHawkins |
| verilog | 15 | 0.0 | 1 | Verilog preprocessor, parser, and AST. | (bsd3, embedded, hardware, language, library) | 2015-03-26 | 0.0.11 | TomHawkins |
| zephyr-copilot | 12 | 0.0 | 0 | Embedded programming in haskell using the Copilot stream DSL and Zephyr | (bsd3, embedded, language, library) | 2024-02-22 | 1.0.9 | JoeyHess |