عربيالفرنسيةالإسبانية

Ad


OnWorks فافيكون

تحميل لمبدا تامر لينكس

قم بتنزيل تطبيق Lambda Tamer Linux مجانًا للتشغيل عبر الإنترنت في Ubuntu عبر الإنترنت أو Fedora عبر الإنترنت أو Debian عبر الإنترنت

هذا هو تطبيق Linux المسمى Lambda Tamer والذي يمكن تنزيل أحدث إصدار له كـ ltamer-20091106.tgz. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.

قم بتنزيل وتشغيل هذا التطبيق المسمى Lambda Tamer عبر الإنترنت مجانًا.

اتبع هذه التعليمات لتشغيل هذا التطبيق:

- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.

- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.

- 3. تحميل هذا التطبيق في هذا الملف.

- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.

- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.

- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.

لامدا تامر


Ad


الوصف

مجموعة من الأدوات لإضفاء الطابع الرسمي على لغات البرمجة والمترجمات ، استنادًا إلى مساعد إثبات Coq



الجمهور

المطورين ، العلوم / البحث



لغة البرمجة

OCaml (الجمل الموضوعي)


الفئات

المجمعين ، الأطر ، الرياضيات

هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/ltamer/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.


خوادم ومحطات عمل مجانية

قم بتنزيل تطبيقات Windows و Linux

  • 1
    إزالة Universal Circuit Simulator
    إزالة Universal Circuit Simulator
    Qucs هو محاكاة الدائرة مع
    واجهة المستخدم الرسومية. البرنامج
    يهدف إلى دعم جميع أنواع الدوائر
    أنواع المحاكاة ، على سبيل المثال DC ، AC ،
    S- المعلمة ، Transi ...
    قم بتنزيل Quite Universal Circuit Simulator
  • 2
    تركديفوبس
    تركديفوبس
    TurkDevOps a�؟ k kaynak yaz؟ l؟ m
    geli؟ tirici topluluklar؟ فريق DevTurks
    Taraf؟ ndan desteklenmektedir ..
    الميزات: https: //github.com/turkdevopshttps: //turkdevops.g ...
    تحميل turkdevops
  • 3
    asammdf
    asammdf
    * asammdf * هو محلل لغة بايثون سريع و
    محرر ASAM (Associtation for
    توحيد الأتمتة و
    أنظمة القياس) MDF / MF4
    (تنسيق بيانات القياس ...
    تحميل ملف asammdf
  • 4
    عرجاء (Lame Aint an MP3 Encoder)
    عرجاء (Lame Aint an MP3 Encoder)
    LAME هي أداة تعليمية يمكن استخدامها
    للتعرف على ترميز MP3. ال
    الهدف من مشروع LAME هو التحسين
    الصوتيات النفسية والجودة والسرعة
    النائب ...
    تنزيل LAME (Lame Aint an MP3 Encoder)
  • 5
    wxPython
    wxPython
    وهناك مجموعة من وحدات تمديد بايثون التي
    التفاف فئات واجهة المستخدم الرسومية عبر الأنظمة الأساسية من
    wxWidgets .. الجمهور: المطورين. المستعمل
    الواجهة: X Window System (X11) ، Win32 ...
    تنزيل wxPython
  • 6
    com.packfilemanager
    com.packfilemanager
    هذا هو مدير ملفات حزمة Total War
    المشروع ، بدءًا من الإصدار 1.7. أ
    مقدمة قصيرة عن وارسكيب
    التعديل: ...
    تنزيل packfilemanager
  • أكثر "

أوامر لينكس

Ad