The open source coding agent.

YARG (a.k.a. Yet Another Rhythm Game) is a free, open-source, plastic guitar game that is still in development. It supports guitar (five fret), drums (plastic or e-kit), vocals, pro-keys, and more!

NewTab Redirect! is an extension for Google Chrome which allows the user to replace the page displayed when creating a new tab.

Google Research

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

A lightweight CLI for deploying programs and executing transactions on Aleo.

📜 A Starter Guide to Build ZK Applications 📜

🏎️ A curated list of Aleo & Leo code and resources 🏎️

Everything you need to move your project faster

A curated list of awesome tools, resources and workflow tips making an awesome development environment.

macOS development environment setup: Easy-to-understand instructions with automated setup scripts for developer tools like Vim, Sublime Text, Bash, iTerm, Python data analysis, Spark, Hadoop MapRed…

A Python script that exports all of your Spotify playlists.

Financial data platform for analysts, quants and AI agents.

Inserts print statements at input based line numbers throughout a program. Currently only supported for C. Plans to implement extended debugging functionality in the future

A Setup Ceremony for Universal SNARKs

A Decentralized Operating System for ZK Applications

📄 Documentation for Leo 🦁

A Chisel Integrated Specification and Verification Language.

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Curated set of DockerFiles for RISC-V projects

A Rust library for generating cryptocurrency wallets

Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.

A bestiary of evolutionary, swarm and other metaphor-based algorithms