Search:
Search Results
dev-util/coccigrep
A semantic grep for the C language
dev-util/coccinelle
Program matching and transformation engine
dev-util/desktop-file-utils
Command line utilities to work with desktop menu entries
dev-util/global
Tag system to find an object location in various sources
dev-util/gtk-doc
GTK+ Documentation Generator
dev-util/pkgcheck
pkgcore-based QA utility for ebuild repos
dev-util/rpmdevtools
Collection of rpm packaging related utilities
dev-vcs/mercurial
Scalable distributed SCM
media-gfx/asymptote
A vector graphics language that provides a framework for technical drawing
media-sound/timidity++
Handy MIDI to WAV converter with OSS and ALSA output support
media-sound/lilypond
GNU Music Typesetter
media-sound/supercollider
Environment and programming language for real time audio synthesis
net-dns/libidn
Internationalized Domain Names (IDN) implementation
net-mail/mailutils
A useful collection of mail servers, clients, and filters
sci-mathematics/acl2
Industrial strength theorem prover, logic and programming language
sci-mathematics/fricas
FriCAS is a fork of Axiom computer algebra system
sci-mathematics/singular
Computer algebra system for polynomial computations
sci-mathematics/proverif
Cryptographic protocol verifier in the formal model
sci-mathematics/cubicle
Model checker for verifying properties of array-based systems
sci-mathematics/form
Symbolic Manipulation System
sci-mathematics/geomview
Interactive Geometry Viewer
sci-mathematics/gretl
Regression, econometrics and time-series library
sci-mathematics/twelf
Implementation of the logical framework LF
sci-mathematics/why3
Platform for deductive program verification
sci-mathematics/why3-for-spark
SPARK 2014 repository for the Why3 verification platform
sci-mathematics/alectryon
Toolkit for literate programming in Coq
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics/maxima
Free computer algebra environment based on Macsyma
sci-physics/thepeg
Toolkit for High Energy Physics Event Generation
sci-visualization/epix
2- and 3-D plotter for creating images (to be used in LaTeX)
sci-visualization/gle
Graphics Layout Engine
sys-apps/qingy
A DirectFB getty replacement
sys-devel/gettext
GNU locale utilities
x11-wm/ratpoison
window manager without mouse dependency
x11-wm/stumpwm
A Window Manager written entirely in Common Lisp
llvm-core/clang-common
Common files shared between multiple slots of clang
llvm-core/llvm-common
Common files shared between multiple slots of LLVM
app-editors/l3afpad
Simple GTK3 text editor (successor to leafpad)
dev-haskell/hlint
Source code suggestions
sci-mathematics/agda
A dependently typed functional programming language and proof assistant
dev-cpp/cpplint
The google styleguide together with cpplint and an emacs file
sci-mathematics/reduce
A general-purpose computer algebra system
sys-apps/myov-base-meta
Meta package for basic system packages
app-text/noweb
a literate programming tool, lighter than web
dev-util/fsharpbinding
The F# Compiler
app-admin/openvox
A system automation and configuration management software