کتابخانه های نوشته شده با جاوا اسکریپت

یک زبان برنامه نویسی کاملا کاربردی با انواع درجه یک.

بایت کد JVM برای ادریس.

کتابخانه تئوری دسته به طور رسمی تأیید شده است.

نسخه ادریس از Domain Modeling Made Functional Book..

یادداشت های دوره SPLV20.

Inigo: A Package Manager برای Idris2.

یادگیری ماشینی تسریع شده با انواع وابسته.

کدهای مربوط به ادریس.

معماری Elm به زبان برنامه نویسی ادریس منتقل شد.

اثبات کامل بودن ادریس pacman (توسط jdublu10).

سندباکس ادریس.

دستگاه تورینگ در ادریس با چند نوع باحال.