Proxied Maintainer

Jeffrey Lin

dev-lang

• dev-lang/julia-bin

  High-performance programming language for technical computing

dev-libs

• dev-libs/stp

  Simple Theorem Prover, an efficient SMT solver for bitvectors

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

www-misc

• www-misc/profile-sync-daemon

  Symlinks and syncs browser profile dirs to RAM