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: Scientific
Vipster – powerful editor for molecular structures
VIsual Periodic STructure EditoR (Vipster) is a fast and easy to use graphical editor for periodic atomistic simulations.
Read more
DAMASK – Düsseldorf Advanced Material Simulation Kit
DAMASK is a unified multiphysics crystal plasticity simulation package.
Read more
Flowrs – TUI for Apache Airflow
Flowrs is a TUI application for Apache Airflow, an open-source workflow management platform for data engineering pipelines.
Read more
skyterm – terminal-based astronomy program
skyterm is billed as a beautiful, real-time terminal-based astronomy application that brings the night sky to your command line.
Read more
SeqTUI – Terminal Alignment Viewer and Toolkit
SeqTUI is a fast terminal-based viewer and command-line toolkit for sequences. View, translate, convert (to FASTA)
Read more
BART – Computational Magnetic Resonance Imaging
The Berkeley Advanced Reconstruction Toolbox (BART) toolbox is an image-reconstruction framework for Computational Magnetic Resonance Imaging.
Read more
CGSuite – computer algebra system
CGSuite is a computer algebra system for research in combinatorial game theory.
Read more
PsychoPy – create experiments in behavioural science
PsychoPy is an open-source package for creating experiments in behavioural science.
Read more
Linux Candy: ascii_moon – displays the moon phase
ascii_moon is a small TUI program that displays the moon phase in ASCII art. It’s a small single native binary.
Read more
PLINK – whole genome association analysis toolset
PLINK is a whole genome association analysis toolset. Perform a range of basic, large-scale analyses in a computationally efficient manner.
Read more
InfoDash – displays RSS feeds, weather and stock information
InfoDash is a modern GTK4 dashboard application for Linux that displays RSS feeds, weather, and stock data.
Read more
TuiView – lightweight raster GIS
TuiView is a lightweight raster GIS with powerful raster attribute table manipulation abilities.
Read more
Increasing Lab Efficiency with an Open Source LIMS
A Laboratory Information Management System (LIMS) is a software-based laboratory and information management system that provides streamlined workflow automation and management.
Read more
Alchemist – extensible simulator for pervasive computing
Alchemist is a simulator for pervasive, aggregate, and nature-inspired computing.
Read more
9 Top Free and Open Source Graphical User Interfaces for R
To provide an insight into the quality of software available for Linux, we give our verdict on the best graphical user interfaces for R.
Read more
13 Best Free and Open Source Python Data Analysis
Here’s our verdict of the finest free and open source Python-based data analysis tools captured in a legendary LinuxLinks-style ratings chart.
Read more
brplot – better real time plot
brplot – [b]etter [r]l[plot] is a small application and library that plots data. It works as a library or as an standalone application.
Read more
19 Useful R Natural Language Processing Tools
Natural language processing (NLP) is a set of techniques for using computers to detect in human language the kinds of things that humans detect automatically.
Read more
8 Excellent C++ Natural Language Processing Tools
Natural language processing (NLP) is an exciting field of computer science, artificial intelligence, and computational linguistics.
Read more