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
CarneadesDSL150.02An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-011.3BasVanGijzel
CarneadesIntoDung60.01A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-031.0BasVanGijzel
Dung90.02An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-301.1BasVanGijzel
ImperativeHaskell212.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
arduino-copilot752.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2024-02-221.7.8JoeyHess
atom500.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atom-msp43080.01Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-060.5.3DanielBuckmaster
bloohm100.00visual bloom filter for neotrellis m4 output (bsd3, embedded, library, program)2024-05-051.0.0.2ShaeErisson
copilot1242.06A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-bluespec60.00A compiler for Copilot targeting FPGAs. (bsd3, embedded, language, library)2024-03-083.19IvanPerez, ryanglscott, galoisinc
copilot-c99880.08A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc240.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core1080.011An intermediate representation for Copilot. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez, agoodloe, frankdedden
copilot-frp-sketch50.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter430.01Interpreter for Copilot. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez
copilot-language1070.08A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries810.03Libraries for the Copilot language. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter420.04A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez
copilot-sbv200.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem710.03k-induction for Copilot. (bsd3, embedded, language, library)2024-05-083.19.1IvanPerez, LeePike, agoodloe, frankdedden
data-svd130.01SVD (System view description) file handling (bsd3, embedded, library, program)2024-02-110.1.2.0srk
ecu170.01Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-240.0.8TomHawkins
emhell90.00Embedded shell (bsd3, embedded, library, program)2024-01-030.1.1.0srk
fault-tree50.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
hocd240.00OpenOCD Haskell interface (bsd3, embedded, library, program)2024-01-180.1.3.0srk
improve390.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
ion50.01EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-231.0.0.0hodapp
perfect-hash-generator282.250Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2022-06-271.0.0kostmo
processor-creative-kit120.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-copilot360.02Sketch programming with Copilot (bsd3, embedded, language, library)2024-02-221.0.10JoeyHess
srec90.01Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-270.1.0TomHawkins
sunroof-compiler60.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-server70.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)2024-05-070.0.12zachjs
vcd280.02Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-190.2.2TomHawkins
verilog190.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
zephyr-copilot180.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2024-02-221.0.9JoeyHess