Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Proxied Maintainer
Jeffrey Lin
Packages
5
Stabilization
1
Outdated
0
Pull requests
0
Bugs
3
Security
0
Changelog
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
Shortcuts
dev-lang (1)
dev-libs (1)
dev-python (1)
dev-util (1)
www-misc (1)