Packages tagged embedded

37 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (34), library (34), language (26), program (10), 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
CarneadesDSL190.02An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-011.3BasVanGijzel
CarneadesIntoDung70.01A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-031.0BasVanGijzel
Dung110.02An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-301.1BasVanGijzel
ImperativeHaskell282.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
arduino-copilot892.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2024-02-221.7.8JoeyHess
atom640.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atom-msp430110.01Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-060.5.3DanielBuckmaster
copilot1502.06A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, LeePike, agoodloe, frankdedden
copilot-bluespec160.00A compiler for Copilot targeting FPGAs. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, ryanglscott, galoisinc
copilot-c991190.08A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc210.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core1090.010An intermediate representation for Copilot. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, agoodloe, frankdedden
copilot-frp-sketch40.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter530.01Interpreter for Copilot. (bsd3, embedded, language, library)2024-03-083.19IvanPerez
copilot-language1100.08A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries1090.03Libraries for the Copilot language. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter510.04A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2024-03-083.19IvanPerez
copilot-sbv250.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem840.03k-induction for Copilot. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, LeePike, agoodloe, frankdedden
data-svd120.01SVD (System view description) file handling (bsd3, embedded, library, program)2024-02-110.1.2.0srk
ecu220.01Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-240.0.8TomHawkins
emhell50.00Embedded shell (bsd3, embedded, library, program)2024-01-030.1.1.0srk
fault-tree30.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
hocd140.00OpenOCD Haskell interface (bsd3, embedded, library, program)2024-01-180.1.3.0srk
improve700.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
ion60.01EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-231.0.0.0hodapp
perfect-hash-generator372.250Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2022-06-271.0.0kostmo
processor-creative-kit100.01a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-310.1.0.1takenobut
sketch-frp-copilot460.02Sketch programming with Copilot (bsd3, embedded, language, library)2024-02-221.0.10JoeyHess
srec100.01Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-270.1.0TomHawkins
sunroof-compiler50.02Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-120.2JanBracker
sunroof-examples60.01Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-270.2.2JanBracker
sunroof-server50.01Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-270.2.1JanBracker
sv2v170.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2023-06-220.0.11zachjs
vcd270.02Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-190.2.2TomHawkins
verilog330.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
zephyr-copilot320.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2024-02-221.0.9JoeyHess