Language Breakdown
Lines of code distribution across 3 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Collaboration Network
Global Impact visualization
Repos
14
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Safi
@safishamsi
Fareed Khan
@FareedKhan-dev
Rohit Ghumare
@rohitg00
Sindre Sorhus
@sindresorhus
Ashkan Partovi
@a-partovii
Top Repositories
Round-by-round IMC Prosperity 4 trading strategies, analysis, backtests, and submissions (public version)
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
just a demo
The fastai book, published as Jupyter Notebooks
Deep Learning for humans
An Open Source Machine Learning Framework for Everyone
Fully autonomous AI hacker to find actual exploits in your web apps. Shannon has achieved a 96.15% success rate on the hint-free, source-aware XBOW Benchmark.
Multi-Joint dynamics with Contact. A general purpose physics simulator. - google deepmind
Open source code for AlphaFold 2.
Open Source Impact
Contributions to external projects
No external contributions found.