dada-model

يحتوي dada-model على 1 من skills المجمعة من dada-lang، مع تغطية مهنية على مستوى المستودع وصفحات skill داخل الموقع.

ملف dada-lang عرض على GitHub

skills مجمعة

Stars

محدث

2026-03-21

Forks

التغطية المهنية

مبرمجو الحاسوب

1 فئات مهنية · 100% مصنفة

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

Skills في هذا المستودع

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

skill

المهنة

الوصف

آخر تحديث

formality-core-idioms

مبرمجو الحاسوب

Idiomatic patterns for writing code with formality-core (a-mir-formality). Covers generated constructors, Upcast/UpcastFrom coercions, judgment_fn! macro patterns,

2026-03-21