Ivan Perez
IvanPerez is part of the following groups:- Maintainers for Haskelloids : candidates
- Maintainers for IfElse : candidates
- Maintainers for MissingK : candidates
- Maintainers for SpaceInvaders : candidates
- Maintainers for Yampa : candidates
- Maintainers for YampaSynth : candidates
- Maintainers for android : candidates
- Maintainers for avatar-generator : candidates
- Maintainers for bearriver : candidates
- Maintainers for clean-home : candidates
- Maintainers for copilot-bluespec : candidates
- Maintainers for copilot-c99 : candidates
- Maintainers for copilot-cbmc : candidates
- Maintainers for copilot-core : candidates
- Maintainers for copilot-interpreter : candidates
- Maintainers for copilot-language : candidates
- Maintainers for copilot-libraries : candidates
- Maintainers for copilot-prettyprinter : candidates
- Maintainers for copilot-sbv : candidates
- Maintainers for copilot-theorem : candidates
- Maintainers for copilot-verifier : candidates
- Maintainers for copilot : candidates
- Maintainers for dunai-test : candidates
- Maintainers for dunai : candidates
- Maintainers for gtk-helpers : candidates
- Maintainers for haskanoid : candidates
- Maintainers for hcwiid : candidates
- Maintainers for keera-callbacks : candidates
- Maintainers for keera-hails-i18n : candidates
- Maintainers for keera-hails-mvc-controller : candidates
- Maintainers for keera-hails-mvc-environment-gtk : candidates
- Maintainers for keera-hails-mvc-model-lightmodel : candidates
- Maintainers for keera-hails-mvc-model-protectedmodel : candidates
- Maintainers for keera-hails-mvc-solutions-config : candidates
- Maintainers for keera-hails-mvc-solutions-gtk : candidates
- Maintainers for keera-hails-mvc-view-gtk : candidates
- Maintainers for keera-hails-mvc-view : candidates
- Maintainers for keera-hails-reactive-fs : candidates
- Maintainers for keera-hails-reactive-gtk : candidates
- Maintainers for keera-hails-reactive-network : candidates
- Maintainers for keera-hails-reactive-polling : candidates
- Maintainers for keera-hails-reactive-wx : candidates
- Maintainers for keera-hails-reactive-yampa : candidates
- Maintainers for keera-hails-reactivelenses : candidates
- Maintainers for keera-hails-reactivevalues : candidates
- Maintainers for keera-posture : candidates
- Maintainers for ogma-cli : candidates
- Maintainers for ogma-core : candidates
- Maintainers for ogma-extra : candidates
- Maintainers for ogma-language-c : candidates
- Maintainers for ogma-language-cocospec : candidates
- Maintainers for ogma-language-copilot : candidates
- Maintainers for ogma-language-fret-cs : candidates
- Maintainers for ogma-language-fret-reqs : candidates
- Maintainers for ogma-language-jsonspec : candidates
- Maintainers for ogma-language-smv : candidates
- Maintainers for ogma-spec : candidates
- Maintainers for qt : candidates
- Maintainers for simple-affine-space : candidates
- Maintainers for yampa-gloss : candidates
- Maintainers for yampa-test : candidates
- Package uploaders
Click here to manage this account