@quint-co
Joinville, SC - Brazil
486
Followers
342
Following
73
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 43 owned repositories
5.5M
Total LOC
TeX
1,539,575 lines
27.9%
N/A
C
970,822 lines
17.6%
N/A
Java
665,519 lines
12.1%
N/A
CSS
474,002 lines
8.6%
N/A
Haskell
252,058 lines
4.6%
N/A
Other
1,615,230 lines
29.3%
N/A
π
Pi-Shaped Developer
π-shapedTwo strong pillars: TeX & C
TeX
C
Java
CSS
Haskell
Collaboration Network
Global Impact visualization
Repos
109
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
2,379
Contributions
792
Commits
100
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
tla-transmutation
Elixir code and test generation from TLA+ specifications
79
7
Elixir
bachelor-thesis
13
0
TeX
GADTInference
6
0
Haskell
tipos
6
0
Haskell
omnistack-11
NodeJS + React + React Native app from Rocketseat's "Semana Omnistack 11.0"
5
0
JavaScript
old-dotfiles
My config files
5
0
Emacs Lisp
tla-input
TLA+ Unicode input for Emacs
4
1
Emacs Lisp
nix-configs
Blueprints
4
0
Emacs Lisp
pump-station
Specification and prototype for a water pump station control, based on Borkowski, 2012 work
4
1
Elixir
SpotiBot
Um bot para o Telegram que te ajuda a descobrir músicas através da API do Spotify
4
1
Python
Open Source Impact
Contributions to external projects
508 merged PRs
NixOS/nixpkgs
25098
apalache-mc/apalache
574
5ecompendium/bestiary
7
quint-co/quint
1477
tlaplus/foundation
34
quint-co/quint-sandbox
4
informalsystems/mysticeti-spec
5
informalsystems/monad-spec
4
informalsystems/Alpenglow-spec
3
informalsystems/crosslink-spec
0
Contributed to 18 repositories