Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "embedded" keyword
copilot-libraries 3.19.1
Libraries for the Copilot language. Copilot is a stream (i.e., infinite lists) domain-specific l...33 versions - Latest release: 1 day ago - 1 dependent package - 4 dependent repositories - 10.8 thousand downloads total - 4 maintainers
copilot 3.19.1
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specif...50 versions - Latest release: 1 day ago - 4 dependent packages - 5 dependent repositories - 27 thousand downloads total - 4 maintainers
copilot-interpreter 3.19.1
Interpreter for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DS...12 versions - Latest release: 1 day ago - 1 dependent package - 3 dependent repositories - 576 downloads total - 1 maintainer
copilot-prettyprinter 3.19.1
A prettyprinter of Copilot specifications. Copilot is a stream (i.e., infinite lists) domain-spe...11 versions - Latest release: 1 day ago - 3 dependent packages - 3 dependent repositories - 506 downloads total - 1 maintainer
copilot-language 3.19.1
The concrete syntax for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific lang...39 versions - Latest release: 1 day ago - 5 dependent packages - 6 dependent repositories - 16.1 thousand downloads total - 4 maintainers
copilot-c99 3.19.1
This package is a back-end from Copilot to C. Copilot is a stream (i.e., infinite lists) domain-...39 versions - Latest release: 1 day ago - 4 dependent packages - 5 dependent repositories - 14.5 thousand downloads total - 4 maintainers
copilot-core 3.19.1
Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-speci...34 versions - Latest release: 1 day ago - 6 dependent packages - 9 dependent repositories - 12.3 thousand downloads total - 3 maintainers
copilot-theorem 3.19.1
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a...26 versions - Latest release: 1 day ago - 2 dependent packages - 4 dependent repositories - 4.67 thousand downloads total - 4 maintainers
sv2v 0.0.12
A tool for coverting SystemVerilog to Verilog. Originally forked from the Verilog parser found at...5 versions - Latest release: 3 days ago - 413 downloads total - 454 stars on GitHub - 1 maintainer
bloohm 1.0.0.2
visual bloom filter to display process status as neotrellis m4 output2 versions - Latest release: 4 days ago - 22 downloads total - 26 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: 4 months ago - 53 downloads total - 3 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 12 years ago - 9.74 thousand downloads total - 74 stars on GitHub - 1 maintainer
improve 0.4.0
An imperative programming language in Haskell for high assurance embedded applications. ImProve ...29 versions - Latest release: almost 13 years ago - 19.7 thousand downloads total - 56 stars on GitHub - 1 maintainer
sunroof-compiler 0.2
Monadic Javascript Compiler.1 version - Latest release: about 11 years ago - 4 dependent repositories - 1.35 thousand downloads total - 73 stars on GitHub - 1 maintainer
verilog 0.0.11
A Verilog parser for Haskell.11 versions - Latest release: about 9 years ago - 3 dependent repositories - 7.63 thousand downloads total - 32 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 13 years ago - 7.1 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: almost 7 years ago - 1 dependent package - 1 dependent repositories - 8.59 thousand downloads total - 4 maintainers
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: almost 7 years ago - 1 dependent package - 7.72 thousand downloads total - 4 maintainers
atom 1.0.13
24 versions - Latest release: almost 9 years ago - 2 dependent packages - 7 dependent repositories - 21.5 thousand downloads total - 2 maintainersperfect-hash-generator 1.0.0
Perfect minimal hashing implementation in native Haskell13 versions - Latest release: almost 2 years ago - 6 dependent repositories - 4.53 thousand downloads total - 2 stars on GitHub - 1 maintainer
zephyr-copilot 1.0.9
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr proje...10 versions - Latest release: 3 months ago - 487 downloads total - 1 maintainer
arduino-copilot 1.7.8
arduino-copilot contains the basic building blocks to program your Arduino Nano, Arduino Uno or c...25 versions - Latest release: 3 months ago - 4.55 thousand downloads total - 1 maintainer
sketch-frp-copilot 1.0.10
11 versions - Latest release: 3 months ago - 2 dependent packages - 534 downloads total - 1 maintainersunroof-examples 0.2.2
Example applications of the sunroof-compiler and sunroof-server package.2 versions - Latest release: almost 10 years ago - 1.82 thousand downloads total - 5 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: over 9 years ago - 1.14 thousand downloads total - 5 stars on GitHub - 1 maintainer
sunroof-server 0.2.1
Utilities to use Sunroof together with Kansas-Comet to create web applications.2 versions - Latest release: almost 10 years ago - 2 dependent repositories - 1.7 thousand downloads total - 1 stars on GitHub - 1 maintainer
ejdb2-binding 0.3.0.2
EJDB2 Haskell binding5 versions - Latest release: about 3 years ago - 877 downloads total - 2 stars on GitHub - 1 maintainer
hocd 0.1.3.0
Support for OpenOCDs TCL interface5 versions - Latest release: 4 months ago - 121 downloads total - 0 stars on GitHub - 1 maintainer
fault-tree 0.0.0
1 version - Latest release: over 13 years ago - 1.29 thousand downloads total - 1 maintainerion 1.0.0.0
1 version - Latest release: over 7 years ago - 1.07 thousand downloads total - 1 maintainersrec 0.1.0
2 versions - Latest release: over 12 years ago - 1.79 thousand downloads total - 1 maintainervcd 0.2.2
9 versions - Latest release: over 11 years ago - 1 dependent repositories - 6.32 thousand downloads total - 1 maintainercopilot-frp-sketch 1.0.0
1 version - Latest release: about 2 years ago - 89 downloads total - 1 maintaineratom-msp430 0.5.3
Definitions for using Atom with the MSP430 microcontroller family.4 versions - Latest release: over 10 years ago - 3.67 thousand downloads total - 11 stars on GitHub - 1 maintainer
CarneadesIntoDung 1.0
2 versions - Latest release: about 10 years ago - 2.22 thousand downloads total - 1 maintainerCarneadesDSL 1.3
6 versions - Latest release: about 10 years ago - 1 dependent repositories - 5.74 thousand downloads total - 1 maintainerDung 1.1
4 versions - Latest release: about 9 years ago - 1 dependent repositories - 3.91 thousand downloads total - 1 maintainerdata-svd 0.1.2.0
Parse, print, diff SVD files3 versions - Latest release: 3 months ago - 79 downloads total - 0 stars on GitHub - 1 maintainer
copilot-bluespec 3.19
This package is a back-end from Copilot to FPGAs in Bluespec. Copilot is a stream (i.e., infinit...1 version - Latest release: 2 months ago - 17 downloads total - 3 maintainers
Related Keywords
library
36
bsd3
35
language
26
program
11
hardware
4
argumentation
3
ai
3
web
3
javascript
3
development
2
data
2
compiler
2
mit
2
haskell
2
conversion
1
nosql
1
json
1
ejdb2
1
ejdb
1
database
1
cpu
1
assembly
1
system
1
data-structures
1
apache
1
utils
1
systemverilog
1
verilog
1
formal-methods
1
gpl
1
control
1
yosys
1