Tom Hawkins
TomHawkins is part of the following groups:- Maintainers for acl2 : candidates
- Maintainers for afv : candidates
- Maintainers for atom : candidates
- Maintainers for ccnx : candidates
- Maintainers for cil : candidates
- Maintainers for circ : candidates
- Maintainers for dove : candidates
- Maintainers for ecu : candidates
- Maintainers for engineering-units : candidates
- Maintainers for fault-tree : candidates
- Maintainers for fountain : candidates
- Maintainers for hcc : candidates
- Maintainers for htzaar : candidates
- Maintainers for improve : candidates
- Maintainers for ltl : candidates
- Maintainers for mecha : candidates
- Maintainers for powerpc : candidates
- Maintainers for smt-lib : candidates
- Maintainers for srec : candidates
- Maintainers for statechart : candidates
- Maintainers for theoremquest-client : candidates
- Maintainers for theoremquest : candidates
- Maintainers for vcd : candidates
- Maintainers for verilog : candidates
- Package uploaders
Click here to manage this account