ProvableHQ is an organization involved in the development of cryptographic protocols, privacy-focused zero-knowledge proof systems, and blockchain infrastructure tools. Their public repositories on GitHub showcase a focus on cryptography, with projects such as snarkVM (a virtual machine for zero-knowledge proofs), leo (a programming language for writing private applications using zero-knowledge circuits), and several cryptography libraries. Their resources and workshops emphasize development for privacy-preserving applications and blockchain environments, supporting multiple platforms (macOS, Linux, Windows) and modern developer tools like VSCode, Sublime Text, and IntelliJ IDEA1234+1.

For more details and open-source work by ProvableHQ, you can visit their GitHub repositories: