hackage.haskell.org "embedded" keyword
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 - 137 downloads total - 27 stars on GitHub - 1 maintainer
srec 0.1.0
2 versions - Latest release: over 14 years ago - 1.92 thousand downloads total - 1 maintainercopilot-frp-sketch 1.0.0
1 version - Latest release: about 4 years ago - 154 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.16 thousand downloads total - 2 stars on GitHub - 1 maintainer
ejdb2-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
vcd 0.2.2
9 versions - Latest release: over 13 years ago - 1 dependent repositories - 6.72 thousand downloads total - 1 maintainerhocd 0.1.3.0
Support for OpenOCDs TCL interface5 versions - Latest release: about 2 years ago - 2 dependent packages - 349 downloads total - 1 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.92 thousand downloads total - 5 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: about 1 year ago - 710 downloads total - 670 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: over 15 years ago - 7.5 thousand downloads total - 1 maintainer
copilot-visualizer 4.6.1
Visualizer for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL...5 versions - Latest release: 2 months ago - 57 downloads total - 1 maintainer
copilot-core 4.6.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...45 versions - Latest release: 2 months ago - 8 dependent packages - 9 dependent repositories - 14.9 thousand downloads total - 3 maintainers
copilot-theorem 4.6.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...37 versions - Latest release: 2 months ago - 3 dependent packages - 4 dependent repositories - 6.47 thousand downloads total - 4 maintainers
copilot-prettyprinter 4.6.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...22 versions - Latest release: 2 months ago - 4 dependent packages - 3 dependent repositories - 1.53 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...44 versions - Latest release: 2 months ago - 2 dependent packages - 4 dependent repositories - 13.1 thousand downloads total - 4 maintainers
copilot-language 4.6.1
The concrete syntax for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific lang...50 versions - Latest release: 2 months ago - 6 dependent packages - 6 dependent repositories - 18.6 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...23 versions - Latest release: 2 months ago - 1 dependent package - 3 dependent repositories - 1.78 thousand downloads total - 1 maintainer
copilot 4.6.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...61 versions - Latest release: 2 months ago - 5 dependent packages - 5 dependent repositories - 29.7 thousand downloads total - 4 maintainers
copilot-c99 4.6.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...50 versions - Latest release: 2 months ago - 5 dependent packages - 5 dependent repositories - 17 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...13 versions - Latest release: 2 months ago - 429 downloads total - 3 maintainers
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: about 1 year ago - 5.79 thousand 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
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.1 thousand downloads total - 4 maintainers
atom-msp430 0.5.3
Definitions for using Atom with the MSP430 microcontroller family.4 versions - Latest release: about 12 years ago - 3.87 thousand downloads total - 11 stars on GitHub - 1 maintainer
zephyr-copilot 1.0.10
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr proje...11 versions - Latest release: about 1 year ago - 970 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 1.0.13
24 versions - Latest release: almost 11 years ago - 2 dependent packages - 7 dependent repositories - 22.8 thousand downloads total - 2 maintainersCarneadesDSL 2.0.0.0
An implementation and domain specific language for the Carneades argumentation model. See "Haskel...7 versions - Latest release: about 1 month ago - 1 dependent repositories - 6.04 thousand downloads total - 2 stars on GitHub - 1 maintainer
processor-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 2.0.0.0
A translation from the Carneades argumentation model (http://hackage.haskell.org/package/Carneade...3 versions - Latest release: about 1 month ago - 2.32 thousand downloads total - 1 maintainer
sketch-frp-copilot 1.0.11
12 versions - Latest release: about 1 year ago - 2 dependent packages - 1.1 thousand downloads total - 1 maintainerreduxwise 0.1.0.0
ReduxWise analyzes Rust projects for real-time embedded system scheduling. It detects IO operatio...1 version - Latest release: 5 months ago - 13 downloads total - 0 stars on GitHub - 1 maintainer
verilog 0.0.11
A Verilog parser for Haskell.11 versions - Latest release: almost 11 years ago - 3 dependent repositories - 8.06 thousand downloads total - 36 stars on GitHub - 1 maintainer
Dung 2.0.0.0
An implementation of Dung's argumentation frameworks, an abstract argumentation model used to eit...5 versions - Latest release: about 1 month ago - 1 dependent repositories - 4.13 thousand downloads total - 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
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: almost 14 years ago - 10.2 thousand downloads total - 74 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 - 9.03 thousand downloads total - 4 maintainers
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
fault-tree 0.0.0
1 version - Latest release: about 15 years ago - 1.35 thousand downloads total - 1 maintainersunroof-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
Related Keywords
Propose Tags
41
library
38
bsd3
37
language
27
program
12
hardware
4
argumentation
3
ai
3
development
3
web
3
javascript
3
haskell
2
compiler
2
mit
2
data
2
gpl
1
control
1
static-analysis
1
cpu
1
assembly
1
system
1
apache
1
formal-methods
1
utils
1
yosys
1
verilog
1
systemverilog
1
conversion
1
data-structures
1
database
1
ejdb
1
nosql
1
json
1
ejdb2
1