A proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
Read more
Category: Utilities
22 Best Free and Open Source Linux Application Launchers
Application launchers play an integral part in making the Linux desktop a more productive environment to work and play.
Read more
gucharmap – character map
GNOME Character Map (gucharmap) is a Unicode character map. This software allows characters to be displayed by unicode block or script type.
Read more
Best Free and Open Source Alternatives to Microsoft Character Map
Character Map is a utility to view the characters in any installed font, to check what keyboard input is used to enter those characters.
Read more
Characters – simple utility application to find and insert unusual characters
Characters is a simple utility to find and insert unusual characters. It allows users to quickly find the character sought.
Read more
KCharSelect – character map tool
KCharSelect is a tool to select special characters from all installed fonts and copy them in different format.
Read more
Charmap – powerful character map
Charmap is a powerful character map. It works on Unix-like operating systems with the GNUstep installed.
Read more
Best Free and Open Source Alternatives to Microsoft Narrator
Narrator is a screen reader that’s included with every copy of Microsoft Windows. We recommend the best free and open source alternatives.
Read more
13 Best Free and Open Source Universal Access Tools
Accessibility is the degree to which products, devices, services, or environments are available to as many people as possible whatever their circumstances. Accessibility is paramount. Social inclusion is not an act of charity but a fundamental human right.
Read more
10 Best Free and Open Source Virtual Keyboards
The software displays a visual keyboard with all the standard keys.
Read more