Sort by Name | Popularity
accerciser (1.4.0-0ubuntu1)
Give your application an accessibility workout
alleyoop (0.9.3-2)
Find memory-management problems in your programs using the valgrind tool
anjuta (2:2.24.1-0ubuntu1)
Develop software in an integrated development environment
cameleon (1.9.18.svn20070918-2build1)
Visual environment to develop OCaml application
coqide (8.1.pl3+dfsg-1build1)
Graphical interface for the Coq proof assistant
1/7 Next