Synthesizing Loop-Free Programs with Rust and Z3

This post makes extensive use of math symbols, and uses MathJax.js to render them, therefore I recommend enabling JavaScript. Read more

Read full article

Similar

Launchk: A Rust-based Cursive TUI for managing macOS launchd jobs

Cursive TUI that queries XPC for launchd jobs. Contribute to mach-kernel/launchk development by creating an account on GitHub. (more…)

Rust superpowered DHCP CLI with rhai scripts

I’ve been working on cli tool for a little while called dhcpm (“m” for “mock” - link). It started as a cli tool for constructing & sending arbitrary DHCP messages. I had been looking for a tool that could build various dhcp (mostly v4) messages with d... (more…)