okhai's Projects
Developer DAO Academy is an open-source education platform created by the Developer DAO.
Repo for the Akash Network Website.
Community maintained Cairo 1.0 library.
📚 Sample Android Components Architecture on a modular word focused on the scalability, testability and maintainability written in Kotlin, following best practices using Jetpack.
Nation3 citizen app
SDK to develop apps on top of Aragon core foundation
Simple bot that regularly checks for the availability of atomic arbitrage and executes it
A curated list of awesome StarkNet resources, libraries, tools and more
A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
Building blocks of a Circle STARK verifier in Bitcoin script
Mastering Bitcoin 2nd Edition - Programming the Open Blockchain
Celestia -> Starknet bridge
The Dojo Book
This web app displays the bounties that are available for DAO members to claim.
Exercism exercises in Cairo.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
A virtual machine for Cairo written in Go
Source code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
Core components and services of the Aragon ecosystem
Code for Counter Workshop using latest Starknet syntax.