- conglomerate
-
an XML editor
- conjugue
-
conjugador de verbos da língua portuguesa
- conjure
-
interprets and executes scripts written in the Magick Scripting Language (MSL).
- conky
-
A system monitor for X originally based on the torsmo code, but more kickass. It just keeps on given'er. Yeah.
- Connect
-
PPPd frontend for GNUstep
- connect-proxy
-
connect over SOCKS4/5 proxy
- cons
-
A Software Construction System
- consang
-
Computer Genealogical Consanguinities
- console
-
console server client program
- conspy
-
virtual console spy tool
- contest
-
contest v0.61
- continue
-
continue for, while, or until loop
- control_rancid
-
run rancid for devices of a group
- control_roster
-
programs to gloat at expos.
- convcal
-
convert dates to different formats
- convdate
-
Convert time/date strings and numbers
- convert
-
convert between image formats as well as resize an image, blur, crop, despeckle, dither, draw on, flip, join, re-sample, and much more.
- convert-lodju1-to-lodju2
-
convert Lodju 1 index file to Lodju 2 format
- convert-ly
-
manual page for convert-ly 2.6.3
- convertior
-
Utility for creating a new IOR from existing.
changing the hostname of an existing stringified IOR
- convertTextPickle
-
Convert Mozart pickles from version 1.0.1
- convmv
-
converts filenames from one encoding to another
- cooc
-
calculate the co-occurrence matrix and features on it
- cooc_features
-
See cooc.1
- cook
-
a file construction tool
- cookfp
-
calculate file fingerprint
- cooktime
-
set file times
- cook_bom
-
bill of materials
- cook_rsh
-
load balancing rsh
- coolmail
-
3D animated mail notificaion utility
- copymat
-
convert ASCII matrices into a database suitable for quick reading
- coq-interface
-
coq-interface -
- coq-interface.opt
-
coq-interface -
- coq-tex
-
Process Coq phrases embedded in LaTeX files
- coqc
-
The Coq Proof Assistant compiler
- coqdep
-
Compute inter-module dependencies for Coq and Caml programs
- coqdoc
-
A documentation tool for the Coq proof assistant
- coqide
-
The Coq Proof Assistant graphical interface
- coqide.byte
-
The Coq Proof Assistant graphical interface
- coqide.opt
-
The Coq Proof Assistant graphical interface
- coqmktop
-
The Coq Proof Assistant user-tactics linker
- coqtags
-
creates Proof General tags for coq theories.
- coqtop
-
The Coq Proof Assistant toplevel system
- coqtop.byte
-
The bytecode Coq toplevel
- coqtop.opt
-
The native-code Coq toplevel
- coqwc
-
print the number of specification, proof and comment lines in
Coq files
- coq_makefile
-
The Coq Proof Assistant makefile generator
- corduroy
-
element mesh generator
- coriander
-
manual page for Gnome coriander 1.0.0-pre3
- corkscrew
-
Tunnel TCP connections through HTTP proxies