Search:
Search Results
app-editors/leafpad
Simple GTK2 text editor
dev-python/ipython
Advanced interactive shell for Python
app-office/magicpoint
X11 based presentation tool
dev-cpp/ctemplate
A simple but powerful template language for C++
sys-apps/qingy
A DirectFB getty replacement
sys-cluster/glusterfs
GlusterFS is a powerful network/cluster filesystem
sci-mathematics/fricas
FriCAS is a fork of Axiom computer algebra system
net-mail/mu
Set of tools to deal with Maildirs, in particular, searching and indexing
dev-lang/lua
A powerful light-weight programming language designed for extending applications
dev-lang/scala
The Scala Programming Language
dev-vcs/mercurial
Scalable distributed SCM
net-mail/notmuch
Thread-based e-mail indexer, supporting quick search and tagging
app-i18n/mozc
Mozc - Japanese input method editor
sci-mathematics/acl2
Industrial strength theorem prover, logic and programming language
dev-util/rpmdevtools
Collection of rpm packaging related utilities
media-gfx/openscad
The Programmers Solid 3D CAD Modeller
sci-mathematics/form
Symbolic Manipulation System
app-admin/pass
Stores, retrieves, generates, and synchronizes passwords securely
sci-physics/thepeg
Toolkit for High Energy Physics Event Generation
dev-lang/teyjus
Higher-order logic programming language Lambda Prolog
sci-mathematics/twelf
Implementation of the logical framework LF
dev-lang/lfe
Lisp-flavoured Erlang
sci-mathematics/why3
Platform for deductive program verification
dev-cpp/cpplint
The google styleguide together with cpplint and an emacs file
dev-util/pkgcheck
pkgcore-based QA utility for ebuild repos
media-sound/supercollider
Environment and programming language for real time audio synthesis
app-i18n/skktools
SKK utilities to manage dictionaries
sys-devel/llvm-common
Common files shared between multiple slots of LLVM
sci-mathematics/why3-for-spark
Platform for deductive program verification
dev-ml/dune
A composable build system for OCaml
app-text/noweb
a literate programming tool, lighter than web
dev-scheme/gerbil
Dialect of Scheme designed for Systems Programming
dev-util/poke
Extensible editor for structured binary data
dev-ml/merlin
Context sensitive completion for OCaml in Vim and Emacs
sci-mathematics/reduce
A general-purpose computer algebra system
dev-ml/utop
Universal toplevel for OCaml
dev-scheme/skribilo
Document production tool written in Guile Scheme
sci-mathematics/alectryon
Toolkit for literate programming in Coq
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
sys-apps/myov-base-meta
Meta package for basic system packages
dev-scheme/bigloo
Practical Scheme Compiler with many extensions
dev-util/fsharpbinding
The F# Compiler
dev-qt/ghoul
Lightweight IDE for C++/QML development centering around Qt
dev-util/coccigrep
A semantic grep for the C language
dev-util/coccinelle
Program matching and transformation engine
sci-mathematics/cubicle
Model checker for verifying properties of array-based systems
virtual/zenv-latex
Zscheile LaTeX Environment
sci-mathematics/proverif
Cryptographic protocol verifier in the formal model
dev-lisp/ecl
ECL is an embeddable Common Lisp implementation
dev-lang/ats2
Functional programming language with dependent types