Our great sponsors
-
trouble.nvim
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
PS: io ho solo fatto un plugin per Coq https://github.com/Mte90/coq_wordpress e i meiie dotfiles https://github.com/mte90/dotfiles
PS: io ho solo fatto un plugin per Coq https://github.com/Mte90/coq_wordpress e i meiie dotfiles https://github.com/mte90/dotfiles
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.