hackage.haskell.org "embedded" keyword
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 - 171 downloads total - 3 stars on GitHub - 1 maintainer
data-svd 0.1.2.0
Parse, print, diff SVD files3 versions - Latest release: about 2 years ago - 2 dependent packages - 237 downloads total - 0 stars on GitHub - 1 maintainer
copilot-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: about 1 month ago - 5 dependent packages - 5 dependent repositories - 17 thousand downloads total - 4 maintainers
fault-tree 0.0.0
1 version - Latest release: about 15 years ago - 1.35 thousand downloads total - 1 maintainercopilot 4.6.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...60 versions - Latest release: about 1 month ago - 5 dependent packages - 5 dependent repositories - 29.6 thousand downloads total - 4 maintainers
bloohm 1.0.0.2
visual bloom filter to display process status as neotrellis m4 output2 versions - Latest release: almost 2 years ago - 1 dependent package - 133 downloads total - 27 stars on GitHub - 1 maintainer
copilot-core 4.6.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...44 versions - Latest release: about 1 month ago - 8 dependent packages - 9 dependent repositories - 14.9 thousand downloads total - 3 maintainers
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: about 1 month ago - 6 dependent packages - 6 dependent repositories - 18.5 thousand downloads total - 4 maintainers
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
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: about 1 month ago - 2 dependent packages - 4 dependent repositories - 13 thousand downloads total - 4 maintainers
copilot-frp-sketch 1.0.0
1 version - Latest release: about 4 years ago - 153 downloads total - 1 maintainerperfect-hash-generator 1.0.0
Perfect minimal hashing implementation in native Haskell13 versions - Latest release: over 3 years ago - 6 dependent repositories - 5.13 thousand downloads total - 2 stars on GitHub - 1 maintainer
srec 0.1.0
2 versions - Latest release: over 14 years ago - 1.92 thousand downloads total - 1 maintainerejdb2-binding 0.3.0.2
EJDB2 Haskell binding5 versions - Latest release: almost 5 years ago - 1.03 thousand downloads total - 2 stars on GitHub - 1 maintainer
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: about 1 month ago - 3 dependent packages - 4 dependent repositories - 6.44 thousand downloads total - 4 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 - 13 downloads total - 0 stars on GitHub - 1 maintainer
vcd 0.2.2
9 versions - Latest release: about 13 years ago - 1 dependent repositories - 6.71 thousand downloads total - 1 maintainerhocd 0.1.3.0
Support for OpenOCDs TCL interface5 versions - Latest release: about 2 years ago - 2 dependent packages - 342 downloads total - 1 stars on GitHub - 1 maintainer
ion 1.0.0.0
1 version - Latest release: over 9 years ago - 1.14 thousand downloads total - 1 maintainersv2v 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 - 697 downloads total - 670 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
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.49 thousand downloads total - 1 maintainer
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: about 1 month ago - 409 downloads total - 3 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: about 1 month ago - 1 dependent package - 3 dependent repositories - 1.73 thousand downloads total - 1 maintainer
improve 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: over 14 years ago - 20.8 thousand downloads total - 57 stars on GitHub - 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.86 thousand downloads total - 11 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.72 thousand downloads total - 1 maintainer
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
zephyr-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 - 936 downloads total - 1 maintainer
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: almost 12 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
copilot-visualizer 4.6.1
Visualizer for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL...4 versions - Latest release: about 1 month ago - 33 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: about 1 month ago - 4 dependent packages - 3 dependent repositories - 1.41 thousand downloads total - 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
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
Dung 1.1
4 versions - Latest release: almost 11 years ago - 1 dependent repositories - 4.1 thousand downloads total - 1 maintainerRelated Keywords
Propose Tags
41
library
38
bsd3
37
language
27
program
12
hardware
4
javascript
3
web
3
development
3
ai
3
argumentation
3
haskell
2
mit
2
data
2
compiler
2
assembly
1
system
1
cpu
1
control
1
gpl
1
formal-methods
1
utils
1
yosys
1
verilog
1
systemverilog
1
conversion
1
static-analysis
1
nosql
1
json
1
ejdb2
1
ejdb
1
database
1
data-structures
1
apache
1