Shows an icon of the e-mail application with which the selected message was composed

CodeMirror is a code editor component for the web. It can be used in websites to implement a text input field with support for many editing features, and has a rich programming interface to allow further extension.

This typeface is designed to enhance the user experience and reflect our principles of functionality and timelessness.

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

Using this package, users can launch the classic Jupyter Notebook on top of the new Python server backend.

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.