Andre Beckus

qemu_stm32. QEMU with an STM32 microcontroller implementation

stm32_p103_demos. A suite of demo applications for the Olimex STM32 P103 Development Kit

AlloyAnalyzer. An unofficial copy of MIT's Alloy Analyzer model checking tool.

WebShortcutSamples. A collection of internet/web shortcut files for various operating systems

IEEEtranplus. A verbose LaTeX Bibliography Style (bst) with local file links for collecting and organizing references

TestXferRate. A Java application which reads from or writes to a file and reports the average read/write rate

WebShortcutUtil. Web Shortcut Utility Suite