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
Best Free Android Apps: AntennaPod – podcast manager and player
AntennaPod is a podcast manager and player that gives you access to millions of free and paid podcasts.
Read more
Best Free and Open Source Alternative to Cisco AnyConnect SSL VPN
Cisco AnyConnect SSL VPN gives users secure access to the enterprise network. What is the best free and open source alternative?
Read more
Excellent Utilities: PDF Mix Tool – perform common editing operations on PDF files
PDF Mix Tool is free and open source software that lets you perform common editing operations on PDF files.
Read more
6 Excellent Free Books to Learn Racket
Racket is a general-purpose, object-oriented, multi-paradigm, functional, imperative, logic based programming language.
Read more
Best Free and Open Source Alternatives to Autodesk Mudbox
Autodesk Mudbox is 3D digital painting and sculpting software. What are the best free and open source alternatives?
Read more