Language Breakdown
Lines of code distribution across 3 owned repositories
I-Shaped Developer
I-shapedSpecialist β deep expertise in Solidity
Collaboration Network
Global Impact visualization
Repos
9
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
YassineYousfi
@YassineYousfi
nullity
@nullity00
Evert0x
@Evert0x
David Wong
@mimoo
Gregor Mitscha-Baude
@mitschabaude
Top Repositories
Formally Verified Arguments of Knowledge in Lean
Pythonic Smart Contract Language for the EVM
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity
Solidity library for performing calculations with rational numbers.
Open Source Impact
Contributions to external projects
No external contributions found.