Rankings
Badges
/
caballa
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jorge Navas
@caballa
Refresh
Open GitHub
🇺🇸 USA
Certora
Profile age: over 12 years
Updated 2 days ago
63 followers • 0 following
Contacts
navasjorgea@gmail.com
https://jorgenavas.github.io/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Influencer
#510,324
#1,161,993
#205,877
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
wrapped-intervals
12
3
updated almost 8 years ago • age over 10 years
C++
92.7%
C
3.7%
Makefile
2.1%
Shell
1.4%
covenant
10
0
updated almost 8 years ago • age over 10 years
C++
82.4%
Python
16.1%
CMake
1.5%
llpe
3
0
updated over 7 years ago • age over 7 years
C++
99.0%
Makefile
0.6%
CMake
0.4%
crabber
2
0
updated about 2 years ago • age over 2 years
C++
89.9%
Emacs Lisp
4.1%
CMake
3.4%
Dockerfile
2.6%
ftclp
2
2
updated almost 8 years ago • age over 10 years
Prolog
83.8%
C++
11.4%
C
2.8%
Makefile
1.0%
Shell
1.0%
View all 6 repositories
Last Contributions
2025
Documentation
1 PR
+332
-7
Python
17
19
SolanaExamples
1 PR
+3
-0
Rust
9
4
certora-vault-tutorial
~18 PRs
+307
-2
Rust
3
0
cvlr-solana
2 PRs
+3
-2
Rust
2
4
3
solana-spec-template
3 PRs
+12
-3
Python
0
1
View all contributions
Latest Updates
21 Oct 2025
Followers Count:
62
63
06 Oct 2025
Followers Count:
61
62
11 Aug 2025
Followers Count:
60
61
06 Jan 2025
First seen
Subscribe to caballa's GitHub rank updates in your messenger
WhatsApp
Telegram
