This article focuses on terminal-based weather tools for Linux. We only feature free and open source software here.
Read more
Category: Scientific
wevva – terminal-based weather application
wevva is a terminal-based weather application built with Textual. It presents current conditions, hourly forecasts and daily outlooks.
Read more
terminal-weather – animated terminal weather dashboard
terminal-weather is an animated terminal weather dashboard. It presents current conditions, hourly forecasts and a seven-day outlook.
Read more
termrain – terminal weather application
termrain is a terminal weather application that combines detailed forecasts with an interactive rain radar.
Read more
linecast – terminal weather, radar, solar and tide visualisations
linecast is a terminal-based suite for viewing weather conditions, precipitation radar, solar information and tide predictions.
Read more
19 Best Free and Open Source Key Value Stores for Big Data
This article recommends the best free and open source software key value stores for Big Data.
Read more
3 Easy Ways to Access Python from R
This roundup picks the finest software which lets you access Python from R.
Read more
rpymat – creates and manages an isolated Miniconda and Python environment
rpymat is an R package that creates and manages an isolated Miniconda and Python environment for reproducible data-processing pipelines.
Read more
11 Best Free and Open Source Proof Assistants
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
Aya – proof assistant and dependently-typed programming language
Aya is a proof assistant and dependently-typed programming language. It supports advanced type-theoretic features.
Read more
F* – general-purpose, proof-oriented programming language
F* (pronounced F star) is a programming language designed for writing programs together with machine-checked proofs of their properties.
Read more
PVS – specification and verification system
PVS is a specification and verification system that combines an expressive specification language with support tools and an interactive theorem prover.
Read more
LISA (LISA Is Sets Automated) – proof assistant
LISA (LISA Is Sets Automated) is a proof assistant based on first-order logic sequent calculus and set theory.
Read more
Lambdapi – interactive proof assistant
Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting.
Read more
HOL Light – interactive theorem prover
HOL Light is an interactive theorem prover and proof checker for formalising and proving mathematical theorems.
Read more
HOL4 – interactive theorem prover
HOL4 is an interactive theorem prover for classical higher-order logic. It provides a platform for formalising mathematics.
Read more
5 Best Free AI Watermark Remover Tools
Compare the best free AI watermark remover tools for your own videos and images, including Zawa, AniEraser, Apowersoft, Vmake and Wink.
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
OpenSpecimen – biobank and biospecimen management platform
OpenSpecimen is a biobank and biospecimen management platform for biorepositories and research organisations.
Read more
20 Best Free and Open Source Linux Medical Imaging Software
Medical imaging is an essential, non-invasive, routine activity performed by radiographers and radiologic technologists.
Read more