Packages tagged embedded

36 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (33), library (33), language (25), 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
CarneadesDSL70.02An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-011.3BasVanGijzel
CarneadesIntoDung30.01A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-031.0BasVanGijzel
Dung80.02An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-301.1BasVanGijzel
ImperativeHaskell132.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
arduino-copilot582.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2023-03-091.7.7JoeyHess
atom660.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atom-msp43060.01Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-060.5.3DanielBuckmaster
copilot802.05A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-c99860.07A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc180.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core740.09An intermediate representation for Copilot. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, agoodloe, frankdedden
copilot-frp-sketch40.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter390.01Interpreter for Copilot. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez
copilot-language700.07A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries720.02Libraries for the Copilot language. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter440.03A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez
copilot-sbv130.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem580.02k-induction for Copilot. (bsd3, embedded, language, library)2024-01-083.18.1IvanPerez, LeePike, agoodloe, frankdedden
data-svd260.01SVD (System view description) file handling (bsd3, embedded, library, program)2024-02-110.1.2.0srk
ecu150.01Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-240.0.8TomHawkins
emhell70.00Embedded shell (bsd3, embedded, library, program)2024-01-030.1.1.0srk
fault-tree20.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
hocd190.00OpenOCD Haskell interface (bsd3, embedded, library, program)2024-01-180.1.3.0srk
improve310.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
ion40.01EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-231.0.0.0hodapp
perfect-hash-generator422.250Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2022-06-271.0.0kostmo
processor-creative-kit260.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-copilot190.02Sketch programming with Copilot (bsd3, embedded, language, library)2023-03-091.0.8JoeyHess
srec100.01Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-270.1.0TomHawkins
sunroof-compiler30.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
sv2v250.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2023-06-220.0.11zachjs
vcd390.02Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-190.2.2TomHawkins
verilog140.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
zephyr-copilot240.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2023-03-091.0.8JoeyHess