معرفی شرکت ها
main amd64
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
Mail notifier with 3d graphics
-
Advanced clipboard manager with editing and scripting features
-
Plugins for CopyQ
-
proof assistant for higher-order logic (toplevel and compiler)
-
proof assistant for higher-order logic (gtk interface)
-
runtime libraries for Coq
-
development libraries and tools for Coq
-
proof assistant for higher-order logic (theories)
-
Coq library for big numbers
-
Coq Constructive Repository at Nijmegen
-
deriving MathComp classes from inductive types
-
Coq plugin to extract dependencies between Coq objects (tools)
-
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
-
Coq tactic to use Gappa for floating-point goals
-
automated reasoning tool for Coq
-
build hierarchies of algebraic structures in Coq (tool)
-
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
-
support library for Coq-verified Menhir parsers
-
Mtac2 tactic language for Coq
-
randomized testing framework for Coq (plugin)
-
randomized testing framework for Coq (tools)
-
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
-
Extended standard library for Coq
-
enhanced unification algorithm for Coq
-
univalent formalization of mathematics for Coq
-
algebra and data structure algorithms for Coq
-
Primality certification for Coq (tools)
-
Primality certification for Coq (library)
-
Coq library for real analysis
-
Coreboot firmware utilities
-
enable core files and report crashes to the sysadmin
-
GNU core utilities
-
tunnel TCP connections through HTTP proxies
-
cluster engine daemon and utilities
-
cluster engine notification daemon
-
cluster engine votequorum simulator
-
cluster engine CFG library development
-
cluster engine CFG library
-
cluster engine CMAP library development
-
cluster engine CMAP library
-
cluster engine common development
-
cluster engine common library
-
cluster engine CPG library development
-
cluster engine CPG library
-
cluster engine Quorum library development
-
cluster engine Quorum library
-
cluster engine SAM library development
-
cluster engine SAM library
-
cluster engine Votequorum library development
-
cluster engine Votequorum library
-
cluster engine quorum device daemon
-
cluster engine quorum device network daemon
-
concurrent programming library for OCaml
-
TURN and STUN server for VoIP
-
Courier mail server - base system
-
Courier mail server - Fax<->mail gateway
-
Courier mail server - IMAP server
-
Courier mail server - LDAP support
-
Courier mail server - mailing list manager
-
Courier mail server - ESMTP daemon
-
Courier mail server - PCP server
-
Courier mail server - POP3 server
-
Courier mail server - web-based administration frontend
-
Courier mail server - webmail server
-
Courier authentication daemon
-
Courier authentication library
-
Development libraries for the Courier authentication library
-
LDAP support for the Courier authentication library
-
MySQL support for the Courier authentication library
-
External authentication support for the Courier authentication library
-
PostgreSQL support for the Courier authentication library
-
SQLite 3 support for the Courier authentication library
-
userdb support for the Courier authentication library
-
Courier Unicode library (development files and headers)
-
Courier Unicode library (shared runtime library)
-
Mail filter interface of Courier-MTA to support greylisting
-
convert the coverage track from a BAM file into a BED file
-
pbuilder running on cowdancer
-
Copy-on-write directory tree utility
-
pbuilder using QEMU as backend
-
Brute-force WPA dictionary attack
-
Finding Code that Counts with Causal Profiling
-
Ab Initio Molecular Dynamics
-
Common Print Dialog Backends - CUPS/IPP Backend
-
Common Print Dialog Backends - Print-to-File Backend
-
Common Print Dialog Backends - Development files for Backend Library
-
Common Print Dialog Backends - Development files for both libraries