Skip to content
View 0xmichalis's full-sized avatar

Organizations

@ToucanProtocol @code-423n4 @ArrakisFinance @sherlock-audit

Block or report 0xmichalis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

AI agents running research on single-GPU nanochat training automatically

Python 66,763 9,574 Updated Mar 26, 2026

Polymarket Rust CLOB Client

Rust 646 202 Updated Apr 2, 2026

🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.

TypeScript 23,657 1,057 Updated Mar 31, 2026

Skills for agentic development on Solana (March 2026 best practices)

TypeScript 438 96 Updated Apr 3, 2026

Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits

Shell 1,768 133 Updated Apr 2, 2026

Config for various AI coding agents (Claude, Gemini, opencode etc.)

Python 9 1 Updated Mar 26, 2026

linear CLI utility commands

TypeScript 7 2 Updated Sep 5, 2024

Extracts IDL from Solana Rust contracts

Rust 226 45 Updated Mar 15, 2026

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.

JavaScript 4,278 529 Updated Mar 23, 2026

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Python 4,329 382 Updated Apr 3, 2026

evm indexer

Rust 113 11 Updated Mar 31, 2026
Rust 52 7 Updated Mar 24, 2026

The open source coding agent.

TypeScript 137,990 15,188 Updated Apr 6, 2026

A set of guidelines to avoid arguments over code-quality

RenderScript 90 8 Updated Dec 31, 2025

Surfpool is where developers start their Solana journey.

Rust 534 132 Updated Apr 3, 2026

Solidity contract visualisation tool

TypeScript 1,296 391 Updated Mar 1, 2026

Create Solana programs with no external dependencies attached

Rust 883 206 Updated Apr 6, 2026

Optimized Solidity snippets.

Solidity 3,292 463 Updated Dec 30, 2025

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Kotlin 295 33 Updated Mar 29, 2026

Foundry library for deploying and managing upgradeable contracts

Solidity 248 42 Updated Jan 26, 2026

EDB: The Ethereum Project Debugger

Rust 358 41 Updated Apr 6, 2026

Solidity, the Smart Contract Programming Language

C++ 25,594 6,098 Updated Apr 3, 2026

This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st…

Shell 404 76 Updated Mar 9, 2026

Static Analyzer for Solidity and Vyper

Python 6,196 1,093 Updated Apr 5, 2026

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust 10,259 2,471 Updated Apr 6, 2026

Wargames Toolkit

Solidity 76 5 Updated Jan 27, 2025

Modern, opinionated, and gas optimized building blocks for smart contract development.

Solidity 4,271 706 Updated Jul 21, 2025

OpenZeppelin Contracts is a library for secure smart contract development.

Solidity 27,050 12,409 Updated Apr 4, 2026

Better touchpad gesture handling for GNOME

JavaScript 301 34 Updated Apr 5, 2021