Proxied Maintainer

Jeffrey Lin

dev-lang

• dev-lang/julia

  High-performance programming language for technical computing
• 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

sci-mathematics

• sci-mathematics/dsfmt

  Double precision SIMD-oriented Fast Mersenne Twister library

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.