منصة
Windows Mac Linux Chrome OS Android iPhone Windows Phone Blackberry Blackberry 10 Apple Watch Android Wear Pebble iPad Android Tablet Kindle Fire PlayBook Self-Hosted Chrome Firefox Opera Safari Internet Explorer Chromium Vivaldi Browser Yandex.Browser SeaMonkey Oculus Rift HTC Vive Daydream Gear VR OSVR Playstation VR Xbox Playstation Nintendo Switch Apple TV Fire TV Chromecast Roku PHP JavaScript Python Node.JS .NET Framework Microsoft Visual Studio jQuery Eclipse GitHub BSD Windows Mobile Java Mobile S60 Xfce Haiku HP webOS AmigaOS MorphOS AROS Steam Wordpress PortableApps.com Magento Community Edition Wine Facebook Java Slack Microsoft Office Outlook Raspberry Pi iOS Shopify Windows Explorer FreeBSD Microsoft Office Excel Docker
الفئة
مكتب والإنتاجية تطوير ألعاب الاجتماعية والاتصالات الأعمال والتجارة نظام التشغيل والمرافق الصور والرسومات التعليم والمراجع الأمانة و أمبير؛ خصوصية فيديو وأفلام الصوت والموسيقى خدمات عبر الانترنت الشبكة والمسؤول أخبار وكتب مشاركة الملفات متصفحات الانترنت النسخ الاحتياطي والمزامنة السفر والموقع إدارة الملفات الرياضة والصحة المنزل والعائلة بيتكوين و Cryptocurrency النظام والأجهزة برامج الألعاب أدوات CD / DVD

BG CS DA DE ES FA FR HR JA KO MS PL PT SK SL SV TR ZH

Home
OCaml

OCaml

2

z3

Z3 هو مبرر نظرية من Microsoft Research.

تطبيق مجاني
Windows
Mac
Linux
Java
WebAssembly
C (programming language)
OCaml
Python
C++

Altapps.net هي خدمة مجانية تساعدك في العثور على بدائل أفضل للأرائك والتطبيقات

Български
Český
Dansk
Deutsch
Español
فارسی
Français
Hrvatski
日本語
한국어
Bahasa Melayu
Polski
Português
Slovenčina
Slovenščina
Svenska
Türkçe
古文