🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

🔒 Trezor Firmware Monorepo

A Virtual Machine for Zero-Knowledge Executions

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Beautifully designed components built with Radix UI and Tailwind CSS.

Code for "Zero To Production In Rust", a book on API development using Rust.

Environment variables substitution for Go

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…