Awesome Idris

Alternatives To Awesome Idris
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Build Your Own X250,994
6 days ago1March 16, 2022306
Master programming by recreating your favorite technologies from scratch.
30 Seconds Of Code118,544
12 days agocc-by-4.0JavaScript
Short code snippets for all your development needs
Papers We Love76,838
6 months ago1April 19, 202215Shell
Papers from the computer science community to read and discuss.
Awesome Scalability50,409
3 months ago16mit
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
Frontend Dev Bookmarks40,091
2 months ago119
Manually curated collection of resources for frontend web developers.
Awesome Falsehood22,525
2 months ago4cc0-1.0
😱 Falsehoods Programmers Believe in
Gobooks15,153
4 months ago1
List of Golang books
Awesome Creative Coding11,691
4 months ago18HTML
Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.
Awesome Competitive Programming11,295
9 months ago23cc-by-4.0
:gem: A curated list of awesome Competitive Programming, Algorithm and Data Structure resources
Awesome Guidelines9,286
2 months agocc0-1.0JavaScript
A curated list of high quality coding style conventions and standards.
Alternatives To Awesome Idris
Select To Compare


Alternative Project Comparisons
Popular Awesome List Projects
Popular Programming Projects
Popular Lists Of Projects Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Language
Haskell
Awesome List
Programming
Functional Programming
Dependent Types