GitHub / viperproject/prusti-dev committers
A static verifier for Rust, based on the Viper verification infrastructure.
Last synced: 3 months ago
Total Commits: 6,204
Total Committers: 62
Total Bot Commits: 36
Total Bot Committers: 3
Avg Commits per committer: 100.065
Development Distribution Score (DDS): 0.563
Total Committers: 62
Total Bot Commits: 36
Total Bot Committers: 3
Avg Commits per committer: 100.065
Development Distribution Score (DDS): 0.563
Commits in the past year: 0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0
Committers in the past year: 0
Bot Commits in the past year: 0
Bot Committers in the past year: 0
Avg Commits per committer in the past year: 0.0
Development Distribution Score (DDS) in the past year: 0.0
More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/viperproject/prusti-dev
JSON API: https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/viperproject%2Fprusti-dev
| Name | Commits | |
|---|---|---|
| Federico Poli | f****i@g****m | 2711 |
| Vytautas Astrauskas | v****s@g****m | 1441 |
| Jonas | j****f@g****m | 220 |
| Aurel Bílý | a****y@g****m | 198 |
| Johannes Schilling | g****b@d****g | 196 |
| Jonas Hansen | g****2@g****m | 176 |
| Christoph Matheja | c****a@i****h | 127 |
| Julian Dunskus | j****s@g****m | 110 |
| Pointerbender | p****r@g****m | 94 |
| Zack Grannan | z****n@p****m | 94 |
| Till Arnold | t****2@g****m | 76 |
| Maxwell Yang | m****a@g****m | 57 |
| Anirudh S | a****6@g****m | 56 |
| gavinleroy | g****6@g****m | 54 |
| Ahmed Kamel | a****1@g****m | 46 |
| Patrick-6 | p****9@g****h | 43 |
| mlimbeck | m****k@s****h | 42 |
| ELowis | l****l@s****h | 42 |
| Fabian Wolff | w****a@s****h | 39 |
| Karel Jilek | l****s@g****m | 39 |
| Pascal Huber | p****r@r****h | 34 |
| cedric | h****c@s****h | 33 |
| karenhong | k****4@g****m | 27 |
| Lorenz Gorse | l****e@g****m | 24 |
| Jakob Beckmann | b****b@h****r | 23 |
| dependabot-preview[bot] 🤖 | 2****] | 23 |
| Juraj Mičko | m****4@g****m | 21 |
| Justin Hu | j****u@a****a | 19 |
| Jonas Maier | j****r@i****h | 17 |
| Jonas Maier | 11 | |
| Mohammad Hossam | 6****m | 11 |
| dependabot[bot] 🤖 | 4****] | 11 |
| Thomas Hader | t****r@d****t | 10 |
| David Ewert | d****0@g****m | 8 |
| Ahmed Kamel | k****a@A****l | 8 |
| simon-hrabec | s****c@g****m | 7 |
| Vytautas Astrauskas | v****s@i****h | 7 |
| Jan Schär | j****r@s****h | 6 |
| teymour-aldridge | n****s@r****e | 4 |
| Marco Eilers | e****o@g****m | 4 |
| viper-admin | 5****n | 4 |
| jmc-figueira | j****a@c****t | 4 |
| Mario Bucev | m****v@e****h | 3 |
| Haobin Chen | e****e@q****m | 2 |
| dependabot[bot] 🤖 | s****t@d****m | 2 |
| bobtwinkles | s****b@g****m | 2 |
| Jakub Janaszkiewicz | j****b@g****m | 2 |
| Corey Farwell | c****f@r****g | 2 |
| pixelshot91 | p****1 | 1 |
| alexanderjsummers | a****s@u****a | 1 |
| Thomas Hader | t****r@s****h | 1 |
| Viktor Fukala | v****a@s****h | 1 |
| Ryan Mehri | 5****1 | 1 |
| Robert Winslow | r****w | 1 |
| Rajeev Joshi | 4****v | 1 |
| Nikita Shyrei | n****9@g****m | 1 |
| Meyer Zinn | m****n@g****m | 1 |
| Matthias Erdin | e****m@s****h | 1 |
| Evan Laufer | e****r@g****m | 1 |
| Eric Conlon | e****n@g****m | 1 |
| Amit Levy | a****y@c****u | 1 |
| Aleksey Kladov | a****v@g****m | 1 |
Excludes empty and merge commits.
This repository has not had any commits in the past year. Excludes empty and merge commits.