Your location:

Packages — C (Page 2 of 2)

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 source lines.

cloc contains code from David Wheeler's SLOCCount. Compared to SLOCCount, cloc can handle a greater variety of programming languages.

clojure 1.9.0 — Lisp dialect running on the JVM

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 remains completely dynamic – every feature supported by Clojure is supported at runtime. Clojure provides easy access to the Java frameworks, with optional type hints and type inference, to ensure that calls to Java can avoid reflection.

Clojure is a dialect of Lisp, and shares with Lisp the code-as-data philosophy and a powerful macro system. Clojure is predominantly a functional programming language, and features a rich set of immutable, persistent data structures. When mutable state is needed, Clojure offers a software transactional memory system and reactive Agent system that ensure clean, correct, multithreaded designs.

cloog 0.18.0 — Library to generate code for scanning Z-polyhedra

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 parameterized polyhedra. CLooG has been originally written to solve the code generation problem for optimizing compilers based on the polytope model. Nevertheless it is used now in various area e.g., to build control automata for high-level synthesis or to find the best polynomial approximation of a function. CLooG may help in any situation where scanning polyhedra matters. While the user has full control on generated code quality, CLooG is designed to avoid control overhead and to produce a very effective code.

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 in reasonable time.

clutter-gst 3.0.24 — Integration library for using GStreamer with Clutter

This is a GNU package.

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 is an Open GL based interactive canvas library.

clzip 1.10 — Small, stand-alone lzip compressor and decompressor

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 other systems without a C++ compiler, or for use in other applications like package managers. Clzip is intended to be fully compatible with the regular lzip package.

cm 0.3 — CM constructions for elliptic curves

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 can be called from within a C program and of executable command line applications.

cmake 3.11.0-rc2 — Cross-platform build system

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. CMake generates native makefiles and workspaces that can be used in the compiler environment of your choice.

cmake 3.7.2 — Cross-platform build system

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. CMake generates native makefiles and workspaces that can be used in the compiler environment of your choice.

cmark 0.28.3 — CommonMark Markdown reference implementation

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 (AST) and rendering the document as HTML, groff man, LaTeX, CommonMark, or an XML representation of the AST. The package also provides the command-line program cmark for parsing and rendering CommonMark.

cmatrix 1.2a — Simulate the display from "The Matrix"

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 the same rate or asynchronously and at a user-defined speed.

cmdtest 0.32 — Black box Unix program tester

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 expected output. If not, it reports a problem, and shows the differences.

cmocka 1.1.1 — Unit testing framework for C

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 output formats like Test Anything Protocol, Subunit, xUnit XML or the original cmockery output format.

coda 2.18.3 — A common interface to various earth observation data formats

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 C, Fortran, Python, and Java programming languages.

cogl 1.22.2 — Object oriented GL/GLES Abstraction/Utility Layer

This is a GNU package.

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 to write orthogonal components that can render without stepping on each others toes.

colobot 0.1.11-alpha — Educational programming strategy game

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 find a new planet to live and survive. You can save humanity and get programming skills!

commoncpp 1.8.1 — (u)Common C++ framework for threaded applications

This is a GNU package.

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 includes the uCommon C++ library, a smaller reimplementation.

complexity 1.10 — Analyze complexity of C functions

This is a GNU package.

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 code that seemed comprehensible when you wrote it.

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 first-class citizens, making it easy to create independent environments even for C libraries. Conda is written entirely in Python.

Conkeror is a highly-programmable web browser based on Mozilla XULRunner which is the base of all Mozilla products including Firefox. Conkeror has a sophisticated keyboard system for running commands and interacting with web page content, modelled after Emacs and Lynx. It is self-documenting and extensible with JavaScript.

It comes with builtin support for several Web 2.0 sites like several Google services (Search, Gmail, Maps, Reader, etc.), Del.icio.us, Reddit, Last.fm and YouTube. For easier editing of form fields, it can spawn external editors.

connman 1.35 — Connection management daemon

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 can be extended through plug-ins. The plug-in approach allows for easy adaption and modification for various use cases. Connman implements DNS resolving and caching, DHCP clients for both IPv4 and IPv6, link-local IPv4 address handling and tethering (IP connection sharing) to clients via USB, ethernet, WiFi, cellular and Bluetooth.

cook 2.34 — Tool for constructing files

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 be prerequisites to performing the actions necessary to creating any file, such as include files. Cook provides a mechanism to define these.

coq-coquelicot 3.0.1 — Coq library for Reals

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. To help with the proof process, the library comes with a comprehensive set of theorems that cover not only these notions, but also some extensions such as parametric integrals, two-dimensional differentiability, asymptotic behaviors. It also offers some automations for performing differentiability proofs. Moreover, Coquelicot is a conservative extension of Coq's standard library and provides correspondence theorems between the two libraries.

coq-flocq 2.6.0 — Floating-point formalization for the Coq system

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 inside Coq.

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 CGAL and it is used to certify elementary functions in CRlibm. While Gappa is intended to be used directly, it can also act as a backend prover for the Why3 software verification plateform or as an automatic tactic for the Coq proof assistant.

coq-mathcomp 1.6.2 — Mathematical Components for Coq

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 for large scale projects like the formal proof of the Odd Order Theorem.

The library is written using the Ssreflect proof language that is an integral part of the distribution.

coreutils 8.28 — Core GNU utilities (file, text, shell)

This is a GNU package.

GNU Coreutils includes all of the basic command-line tools that are expected in a POSIX system. These provide the basic file, shell and text manipulation functions of the GNU system. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

coreutils-minimal 8.28 — Core GNU utilities (file, text, shell)

This is a GNU package.

GNU Coreutils includes all of the basic command-line tools that are expected in a POSIX system. These provide the basic file, shell and text manipulation functions of the GNU system. Most of these tools offer extended functionality beyond that which is outlined in the POSIX standard.

couger 1.8.2 — Identify co-factors in sets of genomic regions

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. The framework determines the genomic targets uniquely-bound by each TF, and identifies a small set of co-factors that best explain the in vivo binding differences between the two TFs.

COUGER uses classification algorithms (support vector machines and random forests) with features that reflect the DNA binding specificities of putative co-factors. The features are generated either from high-throughput TF-DNA binding data (from protein binding microarray experiments), or from large collections of DNA motifs.

cowsay 3.04 — Speaking cow text filter

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 think too: all you have to do is run cowthink. If you're tired of cows, a variety of other ASCII-art messengers are available.

cpio 2.12 — Manage cpio and tar file archives

This is a GNU package.

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 handled appropriately. Furthermore, the location of the archive is not important. It can be another file on the drive, a tape, or data on a pipe.

cppcheck 1.82 — Static C/C++ code analyzer

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 the types of bugs that the compilers normally do not detect. The goal is to detect only real errors in the code (i.e. have zero false positives).

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 the C pre-processor is pretty-much feature-complete and compatible with traditional (K&R) pre-processors. Additional features include: a plain-text mode; an option to unlit literate code files; and an option to turn off macro-expansion.

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 and the text following them.

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 Transmeta, Cyrix, UMC, NexGen, Rise, and SiS CPUs.

cpulimit 0.2 — Limit CPU usage

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 dynamically to the overall system load. Children processes and threads of the specified process may optionally share the same limits.

cracklib 2.9.6 — Password checking library

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 guessed (or "cracked") by filtering them out, at the source.

criu 3.5 — Checkpoint and restore in user space

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 to restore and run the application from the point it was frozen at. The distinctive feature of the CRIU project is that it is mainly implemented in user space.

crossmap 0.2.1 — Convert genome coordinates between assemblies

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.

cryptsetup 1.7.5 — Hard disk encryption tool

LUKS (Linux Unified Key Setup)/Cryptsetup provides a standard on-disk encryption format, which does not only facilitate compatibility among distributions, but which also provides secure management of multiple user passwords. In contrast to existing solutions, LUKS stores all setup necessary setup information in the partition header, enabling the users to transport or migrate their data seamlessly.

LUKS (Linux Unified Key Setup)/Cryptsetup provides a standard on-disk encryption format, which does not only facilitate compatibility among distributions, but which also provides secure management of multiple user passwords. In contrast to existing solutions, LUKS stores all setup necessary setup information in the partition header, enabling the users to transport or migrate their data seamlessly.

ctl 1.5.2 — Color Transformation Language

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 in a concise and unambiguous way by expressing them as programs. In order to apply a given transform to an image, the color management system instructs a CTL interpreter to load and run the CTL program that describes the transform. The original and the transformed image constitute the CTL program's input and output.

cube 4.3.5 — Performance report explorer for parallel programs

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 in a scalable fashion. Scalability is achieved in two ways: hierarchical decomposition of individual dimensions and aggregation across different dimensions. All performance metrics are uniformly accommodated in the same display and thus provide the ability to easily compare the effects of different kinds of performance behavior.

cubicle 1.1.1 — Model checker for array-based systems

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 number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems.

cuetools 1.4.1 — Cue and toc file parsers and utilities

Cuetools is a set of programs that are useful for manipulating and using CUE sheet (cue) files and Table of Contents (toc) files. CUE and TOC files are a way to represent the layout of a data or audio CD in a machine-readable ASCII format.

cups 2.2.6 — The Common Unix Printing System

CUPS is a printing system that uses the Internet Printing Protocol (IPP). It provides System V and BSD command-line interfaces, as well as a Web interface and a C programming interface to manage printers and print jobs. It supports printing to both local (parallel, serial, USB) and networked printers, and printers can be shared from one computer to another. Internally, CUPS uses PostScript Printer Description (PPD) files to describe printer capabilities and features, and a wide variety of generic and device-specific programs to convert and print many types of files.

cups-filters 1.17.9 — OpenPrinting CUPS filters and backends

Contains backends, filters, and other software that was once part of the core CUPS distribution but is no longer maintained by Apple Inc. In addition it contains additional filters developed independently of Apple, especially filters for the PDF-centric printing workflow introduced by OpenPrinting.

cups-minimal 2.2.6 — The Common Unix Printing System

CUPS is a printing system that uses the Internet Printing Protocol (IPP). It provides System V and BSD command-line interfaces, as well as a Web interface and a C programming interface to manage printers and print jobs. It supports printing to both local (parallel, serial, USB) and networked printers, and printers can be shared from one computer to another. Internally, CUPS uses PostScript Printer Description (PPD) files to describe printer capabilities and features, and a wide variety of generic and device-specific programs to convert and print many types of files.

GNU cursynth is a polyphonic synthesizer that runs graphically in the terminal. It is built on a full-featured subtractive synthesis engine. Notes and parameter changes may be entered via MIDI or the computer's keyboard.

cvs 1.12.13 — Historical centralized version control system

CVS is a version control system, an important component of Source Configuration Management (SCM). Using it, you can record the history of sources files, and documents. It fills a similar role to the free software RCS, PRCS, and Aegis packages.

cvs-fast-export 1.43 — Export an RCS or CVS history as a fast-import stream

This program analyzes a collection of RCS files in a CVS repository (or outside of one) and, when possible, emits an equivalent history in the form of a fast-import stream. Not all possible histories can be rendered this way; the program tries to emit useful warnings when it can't.

The program can also produce a visualization of the resulting commit directed acyclic graph (DAG) in the input format of Graphviz. The package also includes cvssync, a tool for mirroring masters from remote CVS hosts.