idris2-magical-utils

يحتوي idris2-magical-utils على 2 من skills المجمعة من shogochiai، مع تغطية مهنية على مستوى المستودع وصفحات skill داخل الموقع.

skills مجمعة

Stars

محدث

2026-01-26

Forks

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

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

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

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

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

skill

المهنة

الوصف

آخر تحديث

End-to-End testing infrastructure for Idris2 projects - cross-chain (EVM/ICP), coverage, and CI integration

Idris2 development guidelines including OOM avoidance, project conventions, and idris2-evm EVM compilation