Coq is a dependently typed language. This means that the types of the language may depend on the values of variables. Here’s our recommended tutorials to learn Coq.
Read more
Best Free and Open Source Alternatives to Intuit Mailchimp
Mailchimp manages mailing lists and creates email marketing campaigns and automations to send to customers. What are the best free and open source alternatives?
Read more
Best Free Android Apps: RadioDroid 2 – radio streaming app
RadioDroid 2 is an internet radio streaming app. It’s published under an open source license.
Read more
ticker – terminal stock ticker
ticker is simple software that lets you track stocks, currencies, cryptocurrencies, commodities and indexes.
Read more
Best Free and Open Source Alternatives to Intuit’s Products
Intuit Inc. is an American corporation that specializes in proprietary financial software. What are the best free and open source alternatives to Intuit’s products?
Read more
Linux cybersecurity mistakes businesses commonly make
Here are the most common mistakes users make which can lead to security problems.
Read more
Best Free and Open Source Alternatives to Autodesk ShotGrid
Autodesk ShotGrid is project management software used for visual effects and animation project management. What are the best free and open source alternatives?
Read more
Best Free and Open Source Alternatives to Cisco’s Products
From a software perspective, Cisco’s main focus is developing proprietary programs. In this series we look at free and open source alternatives to their products.
Read more
LinuxLinks: Our most-read stories of 2021
We’ve run through our statistics, and found our ten most well received posts/series that saw the highest page views for 2021.
Read more
Best Free and Open Source Alternatives to Apple Messages
Messages is a proprietary freeware instant messaging software application. What are the best free and open source alternatives?
Read more