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
CarneadesDSL280.02An implementation and DSL for the Carneades argumentation model. (ai, argumentation, bsd3, embedded, library)2014-05-011.3BasVanGijzel
CarneadesIntoDung130.01A translation from the Carneades argumentation model into Dung's AFs. (ai, argumentation, bsd3, embedded, library, program)2014-05-031.0BasVanGijzel
Dung160.02An implementation of the Dung argumentation frameworks. (ai, argumentation, bsd3, embedded, library, program)2015-03-301.1BasVanGijzel
ImperativeHaskell422.01A library for writing Imperative style haskell. (control, development, embedded, gpl, language, library)2012-06-072.0.0.1MatthewMirman
arduino-copilot842.00Arduino programming in haskell using the Copilot stream DSL (bsd3, embedded, language, library)2023-01-131.7.4JoeyHess
atom560.04An EDSL for embedded hard realtime applications. (bsd3, embedded, language, library)2015-06-031.0.13LeePike, TomHawkins
atom-msp430160.01Convenience functions for using Atom with the MSP430 microcontroller family. (embedded, library, mit)2014-01-060.5.3DanielBuckmaster
copilot1242.05A stream DSL for writing embedded C programs. (bsd3, embedded, language, library)2023-01-083.12IvanPerez, LeePike, agoodloe, frankdedden
copilot-c99950.07A compiler for Copilot targeting C99. (bsd3, embedded, language, library)2023-01-083.12IvanPerez, LeePike, agoodloe, frankdedden
copilot-cbmc280.02Copilot interface to a C model-checker. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-core820.09An intermediate representation for Copilot. (bsd3, embedded, language, library)2023-01-083.12IvanPerez, 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-01-083.12IvanPerez
copilot-language1020.07A Haskell-embedded DSL for monitoring hard real-time distributed systems. (bsd3, embedded, language, library)2023-01-083.12IvanPerez, LeePike, agoodloe, frankdedden
copilot-libraries860.02Libraries for the Copilot language. (bsd3, embedded, language, library)2023-01-083.12IvanPerez, LeePike, agoodloe, frankdedden
copilot-prettyprinter330.02A prettyprinter of Copilot Specifications. (bsd3, embedded, language, library)2023-01-083.12IvanPerez
copilot-sbv310.03A compiler for CoPilot targeting SBV. (bsd3, embedded, language, library)2017-07-122.2.1IvanPerez, LeePike, agoodloe, frankdedden
copilot-theorem710.02k-induction for Copilot. (bsd3, embedded, language, library)2023-01-083.12IvanPerez, LeePike, agoodloe, frankdedden
ecu150.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
improve380.02An imperative, verifiable programming language for high assurance applications. (bsd3, embedded, formal-methods, language, library)2011-07-290.4.0TomHawkins
ion90.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-kit110.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-copilot400.02Sketch programming with Copilot (bsd3, embedded, language, library)2023-01-131.0.5JoeyHess
srec70.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
sv2v150.00SystemVerilog to Verilog conversion (bsd3, development, embedded, hardware, language, program)2022-07-230.0.10zachjs
vcd170.02Reading and writing VCD files. (bsd3, data, embedded, hardware, library)2012-12-190.2.2TomHawkins
verilog290.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)2023-01-131.0.5JoeyHess