rust-varisat-internal-proof 0.2.2Synopsis: Internal proof format for the Varisat SAT solver
Description: This package provides Internal proof format for the Varisat SAT solver.
rust-calloop-wayland-source 0.2.0Synopsis: Wayland-rs client event source for callloop
Description: This package provides a wayland-rs client event source for callloop.
rust-windows-x86-64-gnullvm 0.52.6Synopsis: Code gen support for the windows crate
Description: This package provides code gen support for the windows crate.
rust-windows-x86-64-gnullvm 0.48.5Synopsis: Code gen support for the windows crate
Description: This package provides code gen support for the windows crate.
rust-windows-x86-64-gnullvm 0.42.2Synopsis: Code gen support for the windows crate
Description: This package provides code gen support for the windows crate.
rust-proc-macro-error-attr2 2.0.0Synopsis: Attribute macro for the proc-macro-error2 crate
Description: This package provides Attribute macro for the proc-macro-error2 crate.
rust-security-framework-sys 0.3.3Synopsis: Low-level FFI bindings to Apple @code{Security.framework}
Description: This package provides low level FFI bindings to Apple Security.framework
.
rust-security-framework-sys 1.0.0Synopsis: Low-level FFI bindings to Apple @code{Security.framework}
Description: This package provides low level FFI bindings to Apple Security.framework
.
rust-security-framework-sys 2.13.0Synopsis: Low-level FFI bindings to Apple @code{Security.framework}
Description: This package provides low level FFI bindings to Apple Security.framework
.
rust-security-framework-sys 0.2.4Synopsis: Low-level FFI bindings to Apple @code{Security.framework}
Description: This package provides low level FFI bindings to Apple Security.framework
.
rust-security-framework-sys 0.2.4Synopsis: Low-level FFI bindings to Apple @code{Security.framework}
Description: This package provides low level FFI bindings to Apple Security.framework
.
git-interactive-rebase-tool 2.4.1Synopsis: Terminal based sequence editor for git interactive rebase
Description: This application is a terminal-based sequence editor for git interactive rebase.
font-nerd-fonts-roboto-mono 3.3.0Synopsis: Nerd Fonts patched version of Roboto Mono
Description: Nerd Fonts version of the monospaced member of the Roboto font family.
rust-wezterm-dynamic-derive 0.1.0Synopsis: config serialization for wezterm via dynamic json-like data values
Description: This package provides config serialization for wezterm via dynamic json-like data values.
python2-importlib-resources 1.0.2Synopsis: Backport of @code{importlib.resources} from Python 3.7
Description: This package provides an implementation of importlib.resources
for older versions of Python.
rust-wezterm-dynamic-derive 0.1.0Synopsis: Config serialization for wezterm
Description: This package provides configuration serialization for wezterm via dynamic json-like data values.
python-pytest-rerunfailures 13.0Synopsis: Pytest plugin to re-run flaky tests
Description: This package provides a pytest plugin to re-run tests to eliminate flaky failures.
python-pytest-rerunfailures 10.2Synopsis: Pytest plugin to re-run flaky tests
Description: This package provides a pytest plugin to re-run tests to eliminate flaky failures.
ruby-discourse-ember-source 3.12.2.2Synopsis: Fork of Ember source to permit latest ember versions
Description: This package provides a fork of Ember source to permit the latest ember versions.
r-flowsorted-cordblood-450k 1.34.0Synopsis: Illumina 450k data on sorted cord blood cells
Description: Raw data objects to be used for cord blood cell proportion estimation in minfi.
java-eclipse-core-resources 3.13.200Synopsis: Eclipse core resource management
Description: This package provides the Eclipse core resource management module org.eclipse.core.resources
.
r-roi-models-globalopttests 1.1-2Synopsis: 'ROI' Optimization Problems Based on 'globalOptTests'
Description: This package provides a collection of non-linear optimization problems with box bounds transformed into ROI optimization problems. This package provides a wrapper around the globalOptTests
which provides a collection of global optimization problems. More information can be found in the README file.
rust-file-per-thread-logger 0.2.0Synopsis: logging implementation that writes logs in one file per thread
Description: This package provides a logging implementation that writes logs in one file per thread.
r-appliedpredictivemodeling 1.1-7Synopsis: Functions and Data Sets for 'Applied Predictive Modeling'
Description: This package provides a few functions and several data set for the Springer book Applied Predictive Modeling'.
Total results: 36249