Rankings
Badges
/
mmartinv
Rankings
Badges
Overview
Ranks
Repositories
Languages
Miguel Martin
@mmartinv
Refresh
Open GitHub
🇪🇸 Madrid
Red Hat
Profile age: about 8 years
Updated 8 days ago
5 followers • 4 following
Contacts
https://mamux.org
Repositories
forklift
1
0
updated almost 2 years ago • age about 3 years
Go
71.7%
Starlark
21.6%
Open Policy Agent
3.9%
Shell
1.6%
Jinja
1.3%
fido-device-onboard-rs
0
0
updated 9 months ago • age about 2 years
Rust
92.7%
Shell
6.1%
Go
0.5%
C
0.4%
Jinja
0.3%
Contributions
2025
fido-device-onboard-rs
~9 PRs
+94
-33
Rust
70
40
18
build-definitions
2 PRs
+92
-14
Shell
28
203
2
aws-nitro-enclaves-cose
1 PR
+4
-4
Rust
27
25
6
integration-service
1 PR
+25
-1
Go
13
48
go-fdo-server
3 PRs
+2,146
-1,168
Go
9
12
docs
1 PR
+13
-0
SCSS
8
116
go-fdo-client
3 PRs
+277
-65
Go
2
10
2024
bootc-image-builder
3 PRs
+207
-16
Python
371
87
osbuild
1 PR
+46
-5
Python
250
129
168
fido-device-onboard-rs
2 PRs
+7
-9
Rust
70
40
18
Show more
