Manuel Corona's repositories
assets
A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.
Language:TypeScriptMIT000
explorer
TRON blockchain explorer
Language:Java000
OIPs
Oikos Improvement Proposals (OIP) describe standards for the Oikos platform, including core protocol specifications, client APIs, and contract standards.
Language:TypeScript000
TelegramBotApiBundle
A symfony wrapper bundle for Telegram Bot API.
Language:PHPBSD-3-Clause000
verified-smart-contracts
Smart contracts which are formally verified
Language:MakefileNOASSERTION000