معرفی شرکت ها
main i386
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
offline conference schedule application
-
read variables from INI-style configuration files
-
highly configurable system monitor (all features enabled)
-
highly configurable system monitor (basic version)
-
highly configurable system monitor (default version)
-
serial console management program
-
OCI container runtime monitor
-
Establish TCP connection using SOCKS4/5 or HTTP tunnel
-
word unscrambling game
-
brain visualization, analysis and discovery tool
-
brain visualization, analysis and discovery tool -- debug symbols
-
Intel Connection Manager daemon
-
Development files for connman
-
Intel Connection Manager daemon - VPN daemon
-
fully-featured GUI for ConnMan with systray support
-
full-featured GTK-based tray icon UI for ConnMan
-
Program to modify the conntrack tables
-
Connection tracking daemon
-
Tool to interact with the connection tracking system
-
algorithms for PacBio multiple sequence consensus -- development files
-
algorithms for PacBio multiple sequence consensus -- Python 3
-
connect to a console server
-
connect multiple user to a serial console with logging
-
linux console pointer support for copy-paste
-
Fonts and keymaps for reading/typing unicode braille
-
console bridge - development files
-
console bridge - library
-
Remote control of Linux virtual consoles
-
open and reliable container runtime
-
content sharing/picking service for Lomiri
-
content sharing testability
-
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
-
QML binding for Lomiri's libcontent-hub
-
image generator based on context-free grammars
-
Python library for calculating contours of 2D quadrilateral grids
-
convert 8 bit character encoding in file names and text content to UTF-8
-
batch image converter and resizer
-
convert Microsoft Reader .LIT files to HTML
-
suite of programs to help maintain a fortune database
-
terminal emulator which mimics old screens
-
Monospace Hermit Font for programming
-
Monospaced bitmap programming font
-
Terminus monospace font
-
Smart Card PKCS #11 cryptographic module
-
Smart Card Coolkey applet
-
Smart Card Coolkey applet development files
-
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