SeisBench provides a common interface for seismic datasets, pretrained models and data-generation pipelines.
Read more
Category: Scientific
Minisforum N5 Pro NAS – NPU with FastFlowLM
FastFlowLM puts the Minisforum N5 Pro’s 50 TOPS AMD XDNA 2 NPU to work under Linux for local LLMs and private AI server workloads.
Read more
SimPEG – simulation and gradient-based parameter estimation in geophysical applications
SimPEG provides a framework for finite-volume simulation, geophysical imaging, inversion and subsurface flow problems.
Read more
pyGIMLi – modelling and inversion in geophysics
pyGIMLi is software for modelling and inversion in geophysics. It provides tools for analysing, visualizing and inverting geophysical data
Read more
OpenQuake Engine – seismic hazard and risk analysis
OpenQuake Engine is software for seismic hazard and risk analysis developed by the Global Earthquake Model Foundation.
Read more
OpendTect – seismic interpretation system
OpendTect is a seismic interpretation system for visualizing, analyzing and interpreting 2D, 3D and 4D seismic data
Read more
Landlab – numerical modelling of Earth-surface dynamics
Landlab is a Python package for the numerical modelling of Earth-surface dynamics.
Read more
GemPy – construct three-dimensional geological models
GemPy is a Python library for constructing three-dimensional geological models.
Read more
19 Best Free and Open Source Terminal-Based Weather Tools
This article focuses on terminal-based weather tools for Linux. We only feature free and open source software here.
Read more
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