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
Description
Tags
Last U/L
Maintainer
CarneadesDSL140.0An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-01BasVanGijzel
CarneadesIntoDung40.0A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-03BasVanGijzel
Dung90.0An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-30BasVanGijzel
ImperativeHaskell252.0A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-07MatthewMirman
arduino-copilot522.0Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2022-11-14JoeyHess
atom280.0An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-03LeePike, TomHawkins
atom-msp43080.0Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-06DanielBuckmaster
copilot652.0A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2022-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-c99510.0A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2022-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc150.0Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
copilot-core430.0An intermediate representation for Copilot. (bsd3, embedded, language, library)2022-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-frp-sketch30.0FRP sketch programming with Copilot (bsd3, embedded, language, library)2022-02-14JoeyHess
copilot-interpreter170.0Interpreter for Copilot. (bsd3, embedded, language, library)2022-11-08IvanPerez
copilot-language510.0A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2022-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries440.0Libraries for the Copilot language. (bsd3, embedded, language, library)2022-11-08IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter120.0A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2022-11-08IvanPerez
copilot-sbv130.0A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-12IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem350.0k-induction for Copilot. (bsd3, embedded, language, library)2022-11-08IvanPerez, LeePike, agoodloe, frankdedden
ecu160.0Tools for automotive ECU development. (bsd3, embedded, program, utils)2010-11-24TomHawkins
fault-tree20.0A fault tree analysis library. (bsd3, embedded, language, library)2011-01-04TomHawkins
improve340.0An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-29TomHawkins
ion60.0EDSL for concurrent, realtime, embedded programming on top of Ivory (bsd3, embedded, language, library, program)2016-09-23hodapp
perfect-hash-generator462.25Perfect minimal hashing implementation in native Haskell (apache, data-structures, embedded, library, program)2022-06-27kostmo
processor-creative-kit40.0a creation kit for instruction sets and cpu simulators and development tools (bsd3, embedded, hardware, language, library, system)2015-01-31takenobut
sketch-frp-copilot290.0Sketch programming with Copilot (bsd3, embedded, language, library)2022-11-14JoeyHess
srec40.0Parsing and processing s-records. (bsd3, data, embedded, library)2011-08-27TomHawkins
sunroof-compiler50.0Monadic Javascript Compiler (bsd3, compiler, embedded, javascript, language, library, web)2013-04-12JanBracker
sunroof-examples40.0Tests for Sunroof (bsd3, compiler, embedded, javascript, language, program, web)2014-06-27JanBracker
sunroof-server30.0Monadic Javascript Compiler - Server Utilities (bsd3, embedded, javascript, language, library, web)2014-06-27JanBracker
sv2v80.0SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2022-07-23zachjs
vcd170.0Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-19TomHawkins
verilog180.0Verilog preprocessor, parser, and AST. (bsd3, embedded, hardware, language, library)2015-03-26TomHawkins
zephyr-copilot230.0Embedded programming in haskell using the Copilot stream DSL and Zephyr (bsd3, embedded, language, library)2022-11-14JoeyHess