- Functional prototype: a simple functional prototype implementation of Capstone, including a compiler, a simulator, and a runtime library that implements several use cases discussed in the paper
- Sail model: a model of the ISA specification written in Sail which can be used to generate a functional simulator and formal definitions suitable for formal reasoning of the specification
- Spike-based simulator: a simulator based on Spike useful for exploring the software stack on top of Capstone