Joshua Shinavier
joshsh is part of the following groups:- Maintainers for hydra-bench : candidates
- Maintainers for hydra-coq : candidates
- Maintainers for hydra-ext : candidates
- Maintainers for hydra-go : candidates
- Maintainers for hydra-haskell : candidates
- Maintainers for hydra-java : candidates
- Maintainers for hydra-jvm : candidates
- Maintainers for hydra-kernel : candidates
- Maintainers for hydra-lisp : candidates
- Maintainers for hydra-pg : candidates
- Maintainers for hydra-python : candidates
- Maintainers for hydra-rdf : candidates
- Maintainers for hydra-scala : candidates
- Maintainers for hydra-typescript : candidates
- Maintainers for hydra-wasm : candidates
- Maintainers for hydra : candidates
- Package uploaders
Click here to manage this account