k3ylabs/cosoco-image-dataset huggingface dataset:
Package: libcoq-mathcomp (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-mathcomp-algebra (= 1.14.0-7), libcoq-mathcomp-character (= 1.14.0-7), libcoq-mathcomp-field (= 1.14.0-7), libcoq-mathcomp-fingroup (= 1.14.0-7), libcoq-mathcomp-solvable (= 1.14.0-7), libcoq-mathcomp-ssreflect (= 1.14.0-7), coq-8.15.0+4.13.1
Description:  Mathematical Components library for Coq (all) The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language. . These formal theories cover a wide spectrum of topics, ranging from the formal theory of general-purpose data structures like lists, prime numbers or finite graphs, to advanced topics in algebra. . The formalization technique adopted in the library, called "small scale reflection", leverages the higher-order nature of Coq's underlying logic to provide effective automation for many small, clerical proof steps. This is often accomplished by restating ("reflecting") problems in a more concrete form, hence the name. For example, arithmetic comparison is not an abstract predicate, but rather a function computing a Boolean. . This package installs the full Mathematical Components library.
Package: libcoq-stdlib (8.15.0+dfsg-2)
Section: universe/math
Homepage: http://coq.inria.fr/
Description:  proof assistant for higher-order logic (theories) 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. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
Package: libcore-async-clojure (1.3.610-4)
Section: universe/java
Homepage: https://github.com/clojure/core.async
Depends: libclojure-java, libtools-analyzer-jvm-clojure (>= 1.1.0-2)
Description:  asynchronous programming using channels for Clojure core.async is a Clojure library designed to provide facilities for async programming and communication.
Package: libcore-cache-clojure (1.0.207-1)
Section: universe/java
Homepage: https://github.com/clojure/core.cache
Depends: libclojure-java, libdata-priority-map-clojure
Description:  cache abstraction library for Clojure core.cache is a Clojure library that provides implementations of basic caching strategies such as: .  * First-in-first-out (FIFOCache)  * Least-recently-used (LRUCache)  * Least-used (LUCache -- sometimes called Least Frequently Used)  * Time-to-live (TTLCache)  * Naïve cache (BasicCache)  * Naïve cache backed with soft references (SoftCache)  * Low inter-reference recency set algorithm (LIRSCache) . All implementation use a common base abstraction (CacheProtocol) which, in combination with suitable macros, allows for the easy integration of user defined caching strategies that hook into the Clojure associative data capabilities.
Package: libcore-match-clojure (1.0.0-1)
Section: universe/java
Homepage: https://github.com/clojure/core.match
Depends: libclojure-java
Description:  optimized pattern match and predicate dispatch library for Clojure An optimized pattern match and predicate dispatch library for Clojure. Currently the library only implements pattern matching. It supports Clojure 1.3.0 and later as well as ClojureScript
Package: libcore-memoize-clojure (0.7.1-1)
Section: universe/java
Homepage: https://github.com/clojure/core.memoize
Depends: libclojure-java, libcore-cache-clojure
Description:  Clojure memoization library core.memoize provides the following features:  * An underlying PluggableMemoization protocol, allowing the use of    customizable and swappable memoization caches.  * Memoization builders for implementation of common caching strategies (FIFO,    LRU, TTL, etc.)  * Function for manipulating the memoization cache of core.memoize-backed    functions.
Package: libcore-renderer-java-doc (0.0~R8+dfsg2-1.1)
Section: universe/doc
Homepage: https://code.google.com/p/flying-saucer/
Description:  Documentation for libcore-renderer-java Documentation for xhtmlrender that is an XML/CSS renderer, which means it takes XML files as input, applies formatting and styling using CSS, and generates a rendered representation of that XML as output. The output may go to the screen (in a GUI), to an image or to a PDF file. . The main target for content is XHTML 1.0 (strict), an XML document format that standardizes HTML. However, xhtmlrenderer accepts any well-formed XML for rendering as long as CSS is provided that tells how to lay it out. . In the case of XHTML, default stylesheets are provided out of the box and packaged within the library. . This package contains the javadoc files of libcore-renderer-java and the user guide reference for xhtmlrenderer.
Package: libcore-renderer-java (0.0~R8+dfsg2-1.1)
Section: universe/java
Homepage: https://code.google.com/p/flying-saucer/
Depends: libitext-java (>= 2.0)
Description:  Java library that provides an XML/XHTML/CSS 2.1 Renderer xhtmlrender is an XML/CSS renderer, which means it takes XML files as input, applies formatting and styling using CSS, and generates a rendered representation of that XML as output. The output may go to the screen (in a GUI), to an image or to a PDF file. . The main target for content is XHTML 1.0 (strict), an XML document format that standardizes HTML. However, xhtmlrenderer accepts any well-formed XML for rendering as long as CSS is provided that tells how to lay it out. . In the case of XHTML, default stylesheets are provided out of the box and packaged within the library.
Package: libcore-specs-alpha-clojure (0.2.56-1)
Section: universe/java
Homepage: https://github.com/clojure/core.specs.alpha
Description:  specs to describe Clojure core macros and functions core.specs.alpha is a Clojure library containining specs to describe core macros and functions of the Clojure language.
Package: libcork-dev (1.0.0~rc3-3)
Section: universe/libdevel
Homepage: https://github.com/dcreager/libcork
Depends: libcork16 (= 1.0.0~rc3-3)
Description:  simple, easily embeddable, cross-platform C library (development files) It falls roughly into the same category as glib or APR in the C world; the STL, POCO, or QtCore in the C++ world; or the standard libraries of any decent dynamic language. . So if libcork has all of these comparables, why a new library? Well, none of the C++ options are really applicable here. And none of the C options work, because one of the main goals is to have the library be highly modular, and useful in resource-constrained systems. You’ll hopefully see how this fits into an interesting niche of its own. . This package provides C header files for the libraries.
Package: libcork-doc (1.0.0~rc3-3)
Section: universe/doc
Homepage: https://github.com/dcreager/libcork
Depends: libjs-mathjax, libjs-sphinxdoc (>= 2.4.3-5~)
Description:  simple, easily embeddable, cross-platform C library (documentation files) It falls roughly into the same category as glib or APR in the C world; the STL, POCO, or QtCore in the C++ world; or the standard libraries of any decent dynamic language. . So if libcork has all of these comparables, why a new library? Well, none of the C++ options are really applicable here. And none of the C options work, because one of the main goals is to have the library be highly modular, and useful in resource-constrained systems. You’ll hopefully see how this fits into an interesting niche of its own. . This package provides documentation in HTML for the libraries.
Package: libcork16 (1.0.0~rc3-3)
Section: universe/libs
Homepage: https://github.com/dcreager/libcork
Depends: libc6 (>= 2.34)
Description:  simple, easily embeddable, cross-platform C library It falls roughly into the same category as glib or APR in the C world; the STL, POCO, or QtCore in the C++ world; or the standard libraries of any decent dynamic language. . So if libcork has all of these comparables, why a new library? Well, none of the C++ options are really applicable here. And none of the C options work, because one of the main goals is to have the library be highly modular, and useful in resource-constrained systems. You’ll hopefully see how this fits into an interesting niche of its own. . This package provides shared libraries.
Package: libcorkipset-dev (1.1.1+git20171111.6842a63-2)
Section: universe/libdevel
Homepage: https://github.com/dcreager/libcorkipset
Depends: libcorkipset1 (= 1.1.1+git20171111.6842a63-2)
Description:  C library to store sets/maps of IP address (development files) The ipset library provides C data types for storing sets of IP addresses, and maps of IP addresses to integers.  It supports both IPv4 and IPv6 addresses.  It's implemented using "Binary Decision Diagrams" (BDDs, https://en.wikipedia.org/wiki/Binary_decision_diagram), which (we hypothesize) makes it space efficient for large sets. . This package provides C header files for the library.
Package: libcorkipset-doc (1.1.1+git20171111.6842a63-2)
Section: universe/doc
Homepage: https://github.com/dcreager/libcorkipset
Depends: libjs-sphinxdoc (>= 2.4.3-5~)
Description:  C library to store sets/maps of IP address (documentation files) The ipset library provides C data types for storing sets of IP addresses, and maps of IP addresses to integers.  It supports both IPv4 and IPv6 addresses.  It's implemented using "Binary Decision Diagrams" (BDDs, https://en.wikipedia.org/wiki/Binary_decision_diagram), which (we hypothesize) makes it space efficient for large sets. . This package provides documentation in HTML for the library.
Package: libcorkipset-utils (1.1.1+git20171111.6842a63-2)
Section: universe/libs
Homepage: https://github.com/dcreager/libcorkipset
Depends: libcorkipset1 (= 1.1.1+git20171111.6842a63-2), libc6 (>= 2.34), libcork16 (>= 1.0.0~)
Description:  C library to store sets/maps of IP address (utility files) The ipset library provides C data types for storing sets of IP addresses, and maps of IP addresses to integers.  It supports both IPv4 and IPv6 addresses.  It's implemented using "Binary Decision Diagrams" (BDDs, https://en.wikipedia.org/wiki/Binary_decision_diagram), which (we hypothesize) makes it space efficient for large sets. . This package provides a few utility binaries for the library.
Package: libcorkipset1 (1.1.1+git20171111.6842a63-2)
Section: universe/libs
Homepage: https://github.com/dcreager/libcorkipset
Depends: libc6 (>= 2.4), libcork16 (>= 1.0.0~)
Description:  C library to store sets/maps of IP address The ipset library provides C data types for storing sets of IP addresses, and maps of IP addresses to integers.  It supports both IPv4 and IPv6 addresses.  It's implemented using "Binary Decision Diagrams" (BDDs, https://en.wikipedia.org/wiki/Binary_decision_diagram), which (we hypothesize) makes it space efficient for large sets. . This package provides shared library.
Package: libcoro-perl (6.570-2build1)
Section: universe/perl
Homepage: https://metacpan.org/release/Coro
Depends: perl, perlapi-5.34.0, libc6 (>= 2.34), libanyevent-perl, libcommon-sense-perl, libguard-perl
Description:  Perl framework implementing coroutines Coro is a collection of modules which manages continuations in general, most often in the form of cooperative threads (also called coros, or simply "coro" in the documentation). They do not actually execute at the same time, even on machines with multiple processors. . The specific flavor of thread offered by this module also guarantees you that it will not switch between threads unless necessary. It switches at easily- identified points in your program, so locking and parallel access are rarely an issue, making threaded programming much safer and easier than using other threading models. . Coro provides a full shared address space, which makes communication between threads very easy. A parallel matrix multiplication benchmark runs over 300 times faster on a single core than perl's ithreads on a quad core using all four cores. . This version of Coro has been patched by the Debian Project to provide compatibility with Perl 5.22 and Perl 5.24. Please send bug reports to Debian (<https://www.debian.org/Bugs/>) and not the original author.
Package: libcoro-twiggy-perl (0.03-1.1)
Section: universe/perl
Homepage: http://search.cpan.org/dist/Coro-Twiggy/
Depends: perl:any, libanyevent-perl, libcoro-perl, twiggy
Description:  Coro interface for Twiggy The package provides Coro(utine) interface for Twiggy webserver, so You can use Twiggy as http backend of Coro applications.
Package: libcorona-perl (0.1004-4)
Section: universe/perl
Homepage: https://metacpan.org/release/Corona
Depends: perl, libanyevent-perl, libcoro-perl, libev-perl, libnet-server-coro-perl, libnet-server-perl, libplack-perl
Description:  Coro based PSGI web server Corona is a Coro based Plack web server. It uses Net::Server::Coro under the hood, which means there are coroutines (threads) for each socket, active connections and a main loop.
Package: libcorosync-common-dev (3.1.6-1ubuntu1)
Section: libdevel
Homepage: https://corosync.github.io/corosync/
Depends: libqb-dev, libcorosync-common4 (= 3.1.6-1ubuntu1)
Description:  cluster engine common development The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features: .  * A closed process group communication model with virtual synchrony    guarantees for creating replicated state machines.  * A simple availability manager that restarts the application process    when it has failed.  * A configuration and statistics in-memory database that provide the    ability to set, retrieve, and receive change notifications of    information.  * A quorum system that notifies applications when quorum is achieved    or lost. . This package contains the headers and other necessary files to build applications or libraries that use the Corosync libraries.
Package: libcorosync-common4 (3.1.6-1ubuntu1)
Section: libs
Homepage: https://corosync.github.io/corosync/
Description:  cluster engine common library The Corosync Cluster Engine is a Group Communication System with additional features for implementing high availability within applications. The project provides four C Application Programming Interface features: .  * A closed process group communication model with virtual synchrony    guarantees for creating replicated state machines.  * A simple availability manager that restarts the application process    when it has failed.  * A configuration and statistics in-memory database that provide the    ability to set, retrieve, and receive change notifications of    information.  * A quorum system that notifies applications when quorum is achieved    or lost. . This package contains the Corosync common library.
Package: libcortado-java (0.6.0-5)
Section: universe/java
Homepage: http://theora.org/cortado/
Description:  streaming applet for Ogg formats -- shared components By embedding the cortado applet in your website, you can give viewers access to streams from either the Flumotion streaming server or any HTTP server providing multimedia files without the need for a locally installed media player supporting the correct formats on the visitor's computer.  Cortado currently include Java decoders for Ogg Theora, Ogg Vorbis (the JOrbis library), Mulaw audio, MJPEG and Flumotion's Smoke codec. . The package cotains the actual jar files that can be used by other programs to provide Theora playback capability.
Package: libcos4-2 (4.2.5-1)
Section: universe/libs
Homepage: http://omniorb.sourceforge.net
Depends: libc6 (>= 2.4), libgcc-s1 (>= 3.3.1), libomniorb4-2 (>= 4.2.5), libomnithread4 (>= 4.2.5), libstdc++6 (>= 5)
Description:  omniORB CORBA services stubs omniORB4 is a freely available Common Object Request Broker Architecture (CORBA) 2.6 compliant object request broker (ORB) implementation. It is based on the IIOP communications protocol and should be interoperable with any other CORBA 2.6 compliant ORB. . This includes libcos4 and libcosdynamic4.
Package: libcos4-dev (4.2.5-1)
Section: universe/libdevel
Homepage: http://omniorb.sourceforge.net
Depends: libcos4-2 (= 4.2.5-1), libomniorb4-dev (= 4.2.5-1), pkg-config
Description:  omniORB CORBA services stubs development files omniORB4 is a freely available Common Object Request Broker Architecture (CORBA) 2.6 compliant object request broker (ORB) implementation. It is based on the IIOP communications protocol and should be interoperable with any other CORBA 2.6 compliant ORB. . This includes developer files for libcos4 and libcosdynamic4.
Package: libcothreads-ocaml-dev (0.10-6build1)
Section: universe/libdevel
Homepage: http://sourceforge.net/projects/cothreads/
Depends: ocaml-4.13.1
Description:  concurrent programming library for OCaml This library enhances the Threads library of the standard OCaml distribution in two dimensions: . - It implements the same API of the standard Threads library on different execution engines (process, networker), so that a single copy of source code can be compiled and deployed to different environments without modification. - It is also a super set of the standard Threads library, with extra components (STM etc.), functions (spawn etc.) and features (object-level compatibility etc.). . This package provides static libraries, interfaces, and documentation for coThreads.
Package: libcotp-dev (1.2.4-1)
Section: universe/libdevel
Homepage: https://github.com/paolostivanin/libcotp
Depends: libcotp12 (= 1.2.4-1)
Description:  C library that generates TOTP and HOTP (development) C library that generates TOTP and HOTP according to RFC-6238. . This package contains the files needed to compile and link programs which use this library.
Package: libcotp12 (1.2.4-1)
Section: universe/libs
Homepage: https://github.com/paolostivanin/libcotp
Depends: libbaseencode1 (>= 1.0.9), libc6 (>= 2.4), libgcrypt20 (>= 1.9.0)
Description:  C library that generates TOTP and HOTP C library that generates TOTP and HOTP according to RFC-6238. . This package contains shared library object.
Package: libcourier-unicode-dev (2.1.2-2)
Section: universe/libdevel
Homepage: https://www.courier-mta.org/
Depends: libcourier-unicode4 (= 2.1.2-2)
Description:  Courier Unicode library (development files and headers) This library implements several algorithms related to the Unicode Standard:  - Look up uppercase, lowercase, and titlecase equivalents    of a unicode character.  - Implementation of grapheme and work breaking rules.  - Implementation of line breaking rules.  - Several ancillary functions, like looking up the unicode character    that corresponds to some HTML 4.0 entity (such as “&amp;”, for    example), and determining the normal width or a double-width status    of a unicode character. Also, an adaptation of the iconv(3) API for    this unicode library.  - Look up Unicode script property. . This package contains the development files and headers.
Package: libcourier-unicode4 (2.1.2-2)
Section: universe/libs
Homepage: https://www.courier-mta.org/
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Description:  Courier Unicode library (shared runtime library) This library implements several algorithms related to the Unicode Standard:  - Look up uppercase, lowercase, and titlecase equivalents    of a unicode character.  - Implementation of grapheme and work breaking rules.  - Implementation of line breaking rules.  - Several ancillary functions, like looking up the unicode character    that corresponds to some HTML 4.0 entity (such as “&amp;”, for    example), and determining the normal width or a double-width status    of a unicode character. Also, an adaptation of the iconv(3) API for    this unicode library.  - Look up Unicode script property. . This package contains the shared runtime library.
Package: libcourriel-perl (0.49-1)
Section: universe/perl
Homepage: https://metacpan.org/release/Courriel
Depends: perl:any, libdatetime-format-mail-perl, libdatetime-format-natural-perl, libdatetime-perl, libdevel-partialdump-perl, libemail-abstract-perl, libemail-address-xs-perl, libemail-messageid-perl, libemail-mime-encodings-perl, libfile-libmagic-perl, libfile-slurper-perl, liblist-allutils-perl, liblist-moreutils-perl, libmoose-perl, libmoosex-role-parameterized-perl, libmoosex-strictconstructor-perl, libmoosex-types-common-perl, libmoosex-types-perl, libnamespace-autoclean-perl, libparams-validationcompiler-perl (>= 0.26), libsub-exporter-perl
Description:  high level email parsing and manipulation module The Courriel class exists to provide a high level API for working with emails, particular for processing incoming email. It is primarily a wrapper around the other classes in the Courriel distro, especially Courriel::Headers, Courriel::Part::Single, and Courriel::Part::Multipart. If you need lower level information about an email, it should be available from one of this classes.
Package: libcoverart-dev (1.0.0+git20150706-9)
Section: universe/libdevel
Homepage: https://musicbrainz.org/doc/libcoverart
Depends: libcoverart1 (= 1.0.0+git20150706-9), libcoverartcc1v5 (= 1.0.0+git20150706-9), libneon27-gnutls-dev | libneon-dev, libjansson-dev
Description:  library to access the Cover Art Archive (development files) The Cover Art Archive (CAA) is a joint project between MusicBrainz and Internet Archive that provides a covert art image database for music releases. Libcoverart is a client library to access the data stored in the CAA. . This package contains the development files.
Package: libcoverart-doc (1.0.0+git20150706-9)
Section: universe/doc
Homepage: https://musicbrainz.org/doc/libcoverart
Description:  library to access the Cover Art Archive (developer documentation) The Cover Art Archive (CAA) is a joint project between MusicBrainz and Internet Archive that provides a covert art image database for music releases. Libcoverart is a client library to access the data stored in the CAA. . This package contains the developer documentation.
Package: libcoverart1 (1.0.0+git20150706-9)
Section: universe/libs
Homepage: https://musicbrainz.org/doc/libcoverart
Depends: libc6 (>= 2.14), libcoverartcc1v5 (>= 1.0.0+git20150706-4), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2)
Description:  library to access the Cover Art Archive (C wrapper functions) The Cover Art Archive (CAA) is a joint project between MusicBrainz and Internet Archive that provides a covert art image database for music releases. Libcoverart is a client library to access the data stored in the CAA. . This package contains the shared library for the C wrapper functions.
Package: libcoverartcc1v5 (1.0.0+git20150706-9)
Section: universe/libs
Homepage: https://musicbrainz.org/doc/libcoverart
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libjansson4 (>= 2.0.1), libneon27-gnutls, libstdc++6 (>= 5.2)
Description:  library to access the Cover Art Archive The Cover Art Archive (CAA) is a joint project between MusicBrainz and Internet Archive that provides a covert art image database for music releases. Libcoverart is a client library to access the data stored in the CAA. . This package contains the shared library.
Package: libcoy-perl (0.06-9)
Section: universe/perl
Homepage: https://metacpan.org/release/Coy
Depends: perl:any, liblingua-en-inflect-perl
Description:  replace perl error messages with haiku Coy is a perl module that generates haiku based on the error messages a perl program outputs. The haiku are not canned, they are generated fresh each time based on the error message. .  Before use Coy: run  code...read rebuke. After use  Coy: run code...haiku!