Proxied Maintainer

Jeffrey Lin

dev-python

• dev-python/neovim-remote

  A tool that helps control neovim processes

dev-util

• dev-util/lcov

  A graphical front-end for GCC's coverage testing tool gcov

sci-mathematics

• sci-mathematics/dsfmt

  Double precision SIMD-oriented Fast Mersenne Twister library
• sci-mathematics/stp

  Simple Theorem Prover, an efficient SMT solver for bitvectors

sys-apps

• sys-apps/plocate

  Posting locate is a much faster locate

www-misc

• www-misc/profile-sync-daemon

  Symlinks and syncs browser profile dirs to RAM