Rankings
Badges
/
Baltoli
Rankings
Badges
Overview
Ranks
Repositories
Languages
Bruce Collie
@Baltoli
Refresh
Open GitHub
🇬🇧 Edinburgh
category.xyz
Profile age: almost 14 years
Updated 13 days ago
52 followers • 11 following
Contacts
brucecollie82@gmail.com
baltoli.github.io
@__inshorts
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in UK
Expert 1
Persona
Contributor
#15,128
#6,917
#8,344
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
accsynt
Archived
20
3
updated over 2 years ago • age almost 8 years
C++
62.4%
C
31.5%
CMake
2.4%
LLVM
2.2%
Python
1.5%
skeletons
Archived
5
0
updated over 8 years ago • age almost 9 years
C++
74.9%
CMake
10.9%
C
8.8%
Shell
5.5%
value_ptr
Archived
2
1
4
updated about 6 years ago • age over 6 years
C++
99.5%
CMake
0.5%
cpp-template
1
0
updated over 5 years ago • age over 5 years
CMake
100.0%
jit-call
1
0
updated over 5 years ago • age over 5 years
CMake
52.8%
C++
47.2%
View all 12 repositories
Last Contributions
2025
monad
1 PR
+9
-9
C++
1,082
368
CompilerJobs
1 PR
+5
-4
HTML
670
71
monad-bft
2 PRs
+303
-12
Rust
596
267
2024
nixpkgs
1 PR
+9
-0
Nix
22,039
16,952
evm-semantics
2 PRs
+353
-353
Python
544
153
989
View all contributions
Latest Updates
10 Oct 2025
Followers Count:
46
52
26 Sep 2025
Followers Count:
25
46
28 Aug 2025
Followers Count:
26
25
16 Feb 2025
Company:
@runtimeverification, @kframework
category.xyz
06 Jan 2025
First seen
Subscribe to Baltoli's GitHub rank updates in your messenger
WhatsApp
Telegram