leanprover-community

ملف منشئ GitHub

leanprover-community

عرض على مستوى المستودعات لـ ٢ skills مجمعة عبر ٢ مستودعات GitHub.

github/leanprover-community أكبر مستودع: lean-update

skills مجمعة

٢

مستودعات

٢

محدث

١٧ يونيو ٢٠٢٦

خريطة المستودعات

أين توجد skills

أهم المستودعات حسب عدد skills المجمعة، مع حصتها من كتالوج هذا المنشئ وانتشارها المهني.

١ skills · ١٧ يونيو ٢٠٢٦

مطوّرو البرمجيات

١ فئات مهنية · ١٠٠٪؜ مصنفة

٥٠٪؜الحصة

١ skills · ٢٦ مارس ٢٠٢٦

مديرو الشبكات وأنظمة الحاسوب

١ فئات مهنية · ١٠٠٪؜ مصنفة

٥٠٪؜الحصة

مستكشف المستودعات

المستودعات و skills الممثلة

منشئ/مستودع/skill

١ skills٧٧تم التحديث ١٧ يونيو ٢٠٢٦

٥٠٪؜ من المنشئ

skill

المهنة

الوصف

آخر تحديث

create-release-note

مطوّرو البرمجيات

Use when writing release notes

١٧ يونيو ٢٠٢٦

١ skills١٠تم التحديث ٢٦ مارس ٢٠٢٦

٥٠٪؜ من المنشئ

skill

المهنة

الوصف

آخر تحديث

windows-vm-incus

مديرو الشبكات وأنظمة الحاسوب

Create and manage Windows VMs using Incus for local testing. Use when the user needs a Windows environment for testing, CI validation, or running Windows-specific tools.

٢٦ مارس ٢٠٢٦

عرض ٢ من أصل ٢ مستودعات

تم تحميل كل المستودعات