_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
check 0.15.2
Channel: guix
Location: gnu/packages/check.scm (gnu packages check)
Home page: https://libcheck.github.io/check/
Licenses: LGPL 2.1+
Synopsis: Unit test framework for C
Description:

Check is a unit testing framework for C. It features a simple interface for defining unit tests, putting little in the way of the developer. Tests are run in a separate address space, so Check can catch both assertion failures and code errors that cause segmentation faults or other signals. The output from unit tests can be used within source code editors and IDEs.

check 0.14.0
Channel: guix
Location: gnu/packages/check.scm (gnu packages check)
Home page: https://libcheck.github.io/check/
Licenses: LGPL 2.1+
Synopsis: Unit test framework for C
Description:

Check is a unit testing framework for C. It features a simple interface for defining unit tests, putting little in the way of the developer. Tests are run in a separate address space, so Check can catch both assertion failures and code errors that cause segmentation faults or other signals. The output from unit tests can be used within source code editors and IDEs.

check 0.12.0
Channel: guix
Location: gnu/packages/check.scm (gnu packages check)
Home page: https://libcheck.github.io/check/
Licenses: LGPL 2.1+
Synopsis: Unit test framework for C
Description:

Check is a unit testing framework for C. It features a simple interface for defining unit tests, putting little in the way of the developer. Tests are run in a separate address space, so Check can catch both assertion failures and code errors that cause segmentation faults or other signals. The output from unit tests can be used within source code editors and IDEs.

checkm 1.1.3
Dependencies: python-dendropy@4.5.1 python-matplotlib@3.8.2 python-numpy@1.23.2 python-pysam@0.20.0 python-scipy@1.12.0
Channel: guix
Location: gnu/packages/bioinformatics.scm (gnu packages bioinformatics)
Home page: https://ecogenomics.github.io/CheckM/
Licenses: GPL 3+
Synopsis: Assess the quality of putative genome bins
Description:

CheckM provides a set of tools for assessing the quality of genomes recovered from isolates, single cells, or metagenomes. It provides robust estimates of genome completeness and contamination by using collocated sets of genes that are ubiquitous and single-copy within a phylogenetic lineage. Assessment of genome quality can also be examined using plots depicting key genomic characteristics (e.g., GC, coding density) which highlight sequences outside the expected distributions of a typical genome. CheckM also provides tools for identifying genome bins that are likely candidates for merging based on marker set compatibility, similarity in genomic characteristics, and proximity within a reference genome.

cl-checkl 0.0.0-1.8032880
Propagated dependencies: cl-marshal@1.3.0-1.eff1b15 cl-fiveam@1.4.2
Channel: guix
Location: gnu/packages/lisp-check.scm (gnu packages lisp-check)
Home page: https://github.com/rpav/CheckL/
Licenses: LLGPL
Synopsis: Dynamic testing for Common Lisp
Description:

CheckL lets you write tests dynamically, it checks resulting values against the last run.

checkmake 0.2.2
Channel: guix
Location: gnu/packages/check.scm (gnu packages check)
Home page: https://github.com/mrtazz/checkmake
Licenses: Expat
Synopsis: Linter and analyzer for @file{Makefile}
Description:

checkmake is an experimental tool for linting and checking Makefiles. It allows for a set of configurable rules being run against a Makefile or a set of *.mk files.

ecl-checkl 0.0.0-1.8032880
Dependencies: ecl-marshal@1.3.0-1.eff1b15
Channel: guix
Location: gnu/packages/lisp-check.scm (gnu packages lisp-check)
Home page: https://github.com/rpav/CheckL/
Licenses: LLGPL
Synopsis: Dynamic testing for Common Lisp
Description:

CheckL lets you write tests dynamically, it checks resulting values against the last run.

sbcl-checkl 0.0.0-1.8032880
Dependencies: sbcl-marshal@1.3.0-1.eff1b15
Channel: guix
Location: gnu/packages/lisp-check.scm (gnu packages lisp-check)
Home page: https://github.com/rpav/CheckL/
Licenses: LLGPL
Synopsis: Dynamic testing for Common Lisp
Description:

CheckL lets you write tests dynamically, it checks resulting values against the last run.

r-checkmate 2.3.2
Propagated dependencies: r-backports@1.5.0
Channel: guix
Location: gnu/packages/statistics.scm (gnu packages statistics)
Home page: https://github.com/mllg/checkmate
Licenses: Modified BSD
Synopsis: Fast and versatile argument checks
Description:

This package provides tests and assertions to perform frequent argument checks. A substantial part of the package was written in C to minimize any worries about execution time overhead.

cl-check-it 0.1.0-1.b79c910
Propagated dependencies: cl-alexandria@1.4-0.009b7e5 cl-closer-mop@1.0.0-3.7b86f2a cl-optima@1.0-1.373b245 cl-stefil@0.1-0.0398548
Channel: guix
Location: gnu/packages/lisp-check.scm (gnu packages lisp-check)
Home page: https://github.com/arclanguage/Clamp
Licenses: LLGPL
Synopsis: Randomized specification-based testing for Common Lisp
Description:

This is a randomized property-based testing library for Common Lisp. Rather than being a full-fledged general test framework in its own right, it's designed to embed randomized tests in whatever framework you like.

checkpolicy 3.4
Dependencies: libsepol@3.4
Channel: guix
Location: gnu/packages/selinux.scm (gnu packages selinux)
Home page: https://selinuxproject.org/
Licenses: GPL 2
Synopsis: Check SELinux security policy configurations and modules
Description:

This package provides the tools "checkpolicy" and "checkmodule". Checkpolicy is a program that checks and compiles a SELinux security policy configuration into a binary representation that can be loaded into the kernel. Checkmodule is a program that checks and compiles a SELinux security policy module into a binary representation.

ghc-checkers 0.6.0
Dependencies: ghc-random@1.2.1.1 ghc-quickcheck@2.14.3 ghc-semigroupoids@5.3.7
Channel: guix
Location: gnu/packages/haskell-xyz.scm (gnu packages haskell-xyz)
Home page: https://github.com/haskell-checkers/checkers
Licenses: Modified BSD
Synopsis: Check properties on standard classes and data structures
Description:

Checkers wraps up the expected properties associated with various standard type classes as QuickCheck properties. It also provides some morphism properties, arbitrary instances, and generator combinators for common data types.

ecl-check-it 0.1.0-1.b79c910
Dependencies: ecl-alexandria@1.4-0.009b7e5 ecl-closer-mop@1.0.0-3.7b86f2a ecl-optima@1.0-1.373b245
Channel: guix
Location: gnu/packages/lisp-check.scm (gnu packages lisp-check)
Home page: https://github.com/arclanguage/Clamp
Licenses: LLGPL
Synopsis: Randomized specification-based testing for Common Lisp
Description:

This is a randomized property-based testing library for Common Lisp. Rather than being a full-fledged general test framework in its own right, it's designed to embed randomized tests in whatever framework you like.

aws-checksums 0.1.18
Dependencies: aws-c-common@0.9.27
Channel: guix
Location: gnu/packages/c.scm (gnu packages c)
Home page: https://github.com/awslabs/aws-checksums
Licenses: ASL 2.0
Synopsis: Amazon Web Services checksum library
Description:

This library provides cross-Platform hardware accelerated CRC32c and CRC32 with fallback to efficient C99 software implementations.

sbcl-check-it 0.1.0-1.b79c910
Dependencies: sbcl-alexandria@1.4-0.009b7e5 sbcl-closer-mop@1.0.0-3.7b86f2a sbcl-optima@1.0-1.373b245
Channel: guix
Location: gnu/packages/lisp-check.scm (gnu packages lisp-check)
Home page: https://github.com/arclanguage/Clamp
Licenses: LLGPL
Synopsis: Randomized specification-based testing for Common Lisp
Description:

This is a randomized property-based testing library for Common Lisp. Rather than being a full-fledged general test framework in its own right, it's designed to embed randomized tests in whatever framework you like.

emacs-checkbox 20141117.58
Channel: emacs
Location: emacs/packages/melpa.scm (emacs packages melpa)
Home page: http://github.com/camdez/checkbox.el
Licenses:
Synopsis: Quick manipulation of textual checkboxes
Description:

Documentation at https://melpa.org/#/checkbox

node-type-check 0.4.0
Dependencies: node-prelude-ls@1.2.1
Channel: rde
Location: contrib/packages/node-xyz.scm (contrib packages node-xyz)
Home page: https://github.com/gkz/type-check
Licenses: Expat
Synopsis: type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.
Description:

type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.

node-type-check 0.3.2
Dependencies: node-prelude-ls@1.1.2
Channel: guix-science
Location: guix-science/packages/rstudio-node.scm (guix-science packages rstudio-node)
Home page: https://github.com/gkz/type-check
Licenses: Expat
Synopsis: type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.
Description:

type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.

ruby-theme-check 1.11.0
Propagated dependencies: ruby-liquid@5.4.0 ruby-nokogiri@1.15.2 ruby-parser@3.2.2.0
Channel: trevdev
Location: trevdev/packages/ruby.scm (trevdev packages ruby)
Home page: https://github.com/Shopify/theme-check
Licenses: Expat
Synopsis: A Shopify Theme Linter
Description:

This package provides a Shopify Theme Linter

texlive-checkend 2024.2
Channel: guix
Location: gnu/packages/tex.scm (gnu packages tex)
Home page: https://ctan.org/pkg/checkend
Licenses: Expat
Synopsis: Extend ``improperly closed environment'' messages
Description:

When an environment is left open, LaTeX gives an error at the end of the document. However it only informs about the first of them, while the rest are shown with meaningless errors: (``\end occurred inside a group at level N'') This package replaces these errors with more useful messages which show which environments (in reverse order) were not closed. There are no user macros: just use the package.

texlive-checkcites 2024.2
Channel: guix
Location: gnu/packages/tex.scm (gnu packages tex)
Home page: https://ctan.org/pkg/checkcites
Licenses: LPPL 1.3+
Synopsis: Check citation commands in a document
Description:

The package provides a Lua script written for the sole purpose of detecting undefined and unused references from LaTeX auxiliary or bibliography files.

clojure-test-check 1.1.1
Channel: guix
Location: gnu/packages/clojure.scm (gnu packages clojure)
Home page: https://github.com/clojure/test.check
Licenses: EPL 1.0
Synopsis: QuickCheck for Clojure
Description:

test.check is a Clojure property-based testing tool inspired by QuickCheck. The core idea of test.check is that instead of enumerating expected input and output for unit tests, you write properties about your function that should hold true for all inputs. This lets you write concise, powerful tests.

rust-version-check 0.9.4
Channel: guix
Location: gnu/packages/crates-io.scm (gnu packages crates-io)
Home page: https://github.com/SergioBenitez/version_check
Licenses: ASL 2.0 Expat
Synopsis: Check that the installed rustc meets some version requirements
Description:

This tiny crate checks that the running or installed rustc meets some version requirements. The version is queried by calling the Rust compiler with --version. The path to the compiler is determined first via the RUSTC environment variable. If it is not set, then rustc is used. If that fails, no determination is made, and calls return None.

rust-version-check 0.1.5
Channel: guix
Location: gnu/packages/crates-io.scm (gnu packages crates-io)
Home page: https://github.com/SergioBenitez/version_check
Licenses: ASL 2.0 Expat
Synopsis: Check that the installed rustc meets some version requirements
Description:

This tiny crate checks that the running or installed rustc meets some version requirements. The version is queried by calling the Rust compiler with --version. The path to the compiler is determined first via the RUSTC environment variable. If it is not set, then rustc is used. If that fails, no determination is made, and calls return None.

Page: 123
Total results: 55