安全libraryIdris

awesome-idris

𝛌 Awesome Idris resources

411 stars19 forks1 issues更新于 2026/4/25

GitHub 仓库

awesomeawesome-listfunctional-programminghaskellidristype-driven-development

暂无详细内容

同类推荐

free-programming-books

:books: Freely available programming books

385,986

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

287,950

30-seconds-of-code

Coding articles to level up your development skills

127,565

papers-we-love

Papers from the computer science community to read and discuss.

105,571

awesome-mac

 This project is dedicated to collecting high-quality macOS software and organizing them systematically by different categories for easy search and use.

102,549

awesome-for-beginners

A list of awesome beginners-friendly projects.

84,964