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
CarneadesDSL150.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
Dung120.02An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-301.1BasVanGijzel
ImperativeHaskell302.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
arduino-copilot592.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2023-03-091.7.7JoeyHess
atom560.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atom-msp430130.01Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-060.5.3DanielBuckmaster
copilot1582.05A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2023-05-083.15IvanPerez, LeePike, agoodloe, frankdedden
copilot-c99900.07A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2023-05-083.15IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc220.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core910.09An intermediate representation for Copilot. (bsd3, embedded, language, library)2023-05-083.15IvanPerez, agoodloe, frankdedden
copilot-frp-sketch50.00FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-141.0.0JoeyHess
copilot-interpreter340.01Interpreter for Copilot. (bsd3, embedded, language, library)2023-05-083.15IvanPerez
copilot-language1020.07A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2023-05-083.15IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries860.02Libraries for the Copilot language. (bsd3, embedded, language, library)2023-05-083.15IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter340.03A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2023-05-083.15IvanPerez
copilot-sbv280.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem700.02k-induction for Copilot. (bsd3, embedded, language, library)2023-05-083.15IvanPerez, LeePike, agoodloe, frankdedden
ecu250.01Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-240.0.8TomHawkins
fault-tree50.01A fault tree analysis library. (bsd3, embedded, language, library)2011-01-040.0.0TomHawkins
improve620.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-generator362.250Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2022-06-271.0.0kostmo
processor-creative-kit60.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-copilot230.02Sketch programming with Copilot (bsd3, embedded, language, library)2023-03-091.0.8JoeyHess
srec80.01Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-270.1.0TomHawkins
sunroof-compiler80.02Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-120.2JanBracker
sunroof-examples80.01Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-270.2.2JanBracker
sunroof-server100.01Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-270.2.1JanBracker
sv2v80.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2022-07-230.0.10zachjs
vcd140.02Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-190.2.2TomHawkins
verilog160.01Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-260.0.11TomHawkins
zephyr-copilot150.00Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2023-03-091.0.8JoeyHess