Controlled Pneumatics combines proportional technology, sensors and control algorithms into a closed-loop control system.
A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.