Miyamura80

learn-evm-attacks

Learn and contribute by exploring blockchain attacks in detail. Maintained by Coinspect smart contract audit team, renowned for their top-tier smart contract audit services.

alphageometry

marimo

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

pyrometer

A tool for analyzing the security and parameters of a solidity smart contract

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

DeFiVulnLabs

To learn common smart contract vulnerabilities using Foundry!

jaxirl

Contains JAX implementation of algorithms for inverse reinforcement learning

resource-stream

GPU programming related news and material links

cutlass

CUDA Templates for Linear Algebra Subroutines

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

openlogprobs

Extract full next-token probabilities via language model APIs

whatpwacando.today

Repo to collect bugs for https://whatpwacando.today/

Transformer-Puzzles

Puzzles for exploring transformers

GPTWorld

A puzzle to learn about prompting

LLM-Training-Puzzles

What would you do with 1000 H100s...

GPU-Puzzles

Solve puzzles. Learn CUDA.

Tensor-Puzzles

Solve puzzles. Improve your pytorch.

evm-smart-contracts-similarity

Detect identical and similar smart contracts based on their bytecode

sc-defi-security

Graphite

Write Succinct Proofs for Graphs easily

zk-email-verify

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

zk-p2p

A trustless P2P fiat onramp powered by ZK proofs.

Web3Bugs

Demystifying Exploitable Bugs in Smart Contracts

gpt-fast

Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.

defi-fork-bugs

Bugs in commonly forked DeFi protocols

daedaluzz

Benchmark Generator for Smart-Contract Fuzzers

mctx

Monte Carlo tree search in JAX

insanely-fast-whisper

draw-a-ui

Draw a mockup and generate html for it

screenshot-to-code

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)