David Nevado
| name | David Nevado |
| Crates.io: | davidnevadoc |
| GitHub user: | davidnevadoc |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| halo2curves | 2025-07-02 02:40:39.01542+00 | (guorong009) | repo | 223 | GitHub Action | fmt |
| halo2derive | 2025-07-02 02:39:59.386329+00 | (guorong009) | repo | 223 | GitHub Action | fmt |