LeanEVM

(★ 10)

A toy implementation of the EVM in Lean4.

LeanEVM Latest Version Download

Download Latest Version (.zip)

Today's picks

gitignore ★ 175,327

A collection of useful .gitignore templates
cc-switch ★ 127,592

A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw,

Rust
HelloGitHub ★ 171,210

:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on Gi

Python
stable-diffusion-webui ★ 164,532

Stable Diffusion web UI

Python
daytona ★ 71,995

Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
tailwindcss ★ 97,258

A utility-first CSS framework for rapid UI development.

TypeScript
// repository documentation