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
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%
peggo
Archived
1
0
4
updated over 5 years ago • age almost 9 years
C
95.2%
CMake
2.8%
Objective-C
2.0%
Baltoli.github.io
1
0
updated 10 months ago • age almost 11 years
JavaScript
99.1%
HTML
0.9%
sparsex
0
0
updated almost 7 years ago • age almost 7 years
C++
73.4%
C
16.8%
M4
6.5%
Makefile
1.8%
Shell
1.5%
FSM
0
1
1
updated over 8 years ago • age over 8 years
C++
95.5%
CMake
4.5%
AST
0
0
updated over 8 years ago • age over 8 years
C++
96.4%
CMake
3.6%
Show more - 10 of 12 shown
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
k
2 PRs
+13
-114
Python
520
161
1,000
haskell-backend
~13 PRs
+162
-5
Haskell
223
44
166
kontrol
1 PR
+52
-52
Python
83
13
551
wasm-semantics
~9 PRs
+228
-445
WebAssembly
83
24
139
llvm-backend
~65 PRs
+36
-16
C++
40
23
133
Show more
