A static analysis tool for anchor rust programs.

My homework and notes on zkEVM Bootcamp by zkSync and Encode Club

Live reload cad scripting because >lmao UIs

A library to write verification harnesses for the Solana Certora Prover

This repository contains some content about BLS signature.

This is the repo to be used for the Astar ink!ubator program

extension for zed that adds support for discord rich presence using lsp

All the private and public audits that I have worked on.

curation of all(most) immunefi bug bounty writeups I could find(till now)

Application Fuzzing: Tools, Techniques, and Best Practices

Solana Security Workshop for Breakpoint by Neodyme

Binary Ninja plugin for Solana eBPF

Starknet implementation of the Hyperlane protocol.

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A tool for generating geometric figures based on definitions and rules.

The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬

Creative coding and visual illusions in Rust.

Solutions to the exercism.io c++ track exercises

A simple and easy-to-use library to enjoy videogames programming

SOL Sniper Bot that listens to new Raydium USDC or SOL pools and buys tokens for a fixed amount in USDC/SOL. Depending on the speed of the RPC node, the purchase usually happens before the token is…

CPU-friendly hash function for cryptocurrency mining.

Zero-copy deserialization framework for Rust

High-performance, cross-platform screen capture library in Rust.

Rust For Web3 and Solana Development Encyclopedia 🌐 (WIP)

Blender Add-on: Magic UV

An open source C++ game engine.

Command line interface for ORE cryptocurrency mining.

A node.js-style module system for GLSL! ✨