hackage.haskell.org "embedded" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "embedded" keyword.
copilot-cbmc 2.2.1
Depends on CBMC http://www.cprover.org/cbmc/. Generates a driver to prove the Atom and SBV backe...9 versions - Latest release: over 8 years ago - 1 dependent package - 8.09 thousand downloads total - 4 maintainers
sunroof-server 0.2.1
Utilities to use Sunroof together with Kansas-Comet to create web applications.2 versions - Latest release: over 11 years ago - 2 dependent repositories - 1.79 thousand downloads total - 1 stars on GitHub - 1 maintainer
atom 1.0.13
24 versions - Latest release: over 10 years ago - 2 dependent packages - 7 dependent repositories - 22.8 thousand downloads total - 2 maintainersCarneadesDSL 1.3
6 versions - Latest release: almost 12 years ago - 1 dependent repositories - 6.03 thousand downloads total - 1 maintainerprocessor-creative-kit 0.1.0.1
You can create your processors with your own instruction set and cpu simulator and development to...1 version - Latest release: about 11 years ago - 1.26 thousand downloads total - 5 stars on GitHub - 1 maintainer
CarneadesIntoDung 1.0
2 versions - Latest release: over 11 years ago - 2.32 thousand downloads total - 1 maintainersketch-frp-copilot 1.0.11
12 versions - Latest release: 11 months ago - 2 dependent packages - 1.07 thousand downloads total - 1 maintainerverilog 0.0.11
A Verilog parser for Haskell.11 versions - Latest release: almost 11 years ago - 3 dependent repositories - 8.04 thousand downloads total - 36 stars on GitHub - 1 maintainer
sunroof-compiler 0.2
Monadic Javascript Compiler.1 version - Latest release: almost 13 years ago - 4 dependent repositories - 1.42 thousand downloads total - 73 stars on GitHub - 1 maintainer
ecu 0.0.8
A collection of tools developed and used by Eaton's electro-hydraulic software engineers. Most o...9 versions - Latest release: about 15 years ago - 7.45 thousand downloads total - 1 maintainer
copilot-libraries 4.6.1
Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific l...43 versions - Latest release: 22 days ago - 2 dependent packages - 4 dependent repositories - 12.8 thousand downloads total - 4 maintainers
copilot 4.6.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...60 versions - Latest release: 22 days ago - 5 dependent packages - 5 dependent repositories - 29.4 thousand downloads total - 4 maintainers
copilot-visualizer 4.6.1
Visualizer for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL...4 versions - Latest release: 22 days ago - 33 downloads total - 1 maintainer
copilot-language 4.6.1
The concrete syntax for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific lang...49 versions - Latest release: 22 days ago - 6 dependent packages - 6 dependent repositories - 18.3 thousand downloads total - 4 maintainers
copilot-theorem 4.6.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...36 versions - Latest release: 22 days ago - 3 dependent packages - 4 dependent repositories - 6.26 thousand downloads total - 4 maintainers
copilot-interpreter 4.6.1
Interpreter for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DS...22 versions - Latest release: 22 days ago - 1 dependent package - 3 dependent repositories - 1.66 thousand downloads total - 1 maintainer
copilot-prettyprinter 4.6.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...21 versions - Latest release: 22 days ago - 4 dependent packages - 3 dependent repositories - 1.41 thousand downloads total - 1 maintainer
fault-tree 0.0.0
1 version - Latest release: about 15 years ago - 1.35 thousand downloads total - 1 maintainercopilot-c99 4.6.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...49 versions - Latest release: 22 days ago - 5 dependent packages - 5 dependent repositories - 16.8 thousand downloads total - 4 maintainers
copilot-bluespec 4.6.1
This package is a back-end from Copilot to FPGAs in Bluespec. Copilot is a stream (i.e., infinit...12 versions - Latest release: 22 days ago - 368 downloads total - 3 maintainers
copilot-core 4.6.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...44 versions - Latest release: 22 days ago - 8 dependent packages - 9 dependent repositories - 14.6 thousand downloads total - 3 maintainers
reduxwise 0.1.0.0
ReduxWise analyzes Rust projects for real-time embedded system scheduling. It detects IO operatio...1 version - Latest release: 4 months ago - 9 downloads total - 0 stars on GitHub - 1 maintainer
ion 1.0.0.0
1 version - Latest release: over 9 years ago - 1.14 thousand downloads total - 1 maintainerimprove 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: over 14 years ago - 20.6 thousand downloads total - 57 stars on GitHub - 1 maintainer
emhell 0.1.1.0
Tooling for register exploration using SVD files and GDB-MI or OpenOCD backends2 versions - Latest release: about 2 years ago - 1 dependent package - 161 downloads total - 3 stars on GitHub - 1 maintainer
copilot-sbv 2.2.1
The Copilot back-end targeting SBV http://hackage.haskell.org/package/sbv. Copilot is a stream (...10 versions - Latest release: over 8 years ago - 1 dependent package - 1 dependent repositories - 8.98 thousand downloads total - 4 maintainers
perfect-hash-generator 1.0.0
Perfect minimal hashing implementation in native Haskell13 versions - Latest release: over 3 years ago - 6 dependent repositories - 5.05 thousand downloads total - 2 stars on GitHub - 1 maintainer
hocd 0.1.3.0
Support for OpenOCDs TCL interface5 versions - Latest release: about 2 years ago - 2 dependent packages - 319 downloads total - 1 stars on GitHub - 1 maintainer
data-svd 0.1.2.0
Parse, print, diff SVD files3 versions - Latest release: almost 2 years ago - 2 dependent packages - 223 downloads total - 0 stars on GitHub - 1 maintainer
ejdb2-binding 0.3.0.2
EJDB2 Haskell binding5 versions - Latest release: almost 5 years ago - 1.01 thousand downloads total - 2 stars on GitHub - 1 maintainer
bloohm 1.0.0.2
visual bloom filter to display process status as neotrellis m4 output2 versions - Latest release: over 1 year ago - 1 dependent package - 122 downloads total - 27 stars on GitHub - 1 maintainer
sunroof-examples 0.2.2
Example applications of the sunroof-compiler and sunroof-server package.2 versions - Latest release: over 11 years ago - 1.91 thousand downloads total - 5 stars on GitHub - 1 maintainer
srec 0.1.0
2 versions - Latest release: over 14 years ago - 1.91 thousand downloads total - 1 maintainerzephyr-copilot 1.0.10
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr proje...11 versions - Latest release: 11 months ago - 899 downloads total - 1 maintainer
atom-msp430 0.5.3
Definitions for using Atom with the MSP430 microcontroller family.4 versions - Latest release: about 12 years ago - 3.84 thousand downloads total - 11 stars on GitHub - 1 maintainer
ImperativeHaskell 2.0.0.1
A monad that uses GADTs and continuations to replicate what it is like to program in an imperativ...11 versions - Latest release: over 13 years ago - 10.1 thousand downloads total - 74 stars on GitHub - 1 maintainer
sv2v 0.0.13
A tool for coverting SystemVerilog to Verilog. Originally forked from the Verilog parser found at...7 versions - Latest release: 11 months ago - 669 downloads total - 670 stars on GitHub - 1 maintainer
arduino-copilot 1.7.9
arduino-copilot contains the basic building blocks to program your Arduino Nano, Arduino Uno or c...26 versions - Latest release: 11 months ago - 5.62 thousand downloads total - 1 maintainer
vcd 0.2.2
9 versions - Latest release: about 13 years ago - 1 dependent repositories - 6.67 thousand downloads total - 1 maintainercopilot-frp-sketch 1.0.0
1 version - Latest release: almost 4 years ago - 148 downloads total - 1 maintainerDung 1.1
4 versions - Latest release: almost 11 years ago - 1 dependent repositories - 4.1 thousand downloads total - 1 maintainer
Related Keywords
Propose Tags
41
library
38
bsd3
37
language
27
program
12
hardware
4
javascript
3
web
3
ai
3
argumentation
3
development
3
mit
2
data
2
compiler
2
haskell
2
conversion
1
systemverilog
1
gpl
1
control
1
verilog
1
nosql
1
json
1
yosys
1
ejdb2
1
ejdb
1
database
1
data-structures
1
apache
1
formal-methods
1
static-analysis
1
utils
1
cpu
1
assembly
1
system
1