Silvère Gangloff
@SfgangloffMathematician (multidimensional symbolic dynamics) PhD, Philosopher (philosophy of mind, consciousness). AI for mathematics.
Ostrava University
Palma, Spain
4
Followers
18
Following
29
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 22 owned repositories
6.1M
Total LOC
Lean
2,863,991 lines
46.7%
N/A
Python
2,305,104 lines
37.6%
N/A
Jupyter Notebook
279,888 lines
4.6%
N/A
TeX
266,081 lines
4.3%
N/A
TypeScript
207,242 lines
3.4%
N/A
Other
210,297 lines
3.4%
N/A
T
T-Shaped Developer
T-shapedDeep in Lean with broad versatility
Lean
Python
Jupyter Notebook
TeX
TypeScript
Collaboration Network
Global Impact visualization
Repos
30
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
5 days
613
Contributions
531
Commits
35
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
18 total
Cheng Lou
@chenglou
Pietro Monticone
@pitmonticone
Kevin Buzzard
@kbuzzard
Andrei Văcaru
@anvacaru
Fabrício S. Paranhos
@fasapa
Synced via GitHub
Top Repositories
informalizer
1
0
Python
theorem-prover
1
0
Python
make-pages-interactive
0
0
JavaScript
research-compiler
0
0
TypeScript
toy-transformer
0
0
Python
cslib
The Lean Computer Science Library (CSLib)
0
0
Lean
CompPoly
Computable Polynomials in Lean.
0
0
Lean
co-philosopher
0
0
Python
standardizer
0
0
Python
diffusion-proof-repair
0
0
Python
Open Source Impact
Contributions to external projects
40 merged PRs
leanprover-community/mathlib4
3437
oOo0oOo/lean-lsp-mcp
408
google-deepmind/formal-conjectures
1011
leanprover/cslib
585
seewoo5/awesome-ai-for-math
65
Verified-zkEVM/CompPoly
46
paraschopra/make-pages-interactive
421
Contributed to 7 repositories