Packages — C (Page 8 of 9)

Packages menu:

Browse alphabetically

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

cmst 2020.11.01

Cmst is a Qt based frontend for the `connman' connection manager. This package also provides a systemtray icon. …

cmus 2.9.1

Cmus is a small and fast console music player. It supports many input formats and provides a customisable Vi-style user interface. …

cnvkit 0.9.5

CNVkit is a Python library and command-line software toolkit to infer and visualize copy number from high-throughput DNA sequencing data. It is designed for use with hybrid capture, including both whole-exome…

cockatrice 2.8.0

Cockatrice is a program for playing tabletop card games over a network. Its server design prevents users from manipulating the game for unfair advantage. The client also provides a single-player mode,…

coda 2.19

The Common Data Access toolbox (CODA) provides a set of interfaces for reading remote sensing data from earth observation data files. It consists of command line applications and interfaces to the…

codec2 0.9.2

Codec 2 is a speech codec designed for communications quality speech between 700 and 3200 bit/s. The main application is low bandwidth HF/VHF digital radio. …

codingquarry 2.0

CodingQuarry is a highly accurate, self-training GHMM fungal gene predictor designed to work with assembled, aligned RNA-seq transcripts. …

cogl 1.22.8

Cogl is a small library for using 3D graphics hardware to draw pretty pictures. The API departs from the flat state machine style of OpenGL and is designed to make it easy…

cogserver 0-2.ec5f3b9

The OpenCog Cogserver is a network and job server for the OpenCog framework. …

cogutil 2.0.3-1.b07b41b

The OpenCog utilities is a miscellaneous collection of C++ utilities use for typical programming tasks in multiple OpenCog projects. …

coin3D 3.1.3-1-ab8d0e4

Coin is a 3D graphics library with an Application Programming Interface based on the Open Inventor 2.1 API. For those who are not familiar with Open Inventor, it is a scene-graph…

coin3D 4.0.0

Coin is a 3D graphics library with an Application Programming Interface based on the Open Inventor 2.1 API. For those who are not familiar with Open Inventor, it is a scene-graph…

collectd 5.12.0

collectd gathers metrics from various sources such as the operating system, applications, log files and external devices, and stores this information or makes it available over the network. Those statistics can…

colobot 0.2.0-alpha

Colobot: Gold Edition is a real-time strategy game, where you can program your units (bots) in a language called CBOT, which is similar to C++ and Java. Your mission is to…

colord 1.4.5

Colord is a system service that makes it easy to manage, install and generate color profiles to accurately color manage input and output devices. …

colord-gtk 0.1.26

This is a GTK+ convenience library for interacting with colord. It is useful for both applications which need colour management and applications that wish to perform colour calibration. …

colordiff 1.0.19

Colordiff is Perl script wrapper on top of diff command which provides 'syntax highlighting' for various patch formats. …

colormake 0.9.20140503

This package provides a wrapper around `make' to produce colored output. …

colors 0.3

Extract colors from PNG files. It is similar to strings(1) but for pictures. For a given input file it outputs a colormap to stdout. …

combinatorial-blas 1.6.2

The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear algebra primitives specifically targeting graph analytics. …

comedilib 0.12.0

Comedilib is a user-space library that provides a developer-friendly interface to Comedi devices. Comedi is a collection of drivers for a variety of common data acquisition plug-in boards. The drivers…

commoncpp 1.8.1

GNU Common C++ is an portable, optimized class framework for threaded applications, supporting concurrent synchronization, inter-process communications via sockets, and various methods for data handling, such as serialization and XML parsing. It…

compface 1.5.2

This package takes your 48x48x1 portrait image and compresses it. …

compiledb 0.10.1

`compiledb' provides a `make' python wrapper script which, besides executing the make build command, updates the JSON compilation database file corresponding to that build, resulting in a command-line interface similar to Bear. …

complexity 1.10

GNU complexity provides tools for finding procedures that are convoluted, overly long or otherwise difficult to understand. This may help in learning or reviewing unfamiliar code or perhaps highlighting your own…

compsize 1.5

`compsize' takes a list of files (given as arguments) on a Btrfs file system and measures used compression types and effective compression ratio, producing a report. A directory has no extents but has…

compton 0.1beta2

Compton is a compositor for the Xorg display server and a for of xcompmgr-dana, which implements some changes like: * OpenGL backend (`--backend glx'), in addition to the old…

compton-conf 0.16.0

`compton-conf' is a configuration tool for X composite manager Compton. …

conan 1.40.2

Conan is a package manager for C and C++ developers that boasts the following features: * It is fully decentralized. Users can host their packages on their own …

conda 4.10.3

Conda is a cross-platform, Python-agnostic binary package manager. It is the package manager used by Anaconda installations, but it may be used for other systems as well. Conda makes environments…

confclerk 0.6.4

ConfClerk is an application written in Qt, which makes conference schedules available offline. It displays the conference schedule from various views, support searches on various items (speaker, speech topic, location, etc.)…

config 0.0.0-1.c8ddc84

The `config.guess' script tries to guess a canonical system triple, and `config.sub' validates and canonicalizes. These are used as part of configuration in nearly all GNU packages (and many others). …

confusion-mdl 0.2

MDL (the MIT Design Language) is a descendant of Lisp. It was originally developed in 1971 on the PDP-10 computer under the Incompatible Timesharing System (ITS) to provide high level language…

conky 1.12.2

Conky is a lightweight system monitor for X that displays operating system statistics (CPU, disk, and memory usage, etc.) and more on the desktop. …

connman 1.40

Connman provides a daemon for managing Internet connections. The Connection Manager is designed to be slim and to use as few resources as possible. It is fully modular system that…

console-setup 1.205

console-setup provides the console with the same keyboard configuration scheme that the X Window System has. In particular, the `ckbcomp' program compiles an XKB keyboard description to a keymap suitable for…

containerd 1.4.4

This package provides the container daemon for Docker. It includes image transfer and storage, container execution and supervision, network attachments. …

convmv 2.05

convmv is a file renamer, that converts between different encodings, e.g. from ISO-8859-1 to UTF-8. It is particularly usefuls for files with names, that display incorrectly. …

cook 2.34

Cook is a tool for constructing files. It is given a set of files to create, and recipes of how to create them. In any non-trivial program there will…

cool-retro-term 1.1.1

Cool-retro-term (crt) is a terminal emulator which mimics the look and feel of the old cathode ray tube (CRT) screens. It has been designed to be eye-candy, customizable, and reasonably lightweight. …

copyq 3.9.3

CopyQ is clipboard manager with editing and scripting features. CopyQ monitors system clipboard and saves its content in customized tabs. Saved clipboard can be later copied and pasted directly into…

coq 8.13.2

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. …

coq-autosubst 1-coq86-devel.fa6ef30

Formalizing syntactic theories with variable binders is not easy. Autosubst is a library for the Coq proof assistant to automate this process. Given an inductive definition of syntactic objects in…

coq-bignums 8.13.0

Bignums is a coq library of arbitrary large numbers. It provides BigN, BigZ, BigQ that used to be part of Coq standard library. …

coq-coquelicot 3.1.0

Coquelicot is an easier way of writing formulas and theorem statements, achieved by relying on total functions in place of dependent types for limits, derivatives, integrals, power series, and so on. …

coq-equations 1.2.4

Equations provides a notation for writing programs by dependent pattern-matching and (well-founded) recursion in Coq. It compiles everything down to eliminators for inductive types, equality and accessibility, providing a definitional extension to…

coq-flocq 3.3.1

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations…

coq-gappa 1.4.6

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It has been used to write robust floating-point filters for…

coq-ide 8.13.2

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. …

coq-ide-server 8.13.2

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. …

coq-interval 4.3.0

Interval provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant. …

coq-mathcomp 1.12.0

Mathematical Components for Coq has its origins in the formal proof of the Four Colour Theorem. Since then it has grown to cover many areas of mathematics and has been used…

coq-stdpp 1.5.0

This project contains an extended "Standard Library" for Coq called coq-std++. The key features are: * Great number of definitions and lemmas for common data structures such as …

corefreq 1.86.7

CoreFreq is a CPU monitor that reports low-level processor settings and performance data with notably high precision by using a loadable Linux kernel module. Unlike most similar tools, it can be…

coreutils 8.32

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils…

coreutils-minimal 8.32

GNU Coreutils package includes all of the basic command-line tools that are expected in a POSIX system, excluding shell. This package is the union of the GNU fileutils, sh-utils, and textutils…

corkscrew 2.0-0.268b71e

Corkscrew tunnels SSH connections through most HTTP and HTTPS proxies. It supports proxy authentication through the HTTP basic authentication scheme with optional TLS (Transport-Level Security) to protect credentials. …

corrode 0.0.0-0.b6699fb

This program reads a C source file and prints an equivalent module in Rust syntax. It is intended to be useful for two different purposes: 1. Partial automation for…

corsix-th 0.65

This package provides a reimplementation of the 1997 Bullfrog business simulation game Theme Hospital . As well as faithfully recreating the original engine, CorsixTH adds support for high resolutions, custom levels…

couger 1.8.2

COUGER can be applied to any two sets of genomic regions bound by paralogous TFs (e.g., regions derived from ChIP-seq experiments) to identify putative co-factors that provide specificity to each TF. …

countdown 1.0.0

Countdown provides a fancy text display while it counts down to zero from a starting point you provide. The user can pause and resume the countdown from the text user interface. …

cowsay 3.04

Cowsay is basically a text filter. Send some text into it, and you get a cow saying your text. If you think a talking cow isn't enough, cows can…

cozy 1.1.2

Cozy is a modern audiobook player written in GTK+. Some of the current features: * Import your audiobooks into Cozy to browse them comfortably * Sort your…

cpio 2.13

GNU cpio copies files into or out of cpio or tar archives. Indeed, many formats are supported, including legacy formats. The format is determined automatically by the program and is…

cpp-httplib 0.8.8

cpp-httplib is a C++11 single-file cross platform blocking HTTP/HTTPS library, easy to setup. It can also be used as a single-header library. …

cppcheck 2.3

Cppcheck is a static code analyzer for C and C++. Unlike C/C++ compilers and many other analysis tools it does not detect syntax errors in the code. Cppcheck primarily detects…

cpphs 1.20.8

Cpphs is a re-implementation of the C pre-processor that is both more compatible with Haskell, and itself written in Haskell so that it can be distributed with compilers. This version of…

cppi 1.18

GNU Cppi processes C source code files to properly indent the preprocessor directives to reflect their nesting. It also performs other standardizations, such as correcting the number of spaces between directives…

cpplint 1.4.5

`cpplint' is a command-line tool to check C/C++ files for style issues following Google’s C++ style guide. While Google maintains its own version of the tool, this is a fork that…

cppunit 1.15.1

CppUnit is the C++ port of the famous JUnit framework for unit testing. Test output is in XML for automatic testing and GUI based for supervised tests. …

cpputest 3.8

CppUTest is a C/C++ based unit xUnit test framework. It is written in C++ but is used in C and C++ projects and frequently used in embedded systems but it works…

cppzmq 4.6.0

This package provides header-only C++ bindings for ØMQ. The header files contain direct mappings of the abstractions provided by the ØMQ C API. …

cpufrequtils 0.3

The cpufrequtils suite contains utilities to retrieve CPU frequency information, and set the CPU frequency if supported, using the cpufreq capabilities of the Linux kernel. …

cpuid 20201006

cpuid dumps detailed information about the CPU(s) gathered from the CPUID instruction, and also determines the exact model of CPU(s). It supports Intel, AMD, and VIA CPUs, as well as older…

cpuinfo 0.0-1.866ae6e

The cpuinfo library provides a C/C++ and a command-line interface to obtain information about the CPU being used: supported instruction set, processor name, cache information, and topology information. …

cpulimit 0.2

Cpulimit limits the CPU usage of a process. It does not change the nice value or other scheduling priority settings, but the real CPU usage, and is able to adapt itself…

cpupower 5.14.8

cpupower is a set of user-space tools that use the cpufreq feature of the Linux kernel to retrieve and control processor features related to power saving, such as frequency and voltage scaling. …

cqfd 5.2.1

cqfd is a Bash script that provides a quick and convenient way to run commands in the current directory, but within a Docker container defined in a per-project configuration file. …

cracklib 2.9.7

CrackLib is a library containing a C function which may be used in a `passwd'-like program. The idea is simple: try to prevent users from choosing passwords that could easily be…

cramfs-tools 2.1

Cramfs is a Linux file system designed to be simple, small, and to compress things well. It is used on a number of embedded systems and small devices. This version…

crawl 0.27.0

Dungeon Crawl Stone Soup (also known as "Crawl" or DCSS for short) is a roguelike adventure through dungeons filled with dangerous monsters in a quest to find the mystifyingly fabulous Orb of…

crawl-tiles 0.27.0

Dungeon Crawl Stone Soup (also known as "Crawl" or DCSS for short) is a roguelike adventure through dungeons filled with dangerous monsters in a quest to find the mystifyingly fabulous Orb of…

crda 3.18

The Central Regulatory Domain Agent (CRDA) acts as the udev helper for communication between the kernel Linux and user space for regulatory compliance. …

createrepo-c 0.17.4

This package provides the `createrepo' command, which can be used to create RPM repositories. …

crispy-doom 5.8.0

Crispy Doom is a friendly fork of Chocolate Doom that provides a higher display resolution, removes the static limits of the Doom engine and offers further optional visual, tactical and physical enhancements…

criu 3.15

Using this tool, you can freeze a running application (or part of it) and checkpoint it to a hard drive as a collection of files. You can then use the files…

crm114 20100106

CRM114 is a system to examine incoming e-mail, system log streams, data files or other data streams, and to sort, filter, or alter the incoming files or data streams according to the…

crossguid 0.0-2.fef89a4

CrossGuid is a minimal GUID/UUID generator library for C++. …

crossmap 0.3.8

CrossMap is a program for conversion of genome coordinates or annotation files between different genome assemblies. It supports most commonly used file formats including SAM/BAM, Wiggle/BigWig, BED, GFF/GTF, VCF. …

cryfs 0.11.0

CryFS encrypts your files, so you can safely store them anywhere. It works well together with cloud services like Dropbox, iCloud, OneDrive and others. CryFS creates an encrypted userspace filesystem…

crypto++ 8.5.0

Crypto++ is a C++ class library of cryptographic schemes. …

cryptsetup 2.3.6

Cryptsetup is a utility used to conveniently set up disk encryption based on the `dm-crypt' Linux kernel module. It is most often used to manage LUKS volumes but also supports plain…

cryptsetup-static 2.3.6

Cryptsetup is a utility used to conveniently set up disk encryption based on the `dm-crypt' Linux kernel module. It is most often used to manage LUKS volumes but also supports plain…

csdr 0.15-1.6ef2a74

This package includes the `libcsdr' library of DSP (Digital Signal Processing) functions for SDRs (Software Defined Radios), and the `csdr' command line program that can be used to build simple signal processing…

csound 6.14.0

Csound is a user-programmable and user-extensible sound processing language and software synthesizer. …

cssc 1.4.1

GNU CSSC provides a replacement for the legacy Unix source code control system SCCS. This allows old code still under that system to be accessed and migrated on modern systems. …

csvkit 1.0.5

csvkit is a suite of command-line tools for converting to and working with CSV. It provides the following commands: * Input: *…

ctl 1.5.2

The Color Transformation Language, or CTL, is a small programming language that was designed to serve as a building block for digital color management systems. CTL allows users to describe color transforms…

cube 4.3.5

CUBE (CUBE Uniform Behavioral Encoding) is a tool to display a variety of performance metrics for parallel programs including MPI and OpenMP applications. CUBE allows interactive exploration of a multidimensional performance space…

cubicle 1.1.2

Cubicle is a model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary…

Packages menu:

Browse alphabetically

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z