A collection of software tools.
| Parallel Computing |
|---|
| Threading Building Blocks (Intel® TBB) |
| SIONlib – Scalable I/O library for parallel access to task-local files |
| C++ extensions for readable event-driven programming |
| Compilation |
|---|
| Cretonne |
| CompCert |
| The Coq Proof Assistant |
| Virtualization |
|---|
| Virtualization Internals Part 1 – Intro to Virtualization |
| Emulation |
|---|
| OpenOCD |
| Tracing |
|---|
| Open Trace Format Archive |
| Open Trace Format 2 library |
| DTrace |
| LTTng |
| Intel® Processor Trace |
| libipt – an Intel(R) Processor Trace decoder library |
| Windows Intel PT Support |
| FTrace |
| Network |
|---|
| picoTCP |
| Computer Vision |
|---|
| OpenSLAM |
| Methods |
|---|
| VHDL coding guidelines |
| Five ways not to fool yourself -or: designing experiments for understanding performance |
| Goodies |
|---|
| ShapeshifteR |