EEZ Studio

Visual tool for GUI development and T&M automation

Developer Tools

About EEZ Studio

Visual tool for GUI development and T&M automation

Rocq is a general-purpose, industrial-strength interactive theorem prover.

Software for numerical computation

Sim Genie unlocks the Xcode simulator's hidden power-ups. Speed up your development / marketing / testing workflows.

No Nonsense Neovim Client in Rust. Contribute to neovide/neovide development by creating an account on GitHub.