در HOL کوتاه از عالی منطق مرتبه یک محیط برنامه نویسی است که در آن قضایای می توان ثابت کرد و ابزار اثبات اجرا است.روش تصمیم گیری ساخته شده در و ثابت کننده های نظریه به طور خودکار می تواند ایجاد بسیاری از قضایای ساده است. مکانیسم اوراکل دسترسی به برنامه های خارجی مانند موتورهای SAT و BDD می دهد.HOL 4 به خصوص به عنوان یک...
در HOL-TestGen اجازه می دهد تا یک به ارسال مشخصات آزمون در منطق مرتبه بالاتر (HOL). این می تواند (نیمه) به طور خودکار پارتیشن فضای ورودی، و در نتیجه موارد آزمون انتزاعی، و به طور خودکار داده ها از آزمون بتن را انتخاب کنید.نسل خودکار از محافظ آزمون (در SML) پشتیبانی می شود، و با استفاده از یک رابط زبان خارجی، پیاده...
در Hostery یک ابزار خط فرمان برای هل دادن عکس های فوری دستگاه گوارش به یک میزبان وب کنید است و.. Hostery ایجاد سابقه قابل مرور برای یک پروژه با آپلود دستگاه گوارش انتخاب متعهد به سرور FTP.پیکربندی مخزنرا لمس کنید و. init انجام hosteryصدور این دستور در سطح ریشه یک مخزن دستگاه گوارش. شما می توانید برای میزبان FTP است که...
در Hotscripts.com کلون اجازه می دهد تا به شما برای ایجاد hotscripts.com خود را مانند سایت، پورتال اسکریپت رایگان و تجاری در دسترس بر روی شبکه. این اسکریپت بسیار آسان برای نصب و اجرا می کنند. شما همچنین می توانید به راحتی تغییر به نظر می رسد از سایت اگر شما می خواهید. این فقط استفاده از فایل قالب واحد و یک فایل CSS...
در hubugs مشتری پایتون بسیار ساده برای کار با ردیاب شماره گیتهاب است.پیکر بندیقبل از استفاده از hubugs شما باید تنظیمات احراز هویت خود را اعلام، به طوری که ما می توانیم API دسترسی داشته باشید.شما اول نیاز به تعریف نام کاربری گیتهاب شما:دستگاه گوارش پیکربندی --global github.user نام کاربریو سپس شما نیاز به تعریف رمز...
در HyperDex منبع باز راه حل نواسکیوال، در همان کلاس با مانگودیبی، FlockB، کاساندرا، ردیس و بیگ تیبل است.طراحی و توسعه توسط دانشگاه کرنل، HyperDex نرم افزار منحصر به فرد است چرا که آن را اضافه می کند بسیاری از ویژگی های جستجو به سیستم فروشگاه کلیدی ارزش کلاسیک ویژگی ها:. جستجوسریعمقیاس پذیرخطا تحملاستوار چه جدید...
در HyperSQL مانند یک doxygen برای SQL، hypermapping نمایش ها SQL، رویه ها، بسته و توابع به HTML لیست کد منبع و نشان دادن تمام نقاط کد که در آن این استفاده می شود و & nbsp؛ داخلی "که در آن استفاده می شود" قابلیت همچنین اسکن C ++ و جاوا منبع فایل ویژگی ها:. پیکربندی انعطاف پذیر با استفاده از فایل های INI.فایل های...
در hypua2jamo یک ماژول پایتون برای تبدیل کد Hanyang-PUA (U + E0BC ~ U + F8F7) به یونیکد هانگول JAMO (U + 1100 ~ U + 11FF)، یعنی هجا-اولیه-قله-نهایی رمزگذاری (첫가 끝 코드 است ).مثالو nbsp؛ >>> از واردات hypua2jamo ترجمهو nbsp؛ >>> PUA = U '\ ub098 \ ub78f \ u302e \ ub9d0 \ u302f \ uebd4 \ ubbf8 \ u302e "و nbsp؛ >>>...
. i18n یک بسته است که تلاش می کند تا ساده گردش کار و توسعه برنامه های کاربردی بین المللی و nbsp است. این یک لفاف بسته بندی نازک در اطراف ابزار موجود، در گتکس و بابل خاص است.استفاده عمومی# demo.py#از واردات i18n.translator مترجمsupported_languages = ['it_IT'، 'fr_FR'، 'de_DE']# فعال ترجمه...
IA-32 دستورالعمل بانک اطلاعات توصیفی از همه IA-32 دستورالعمل در قالب منبع SQL، مشخص عملوند، استدلال، پیشوند، جزئیات را پشتیبانی می کند، و شرح شده است.این اطلاعات پایگاه داده در ابتدا از XI (http://verb.org.ua/xi/) پروژه که با استفاده از اطلاعات (متاسفانه منسوخ) ایجاد شد IA-32 اینتل (R) نرم افزار معماری توسعهدهنده دستی...
