Software requests for My Virtual Computing Lab are evaluated on a request-by-request basis according to these general guidelines: Have a suggestion for new software? Submit a ticket. Be sure to ...

Loom and synth both verify their transformations with an SMT solver, and both pay for it in build pain: statically linking Z3 is a recurring source of toolchain friction (header discovery, ...

This is a Vim plugin that provides Rust file detection, syntax highlighting, formatting, Syntastic integration, and more. It requires Vim 8 or higher for full ...