A computer algebra system (CAS) is mathematical software that can manipulate mathematical formulae in a way similar to the traditional manual computations of mathematicians and scientists.
Read more
A computer algebra system (CAS) is mathematical software that can manipulate mathematical formulae in a way similar to the traditional manual computations of mathematicians and scientists.
Read more
Symja is a computer algebra system and symbolic mathematics library written in Java.
Read more
REDUCE is a portable general-purpose computer algebra system for symbolic computation.
Read more
Xcas is a cross-platform mathematical environment built around the Giac computer algebra engine.
Read more
Blood Pressure is a Linux application for recording and reviewing blood pressure measurements and pulse readings.
Read more
Workouts is a GNOME desktop application for planning and tracking exercise sessions.
Read more
LocalTranslate is a desktop application for Linux that performs machine translation locally using Firefox translation models.
Read more
OMERewriter is a desktop application for working with microscopy image metadata stored in OME-TIFF files.
Read more
llmfit is a terminal application that helps users find local large language models that are suitable for the hardware they already own.
Read more
LaTeX is a document preparation system and document markup language for high-quality typesetting. We feature the best LaTeX tools.
Read more
Astra is an observatory control system developed to automate and manage robotic telescope operations, originally created for the SPECULOOS observatory.
Read more
TexLab is a cross-platform implementation of the Language Server Protocol for LaTeX.
Read more
Tectonic is a modernised, self-contained TeX and LaTeX engine powered by XeTeX and TeX Live.
Read more
GeckoCIRCUITS is a circuit simulation environment designed specifically for power electronics applications.
Read more
Pulse is a GNOME application designed to help users monitor their energy levels and manage burnout.
Read more
Gnucap is a general purpose circuit simulator aimed at analysing and simulating electronic circuits.
Read more
MeerK40t is laser control software built for makers who want an open platform for preparing and sending jobs to compatible laser hardware.
Read more
Uniplot is aimed at users who need quick visualisation without relying on graphical desktop dependencies or notebook-only workflows.
Read more
Makie.jl is an interactive plotting and data visualisation ecosystem for the Julia programming language.
Read more
Grocy is a web-based, self-hosted groceries and household management system.
Read more