Lausanne, Switzerland
81
Followers
103
Following
112
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 44 owned repositories
4.3M
Total LOC
Jupyter Notebook
2,489,953 lines
58.1%
N/A
Haskell
460,105 lines
10.7%
N/A
Java
261,735 lines
6.1%
N/A
Scala
252,367 lines
5.9%
N/A
HTML
176,929 lines
4.1%
N/A
Other
645,029 lines
15.0%
N/A
T
T-Shaped Developer
T-shapedDeep in Jupyter Notebook with broad versatility
Jupyter Notebook
Haskell
Java
Scala
HTML
Collaboration Network
Global Impact visualization
Repos
322
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
349
Contributions
139
Commits
18
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
103 total
Synced via GitHub
Top Repositories
GUInep
Automatic UI forms for Scala 3 functions
16
1
Scala
wordle-compile
A Scala 3 compiler plugin, that requires you to solve a Wordle in order for the compilation to finish
4
0
Scala
lazycall
A lightweight library that lets You write unreadable code
4
0
Scala
akka-exercise
Small exercise in Akka for Distributed Systems Course at AGH UST
3
0
Scala
Agenty
2
0
Scala
SysOpy
[AGH Operating Systems Course solutions 2018/2019]
2
0
C
patat
A simple plugin for Rocq (9.0.0+) for short matches on hypotheses
1
0
Rocq Prover
file-finder-front
1
0
TypeScript
brnfck
Brainfuck interpreter
1
0
Haskell
reactive-lab2
1
0
Scala
Open Source Impact
Contributions to external projects
314 merged PRs
rocq-prover/rocq
5485
scala/scala3
6257
scalameta/metals
2307
scalameta/metals-vscode
317
rocq-prover/vsrocq
455
scalameta/munit
470
HOL-Theorem-Prover/hol4-vscode
10
myreen/imp_bootstrap
0
LindenRegex/Warblre
16
guillaumecarraux/scala3
0
Contributed to 13 repositories