George Agapov
georgeee
Computer science, functional programming, formal verification, finance, literature, philosophy, classical music
@MinaProtocol
Andorra
Joined December 2011
yii-lily
User managment module for yii, based on yii-eauth (https://github.com/Nodge/yii-eauth)
PHPUpdated 4/24/2025
mina-block-trace-viewer
Simple AI-generated React app to display the latest state of Mina block processing optimizations
TypeScriptUpdated 4/3/2025
scdsl
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
JavaScriptUpdated 2/20/2025
mina-pool-payout
No description provided.
Updated 12/17/2024
mina-internal-trace-consumer
Internal trace consumer and GraphQL server for Mina node
OCamlUpdated 12/5/2024