Merge pull request #112 from mgrojo/lychee-link-checker
8 March 2023 at 21:05
Merge pull request #112 from mgrojo/lychee-link-checker New better link checker and dead links fixed
Merge pull request #112 from mgrojo/lychee-link-checker New better link checker and dead links fixed
Merge pull request #109 from ohenley/add-main-heading Add main heading and new badge
Merge pull request #110 from ohenley/fix-synth-lib-double-link Remove double-link reported by awesome-lint
Merge pull request #92 from Richard-Wai/patch-1 Add AURA and ASAP to README.md
Merge pull request #89 from streaksu/patch-1 Update README.md
Merge pull request #88 from nytpu/patch-1 Update README.md
Add back link to #ada-lang:matrix.org in News and Resources section
Change link to matrix-ada to point to Lobby on Gitter The #ada-lang channel on matrix.org is an RSS feed.
Merge pull request #86 from JeremyGrosser/patch-1 Add link to chests
Merge pull request #78 from mgrojo/master One addition and one deletion to Games section. Two additions to Networking and Communication Middleware section
Merge pull request #74 from zertovitch/patch-2 Improved LEA's description
Merge pull request #73 from zertovitch/patch-1 Improved description for HAC
Merge pull request #72 from lkujaw/master Add BLAKE2S to the Cryptography category
Update URL of Libera.Chat since GitHub does not recognize ircs protocol
Change URL of #ada IRC channel to Libera.Chat network
Add banner for new programming competition
Merge pull request #70 from pyjarrett/patch-1 Add septum under Applications/Misc
Merge pull request #69 from jklmnn/patch-6 Add Ada for GitHub Actions to CI section
Merge pull request #68 from mgrojo/master Add ASFML to Games section