Collections: Prossimo
https://github.com/memorysafety/website
Website for ISRG's memory safety project, Prossimo.
Last synced: 03 Nov 2026
Keywords
Languages
Most Issues and Pull Requests
Committers
dependabot[bot]
13
daniel mccarney
12
dirkjan ochtman
12
jorge aparicio
7
brian smith
7
alex gaynor
7
paolo barbolini
6
josh aas
6
joseph birr-pixton
6
kpcyrd
5
alex touchet
5
erick tryzelaar
5
jacob hoffman-andrews
5
fabio valentini
5
folkert
4
jasper bryant-greene
4
corey farwell
4
dependabot-preview[bot]
4
tshepang mbambo
4
joe birr-pixton
4
tottoto
3
marc-antoine perennou
3
sander maijers
3
luohewuyang
3
daxpedda
3
luca barbato
3
complexspaces
3
biagiofesta
3
georg semmler
3
falk woldmann lu
3
Most Commits
khyber sen
3,912
dirkjan ochtman
3,487
joe birr-pixton
2,910
daniel mccarney
1,794
benjamin fry
1,539
dependabot[bot]
1,365
marc schoolderman
986
folkert
902
david venhoek
833
emilio cobos álvarez
792
david cook
781
jorge aparicio
733
brian smith
589
henrik gramner
468
martin storsjö
445
christian poveda
429
ruben nijveld
422
bjorn3
413
nick fitzgerald
369
joseph birr-pixton
306
nicole l
293
ronald s. bultje
285
jacob hoffman-andrews
262
christian poveda ruiz
241
janne grunau
226
jyun-yan you
213
per larsen
196
josh aas
192
frank bossen
189
scottmakestech
187
Direct Dependencies
actions:actions/checkout
15
actions:actions-rs/toolchain
9
actions:dtolnay/rust-toolchain
8
actions:actions/upload-artifact
7
cargo:rustls
6
actions:actions-rs/cargo
6
cargo:base64
5
actions:taiki-e/install-action
5
cargo:log
5
actions:codecov/codecov-action
5
cargo:rustls-pemfile
5
cargo:ring
4
cargo:rcgen
4
cargo:serde
4
actions:actions/cache
4
cargo:webpki
4
cargo:tokio
4
actions:actions/download-artifact
4
actions:actions/upload-pages-artifact
3
cargo:webpki-roots
3
actions:actions/deploy-pages
3
actions:Swatinem/rust-cache
3
actions:awalsh128/cache-apt-pkgs-action
3
cargo:libc
3
cargo:pki-types
3
docker:debian
3
actions:obi1kenobi/cargo-semver-checks-action
2
actions:ilammy/setup-nasm
2
cargo:pretty_assertions
2
cargo:bencher
2
Repository Owners
Repository Hosts
Statistics
- Projects: 16
- Last updated: over 3 years ago