Packages — C (Page 6 of 7)
Packages menu:
Browse alphabetically
clisp 2.49-92
GNU CLISP is an implementation of ANSI Common Lisp. Common Lisp is a high-level, object-oriented functional programming language. CLISP includes an interpreter, a compiler, a debugger, and much more. …
clitest 0.3.0
`clitest' is a portable shell script that performs automatic testing of Unix command lines. …
cloc 1.86
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages. Given two versions of a code base, cloc can compute differences in blank, comment, and…
clojure 1.10.0
Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. Clojure is a compiled language, yet…
clojure-algo-generic 0.1.3
Generic versions of commonly used functions, implemented as multimethods that can be implemented for any data type. …
clojure-algo-monads 0.1.6
This library contains the most commonly used monads as well as macros for defining and using monads and useful monadic functions. …
clojure-core-match 0.3.0-alpha5-1.1837ffb
An optimized pattern matching library for Clojure. It supports Clojure 1.5.1 and later as well as ClojureScript. …
clojure-instaparse 1.4.9
Instaparse aims to be the simplest way to build parsers in Clojure. * Turns _standard EBNF or ABNF notation_ for context-free grammars into an …
clojure-tools-cli 0.4.2
The `tools.cli' library provides Clojure programmers with tools to work with command-line arguments. …
clojure-tools-macro 0.1.5
Tools for writing macros. …
cloog 0.18.0
CLooG is a free software library to generate code for scanning Z-polyhedra. That is, it finds a code (e.g., in C, FORTRAN...) that reaches each integral point of one or more…
cloud-utils 0.31
This package contains a set of utilities for cloud computing environments: * `cloud-localds' Create a disk for cloud-init to utilize nocloud * `cloud-publish-image' Wrapper for cloud…
clp 1.17.6
CLP is a high quality linear programming solver. Its main strengths are its dual and primal Simplex algorithms. It also has a barrier algorithm for linear and quadratic objectives. …
clucene 2.3.3.4
CLucene is a high-performance, scalable, cross platform, full-featured indexing and searching API. It is a port of the very popular Java Lucene text search engine API to C++. …
clustal-omega 1.2.4
Clustal-Omega is a general purpose multiple sequence alignment (MSA) program for protein and DNA/RNA. It produces high quality MSAs and is capable of handling data-sets of hundreds of thousands of sequences…
clustershell 1.8.3
ClusterShell is an event-driven Python framework, designed to run local or distant commands in parallel on server farms or on large GNU/Linux clusters. It will take care of common issues encountered…
clusterssh 4.13.2
ClusterSSH controls a number of xterm windows via a single graphical console window to allow commands to be interactively run on multiple servers over ssh connections. …
clutter 1.26.2
Clutter is an OpenGL-based interactive canvas library, designed for creating fast, mainly 2D single window applications such as media box UIs, presentations, kiosk style applications and so on. …
clutter-gst 3.0.27
Clutter-Gst is an integration library for using GStreamer with Clutter. It provides a GStreamer sink to upload frames to GL and an actor that implements the ClutterGstPlayer interface using playbin. …
clutter-gtk 1.8.4
Clutter is an OpenGL-based interactive canvas library, designed for creating fast, mainly 2D single window applications such as media box UIs, presentations, kiosk style applications and so on. …
clyrics 0.12
Clyrics is an extensible command-line tool to fetch the lyrics of songs. It can be used in daemon mode along with the Music-on-Console (MOC) and cmus console music players. …
clzip 1.11
Clzip is a compressor and decompressor for files in the lzip compression format (.lz), written as a single small C tool with no dependencies. This makes it well-suited to embedded and…
cm 0.3
The CM software implements the construction of ring class fields of imaginary quadratic number fields and of elliptic curves with complex multiplication via floating point approximations. It consists of libraries that…
cmake 3.16.5
CMake is a family of tools designed to build, test and package software. CMake is used to control the software compilation process using simple platform and compiler independent configuration files. …
cmark 0.29.0
CommonMark is a strongly defined, highly compatible specification of Markdown. cmark is the C reference implementation of CommonMark. It provides `libcmark' shared library for parsing CommonMark to an abstract syntax tree…
cmatrix 2.0
CMatrix simulates the display from "The Matrix" and is based on the screensaver from the movie's website. It works with terminal settings up to 132x300 and can scroll lines all at…
cmdtest 0.32
`cmdtest' black box tests Unix command line tools. Roughly, it is given a command line and input files, and the expected output, and it verifies that the command line produces the…
cmh 1.0
The CMH software computes Igusa (genus 2) class polynomials, which parameterize the CM points in the moduli space of 2-dimensional abelian varieties, i.e. Jacobians of hyperelliptic curves. It can also be…
cmocka 1.1.5
Cmocka is a unit testing framework for C with support for mock objects. It only requires the standard C library, and works with different compilers. Cmocka supports several different message…
cmst 2019.01.13
Cmst is a Qt based frontend for the `connman' connection manager. This package also provides a systemtray icon. …
cmus 2.8.0
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…
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…
collectd 5.11.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.1.12-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.4
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. …
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.3
`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.15.0
`compton-conf' is a configuration tool for X composite manager Compton. …
conda 4.8.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.)…
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.11.6
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.38
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.196
console-setup provides the console with the same keyboard configuration scheme that X Window System has. In particular, the `ckbcomp' program compiles an XKB keyboard description to a keymap suitable for `loadkeys'…
containerd 1.2.5
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.10.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.10.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.0.3
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.1
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.2.0
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.2
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-interval 3.4.1
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.10.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.2.1
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 …
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
Corkscrew tunnels SSH connections through most HTTP and HTTPS proxies. Proxy authentication is only supported through the plain-text HTTP basic authentication scheme. …
corrode 0.0.1-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.64
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. …
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…
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…
cppcheck 1.90
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 it's own version of the tool, this is a fork that…
cppunit 1.14.0
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 20200427
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…
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.7.15
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.1.0
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.25.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.25.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. …