k3ylabs/cosoco-image-dataset huggingface dataset:
Package: libconstant-generate-perl (0.17-1.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Constant-Generate
Depends: perl:any
Description:  Perl module providing useful utilities for handling symbolic constants Constant::Generate provides useful utilities for handling, debugging, and generating opaque, 'magic-cookie' type constants as well as value-significant constants. . Using its simplest interface, it will generate a simple enumeration of names passed to it on import.
Package: libcontext-preserve-perl (0.03-1)
Section: universe/perl
Homepage: https://metacpan.org/release/Context-Preserve
Depends: perl
Description:  Perl module to preserve calling context Context::Preserve allows developers to preserve the calling context of their subroutines, which is useful for functions that call other functions and return their results, with some possible modifications. This means that, if your module is called in scalar, list or void context, the given subroutine is called in the same context and the appropriate 'thing' is returned. . This means that it is easy to write functions that call other functions, modify their result and return it, in a seamless manner.
Package: libcontextual-return-perl (0.004014-2)
Section: perl
Homepage: https://metacpan.org/release/Contextual-Return
Depends: perl, libwant-perl
Description:  module for creating context-sensitive return values Contextual::Return provides a collection of named blocks that allow a return statement to return different values depending on the context in which it's called.
Package: libcontrolsfx-java (9.0.0+hg20181001-1)
Section: universe/java
Homepage: https://bitbucket.org/controlsfx/controlsfx
Description:  high quality UI controls and other tools to complement JavaFX ControlsFX is a collection of UI controls and other tools to complement the core JavaFX distribution.  It has been developed for JavaFX 8.0 and beyond, and has a guiding principle of only accepting new controls and features when all existing code is at an acceptably high level, including having high quality javadoc documentation. . The full list of features is provided at: http://fxexperience.com/controlsfx/features/
Package: libconversant-disruptor-java (1.2.15-1)
Section: universe/java
Homepage: https://github.com/conversant/disruptor
Depends: libslf4j-java (>= 1.7.25)
Description:  Very low latency Java BlockingQueue Disruptor is the highest performing intra-thread transfer mechanism available in Java. Conversant Disruptor is the highest performing implementation of this type of ring buffer queue because it has almost no overhead and it exploits a particularly simple design.
Package: libconvert-ascii-armour-perl (1.4-2.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-ASCII-Armour
Depends: perl:any
Description:  module to convert binary into ASCII-armoured messages Convert::ASCII::Armour is a Perl module designed to convert hashes of binary octets into ASCII messages suitable for transfer over 6-bit clean transport channels. The encoded ASCII resembles PGP's armoured messages, but are in no way compatible with PGP.
Package: libconvert-ascii85-perl (0.01-1.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-Ascii85
Depends: perl:any
Description:  module for encoding and decoding of ascii85/base85 strings Convert::Ascii85 implements the Ascii85 (also known as Base85) algorithm for encoding binary data as text. This is done by interpreting each group of four bytes as a 32-bit integer, which is then converted to a five-digit base-85 representation using the digits from ASCII 33 (!) to 117 (u). . This is similar to MIME::Base64 but more space efficient: The overhead is only 1/4 of the original data (as opposed to 1/3 for Base64).
Package: libconvert-asn1-perl (0.33-1)
Section: perl
Homepage: https://metacpan.org/release/Convert-ASN1
Depends: perl:any, libmath-bigint-perl
Description:  Perl module for encoding and decoding ASN.1 data structures Convert::ASN1 will parse ASN.1 descriptions and will encode from and decode to perl data structures using a hierarchy of references. . Note that the ASN.1 parser is not a complete implementation of the ASN.1 specification.
Package: libconvert-base32-perl (0.06-1.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-Base32
Depends: perl:any
Description:  module for encoding and decoding of base32 strings Convert::Base32 provides functions to convert string from / to Base32 encoding, specified in RACE internet-draft. The Base32 encoding is designed to encode non-ASCII characters in DNS-compatible host name parts. . See http://tools.ietf.org/html/draft-ietf-idn-race-03 for more details.
Package: libconvert-basen-perl (0.01-2)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-BaseN
Depends: perl
Description:  perl module for encoding and decoding of base{2,4,8,16,32,64} strings Convert::BaseN makes it easy to deal with various data encoding formats, such as base2, base4, ..., base64. In addition, it allows the format of the encoding to be configured, for example by supplying custom character maps.
Package: libconvert-ber-perl (1.3200-3.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-BER
Depends: perl:any
Description:  Perl implementation of Basic Encoding Rules (BER) Convert::BER is a perl object class implementation to encode and decode objects as described by ITU-T standard X.209 (ASN.1) using Basic Encoding Rules (BER).
Package: libconvert-binary-c-perl (0.84-1build1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-Binary-C
Depends: perl, perlapi-5.34.0, libc6 (>= 2.34)
Description:  Binary Data Conversion using C Types Convert::Binary::C is a preprocessor and parser for C type definitions. It is highly configurable and supports arbitrarily complex data structures. Its object-oriented interface has pack and unpack methods that act as replacements for Perl's pack and unpack and allow one to use C types instead of a string representation of the data structure for conversion of binary data from and to Perl's complex data structures. . Actually, what Convert::Binary::C does is not very different from what a C compiler does, just that it doesn't compile the source code into an object file or executable, but only parses the code and allows Perl to use the enumerations, structs, unions and typedefs that have been defined within your C source for binary data conversion, similar to Perl's pack and unpack.
Package: libconvert-binhex-perl (1.125-1)
Section: perl
Homepage: https://metacpan.org/release/Convert-BinHex
Depends: perl
Description:  Perl5 module for extracting data from macintosh BinHex files Convert::BinHex is a format used by Macintosh for transporting Mac files safely through electronic mail, as short-lined, 7-bit, semi-compressed data streams. This module provides a means of converting those data streams back into binary data.
Package: libconvert-color-perl (0.11-2.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-Color
Depends: perl:any, liblist-utilsby-perl, libmodule-pluggable-perl | perl (<< 5.17.0)
Description:  Perl module for color space conversions and named lookups Convert::Color provides conversions between commonly used ways to express colors. It provides conversions between color spaces such as RGB and HSV, and it provides ways to look up colors by a name.
Package: libconvert-color-xterm-perl (0.06-1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-Color-XTerm
Depends: perl:any, libconvert-color-perl
Description:  module for indexed colors used by XTerm Convert::Color::XTerm is subclass of Convert::Color::RGB8 and provides lookup of the colors that xterm uses by default. Note that the module is not intelligent enough to actually parse the XTerm configuration on a machine, nor to query a running terminal for its actual colors. It simply implements the colors that are present as defaults in the XTerm source code. . It implements the complete 256-color model in XTerm.
Package: libconvert-nls-date-format-perl (0.06-1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-NLS_DATE_FORMAT
Depends: perl
Description:  module for converting Oracle NLS_DATE_FORMAT <-> strftime Format Strings Convert::NLS_DATE_FORMAT converts Oracle's NLS_DATE_FORMAT string into a strptime format string, or the reverse.
Package: libconvert-pem-perl (0.08-2.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-PEM
Depends: perl:any, libclass-errorhandler-perl, libconvert-asn1-perl, libcrypt-des-ede3-perl
Description:  Perl module for reading/writing encrypted ASN.1 PEM files Convert::PEM reads/writes encrypted ASN.1 PEM files. The files can optionally be encrypted using a symmetric cipher algorithm, such as 3DES.
Package: libconvert-scalar-perl (1.12-1build4)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-Scalar
Depends: perl, perlapi-5.34.0, libc6 (>= 2.34)
Description:  module to convert between different representations of perl scalars Convert::Scalar exports various internal perl methods that change the internal representation or state of a perl scalar. All of these work in-place, that is, they modify their scalar argument. No functions are exported by default.
Package: libconvert-tnef-perl (0.18-1.1)
Section: perl
Homepage: http://search.cpan.org/dist/Convert-TNEF/
Depends: perl:any, libio-stringy-perl, libmime-tools-perl
Description:  Perl module to read TNEF files TNEF stands for Transport Neutral Encapsulation Format, and if you've ever been unfortunate enough to receive one of these files as an email attachment, you may want to use this module.
Package: libconvert-units-perl (1:0.43-11)
Section: universe/perl
Depends: perl
Description:  Perl module for performing unit conversions The Units package is a collection of modules for parsing strings with unit measurements (such as "12pt" or "3 meters") and converting them to some other unit (such as "picas" or "inches").
Package: libconvert-uulib-perl (1:1.5~dfsg-1build5)
Section: perl
Homepage: https://metacpan.org/release/Convert-UUlib
Depends: perl, perlapi-5.34.0, libc6 (>= 2.34)
Description:  Perl interface to the uulib library (a.k.a. uudeview/uuenview) Convert::UUlib is a versatile and powerful decoder/encoder library for a variety of encodings used in Usenet and Mail (uuencode, xxencode, b64, binhex...). . The library contains a variety of heuristics to reliably decode any files found in the input files, whether part of a single mail folder or spread over hundreds of files. Its two-pass architecture makes it possible to decode hundreds of megabytes in one sweep, without using much virtual memory.
Package: libconvert-ytext-perl (0.2-2.1)
Section: universe/perl
Homepage: https://metacpan.org/release/Convert-YText
Depends: perl:any
Description:  Perl module to quote strings suitably for RFC2822 local parts Convert::YText converts strings to and from "YText", a format inspired by xtext defined in RFC1894, the MIME base64 and quoted-printable types (RFC 1394). The main goal is encode a UTF8 string into something safe for use as the local part in an internet email address (RFC2822). . By default spaces are replaced with "+", "/" with "~", the characters "A-Za-z0-9_.-" encode as themselves, and everything else is written "=USTR=" where USTR is the base64 (using "A-Za-z0-9_." as digits) encoding of the unicode character code. The encoding is configurable (see below).
Package: libcookie-baker-perl (0.11-1)
Section: universe/perl
Homepage: https://metacpan.org/release/Cookie-Baker
Depends: perl, liburi-perl
Description:  simple cookie string generator and parser Cookie::Baker provides a simple cookie string generator and parser. There are many other cookie related modules on CPAN, like CGI, CGI::Simple, Plack, or Dancer::Cookie. But none is as simple as Cookie::Baker.
Package: libcookie-baker-xs-perl (0.11-1build3)
Section: universe/perl
Homepage: https://metacpan.org/release/Cookie-Baker-XS
Depends: perl, perlapi-5.34.0, libc6 (>= 2.4)
Description:  module to boost Cookie::Baker's crush_cookie Cookie::Baker::XS provides a cookie string parser implemented in XS. Unlike Cookie::Baker, this module only provides a parser and does not have a generator function.
Package: libcoordgen-dev (3.0.0-2)
Section: universe/libdevel
Homepage: https://github.com/schrodinger/coordgenlibs
Depends: libcoordgen3 (= 3.0.0-2)
Description:  2D coordinate generation for chemical compounds - header files This package provides the Open Source release of Schroedinger's routines for the 2D coordinate representation of chemical compounds. . This package provides header files for developing against the API of that library.
Package: libcoordgen3 (3.0.0-2)
Section: universe/libs
Homepage: https://github.com/schrodinger/coordgenlibs
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Description:  2D coordinate generation for chemical compounds This package provides the Open Source release of Schroedinger's routines for the 2D coordinate representation of chemical compounds.
Package: libcoq-core-ocaml-dev (8.15.0+dfsg-2)
Section: universe/ocaml
Homepage: http://coq.inria.fr/
Depends: coq (= 8.15.0+dfsg-2), libcoq-core-ocaml-aosg1, libzarith-ocaml-dev-4dps0, ocaml-4.13.1
Description:  development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq.
Package: libcoq-core-ocaml (8.15.0+dfsg-2)
Section: universe/ocaml
Homepage: http://coq.inria.fr/
Depends: libzarith-ocaml-4dps0, ocaml-base-4.13.1, libc6 (>= 2.4)
Description:  runtime libraries for Coq 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 runtime libraries for Coq.
Package: libcoq-elpi-ocaml-dev (1.13.0-1)
Section: universe/ocaml
Homepage: https://github.com/LPCIC/coq-elpi
Depends: libcoq-elpi-ocaml (= 1.13.0-1)
Description:  Coq plugin embedding Elpi (devel) This package makes it possible to define new commands and tactics for Coq in Elpi. . Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules. . Coq is a proof assistant for higher-order logic. . This package provides libraries needed to develop for the elpi plugin.
Package: libcoq-elpi-ocaml (1.13.0-1)
Section: universe/ocaml
Homepage: https://github.com/LPCIC/coq-elpi
Depends: libcoq-ocaml, coq-8.15.0+4.13.1
Description:  Coq plugin embedding Elpi (runtime) This package makes it possible to define new commands and tactics for Coq in Elpi. . Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules. . Coq is a proof assistant for higher-order logic. . This package provides runtime libraries for the elpi plugin.
Package: libcoq-hierarchy-builder (1.2.1-2)
Section: universe/ocaml
Homepage: https://github.com/math-comp/hierarchy-builder
Description:  build hierarchies of algebraic structures in Coq (runtime files) This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. . This package provides the runtime files.
Package: libcoq-mathcomp-algebra (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-mathcomp-fingroup (= 1.14.0-7)
Description:  Mathematical Components library for Coq (algebra) 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 algebra part of the library (ring, fields, ordered fields, real fields, modules, algebras, integers, rationals, polynomials, matrices, vector spaces...).
Package: libcoq-mathcomp-analysis (0.3.13-1)
Section: universe/ocaml
Homepage: https://github.com/math-comp/analysis
Depends: coq, libcoq-mathcomp-ssreflect
Description:  analysis extension for Mathematical Components This package provides an extension for classical analysis for the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Package: libcoq-mathcomp-bigenough (1.0.1-1)
Section: universe/ocaml
Homepage: https://github.com/math-comp/bigenough
Depends: coq, libcoq-mathcomp-ssreflect
Description:  epsilon - N reasoning for Mathematical Components This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Package: libcoq-mathcomp-character (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-mathcomp-field (= 1.14.0-7)
Description:  Mathematical Components library for Coq (character) 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 character theory part of the library (group representations, characters and class functions).
Package: libcoq-mathcomp-field (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-mathcomp-solvable (= 1.14.0-7)
Description:  Mathematical Components library for Coq (field) 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 field theory part of the library (field extensions, Galois theory, algebraic numbers, cyclotomic polynomials).
Package: libcoq-mathcomp-fingroup (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-mathcomp-ssreflect (= 1.14.0-7)
Description:  Mathematical Components library for Coq (finite groups) 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 finite groups theory part of the library (finite groups, group quotients, group morphisms, group presentation, group action...).
Package: libcoq-mathcomp-finmap (1.5.1-1)
Section: universe/ocaml
Homepage: https://github.com/math-comp/finmap
Depends: coq, libcoq-mathcomp-ssreflect
Description:  finite sets and maps extension for Mathematical Components This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Package: libcoq-mathcomp-solvable (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-mathcomp-algebra (= 1.14.0-7)
Description:  Mathematical Components library for Coq (finite groups II) 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 second finite groups theory part of the library (abelian groups, center, commutator, Jordan-Holder series, Sylow theorems...).
Package: libcoq-mathcomp-ssreflect (1.14.0-7)
Section: universe/math
Homepage: https://math-comp.github.io/math-comp/
Depends: libcoq-core-ocaml, coq-8.15.0+4.13.1
Description:  Mathematical Components library for Coq (small scale reflection) 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 small scale reflection language extension and the minimal set of libraries to take advantage of it (sequences, booleans and boolean predicates, natural numbers and types with decidable equality, finite types, finite sets, finite functions, finite graphs, basic arithmetics and prime numbers, big operators...).