معرفی شرکت ها
universe amd64
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
error tolerant matching engine - development files
-
error tolerant matching engine - shared library
-
EPICS common library (headers)
-
EPICS common library
-
an extensible parallel graph library for graph analytics
-
an extensible parallel graph library for graph analytics
-
Development library for Comedi
-
Library for Comedi
-
interface to the CommonMark C library
-
cross-platform IRC framework written with Qt (development files)
-
Compress/decompress images for mailheaders, libc6 runtime
-
Compress/decompress images for mailheaders, libc6 devel
-
Lexical Analyzer for Perl5
-
OCaml compiler library (development files)
-
Settings library for plugins - OpenCompositing Project
-
Development file for plugin settings - OpenCompositing Project
-
Perl interface to Bzip2 compression library
-
Perl interface to the LZ4 (de)compressor
-
low-level interface to bzip2 compression library
-
low-level interface to lzma compression library
-
low-level interface to zlib compression library
-
Perl interface to Google's Snappy (de)compressor
-
Comps XML file manipulation library - development files
-
Comps XML file manipulation library - shared library
-
configuration tool for Harmony remotes - development files
-
configuration tool for Harmony remotes - runtime libraries
-
industrial-strength lock-free queue for C++
-
network connection establishment library for Lwt (runtime)
-
network connection establishment library for Lwt (dev)
-
network connection establishment library for OCaml (runtime)
-
network connection establishment library for OCaml (dev)
-
parsing/manipulation of structured config files (C++ development)
-
parsing/manipulation of structured configuration files (C++ binding)
-
module for manipulating configuration files through Augeas
-
parsing/manipulation of structured config files (development)
-
OCaml library for managing configuration files (dev files)
-
parsing/manipulation of structured configuration files
-
Development files for libConfuse
-
Library for parsing configuration files
-
algorithms for PacBio multiple sequence consensus -- development files
-
console bridge - development files
-
console bridge - library
-
content sharing development files for Lomiri
-
content sharing development files for Lomiri - GLib bindings
-
content sharing/picking library for Lomiri - GLib bindings
-
content sharing/picking library for Lomiri
-
Binary Data Conversion using C Types
-
module to convert between different representations of perl scalars
-
module to boost Cookie::Baker's crush_cookie
-
2D coordinate generation for chemical compounds - header files
-
2D coordinate generation for chemical compounds
-
Coq tactics for reasoning modulo AC (theories)
-
Coq library for big numbers
-
algebra and data structure algorithms for Coq
-
Primality certification for Coq (library)
-
Coq library for real analysis
-
runtime libraries for Coq
-
development libraries and tools for Coq
-
Coq Constructive Repository at Nijmegen
-
deriving MathComp classes from inductive types
-
Coq plugin to extract dependencies between Coq objects
-
Coq plugin embedding Elpi
-
Coq library to work with functions defined by equations
-
Collection of theories and plugins for Coq
-
data structures with extensional reasoning for Coq
-
Floating-point arithmetic for Coq
-
Coq tactic to use Gappa for floating-point goals
-
automated reasoning tool for Coq
-
build hierarchies of algebraic structures in Coq (runtime files)
-
Coq library for homotopy type theory
-
interval arithmetic for Coq
-
high-order concurrent separation logic framework for Coq
-
Tactics on hypotheses in Coq
-
Abstract interfaces for mathematical structures for Coq
-
Mathematical Components library for Coq (all)
-
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
-
Mathematical Components library for Coq (algebra)
-
Ring and field tactics for Mathematical Components
-
analysis extension for Mathematical Components
-
epsilon - N reasoning for Mathematical Components
-
Mathematical Components library for Coq (character)
-
classical logic extension for Mathematical Components
-
Mathematical Components library for Coq (field)
-
Mathematical Components library for Coq (finite groups)
-
finite sets and maps extension for Mathematical Components
-
Multivariate polynomials for Mathematical Components
-
Real closed fields for Mathematical Components
-
Mathematical Components library for Coq (finite groups II)
-
Mathematical Components library for Coq (small scale reflection)
-
Micromega arithmetic solvers for Mathematical Components
-
support library for Coq-verified Menhir parsers
-
Mtac2 tactic language for Coq
-
Ott tool (Coq plugin)
-
Coq plugin to generate parametricity statements
-
randomized testing framework for Coq (plugin)
-
automatic record fields updaters for Coq
-
reduction effects for Coq
-
representation of regular languages in Coq
-
relation algebra for Coq
-
Coq plugin for purely functional IO