MrChico - Overview
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
View all features
Sign up
Dapp, Seth, Hevm, and more
Haskell 2.1k 323
K framework proof explorer & smart contract specification format
JavaScript 124 31
K Semantics of the Ethereum Virtual Machine (EVM)
KCL 579 155
A gas free offering of common Dai and Chai operations
JavaScript 32 7
Smart contract specification language
Haskell 269 49
ERC20 wrapper over the Dai Savings Rate
Solidity 147 27