Category Embedded
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- copilot-core 7
- sunroof-compiler 5
- sunroof-server 3
- atom 2
- copilot-c99 2
- copilot-language 2
- copilot-sbv 2
- copilot-theorem 2
- perfect-hash-generator 2
- vcd 2
- copilot-cbmc 1
- copilot-libraries 1
- CarneadesIntoDung 0
- Dung 0
- ImperativeHaskell 0
- atom-msp430 0
- copilot 0
- ecu 0
- fault-tree 0
- improve 0
Top Paired Categories
Categories that are often combined with this category.
- Data 36652
- Control 16946
- System 15145
- Data Structures 12226
- Web 9253
- Development 2279
- Language 1386
- Utils 418
- Formal Methods 116
- Compiler 73
- Hardware 71
- Javascript 56
- Ai 29
- Argumentation 0