應用程式列表/科學
< 应用程序列表
注意： 如需了解最新的科學類應用，請訪問AUR 的'科學'類別。
數學[編輯 | 編輯原始碼]
計算器[編輯 | 編輯原始碼]
參見 Wikipedia:Comparison of software calculators。
控制台[編輯 | 編輯原始碼]
- bc — 任意精度的計算器語言。
- calc — 任意精度的控制台計算器。
- clac — 命令行堆棧式計算器，採用後綴表達式（postfix notation）。
- kalker — 帶有數學語法的命令行計算器，支持用戶定義變量和函數、複數以及導數和積分的估算。
- qalc — 命令行計算器和方程求解器，具有容錯分析、常數識別和單位功能。
圖形化[編輯 | 編輯原始碼]
- Deepin Calculator — Deepin 桌面的易用計算器。
- Extcalc — 基於 Qt 的圖形科學計算器。
- FOX Calculator — 簡易桌面計算器。
- galculator — 基於 GTK 的科學計算器。
- Genius — 高級計算器，包含一種數學編程語言。
- GNOME Calculator — GNOME 桌面中的科學計算器。屬於 gnome包組 的一部分。
- KAlgebra — 計算器和 3D 繪圖儀。屬於 kde-education包組 的一部分。
- Kalk — 使用 Kirigami 框架構建的聚合計算器應用程式。屬於 kde-utilities包組 的一部分。
- KCalc — KDE 桌面中的科學計算器。是 kde-utilities包組 的一部分。
- KEuroCalc — 通用貨幣轉換器和計算器。
- Liri Calculator — Liri 的計算器。
- MATE Calc — MATE 桌面環境的計算器。
- Qalculate! — 計算器和方程求解器，具有容錯解析、常量識別和單位功能。
- https://qalculate.github.io/ || GTK: qalculate-gtk包, Qt: qalculate-qt包
- SpeedCrunch — 快速、高精度、強大的跨平台計算器。
- xcalc — X 的科學計算器，具有代數和反向拋光符號（reverse polish notation）模式。
計算機代數系統[編輯 | 編輯原始碼]
參見 Wikipedia:Comparison of computer algebra systems。
- AXIOM — FriCAS：功能強大的 AXIOM-CAS 的衍生工具。
- GAP — 用於計算離散代數的計算機代數系統，尤其側重於計算群論。
- Maple — 著名的商業 CAS。常用於教育領域。
- Mathics — 一個用於符號數學計算的免費 CAS，使用 Python 作為其主要語言。它旨在實現與 Mathematica 兼容的語法和函數。它主要依賴 Sympy 來完成大多數數學任務，也可選擇使用 Sage 來實現更高級的功能。
- Mathomatic — 使用 C 語言編寫的通用計算機代數系統。
- Maxima — Maple/Mathematica-like computer algebra system.
- PARI/GP — 專為快速計算數論而設計的計算機代數系統。
- Singular — 用於多項式計算的計算機代數系統，特別強調交換和非交換代數、代數幾何和奇異性理論。
- wxMaxima — 功能強大的計算機代數系統 Maxima 的圖形用戶界面。
- Xcas — 免費的基礎計算機代數系統 Giac 的用戶界面。
網絡/圖表的可視化[編輯 | 編輯原始碼]
- Glue — 跨多個文件的關聯數據可視化
- http://glueviz.org/ || gluevizAUR
- Graphviz — 用於顯示小型二維圖形的成熟工具。
科學或技術計算[編輯 | 編輯原始碼]
參見 Wikipedia:Comparison of numerical analysis software。
- Cadabra — 基於場論的計算機代數方法。
- Cantor — 該程序可讓您在一個漂亮的 KDE-integrated Worksheet Interface 中使用自己喜歡的數學應用程式。屬於 kde-education包組 的一部分。
- FFTW — A Fast Fourier Transform library for computing discrete Fourier transforms. Used for a wide variety of numerical applications, which includes spectral methods.
- FreeMat — 類似於 Matlab 的程序，支持其許多功能，並具有連接外部 C、C++ 和 Fortran 代碼的無代碼接口、進一步的並行分佈式算法開發（通過 MPI）以及三維可視化功能。
- GeoGebra — 具有交互式圖形、代數和電子表格功能的動態數學軟件。
- Julia — 用於技術計算的高級高性能動態語言。
- Kig — 交互式幾何應用。kde-education包組 的一部分。
- matplotlib (PyLab) — 用於科學計算的 Python 模塊集（pyplot、numpy 等）。
- SageMath — 數學軟件系統，將許多現有的開源軟件包整合到一個通用的 Python 界面中。可替代 Magma、Maple、Mathematica 和 Matlab。
- Scilab — 用於數值計算的 Matlab 替代軟件。其語法不等同於 Matlab，但可以輕鬆轉換。
統計[編輯 | 編輯原始碼]
參見 Wikipedia:Comparison of statistical packages。
- gretl — 用 C 語言編寫的跨平台計量經濟學分析軟件包。
- JAGS (Just another Gibbs sampler) — Cross-platform program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation.
- jamovi — 該統計軟件包易於使用，其設計旨在為 SPSS 用戶所熟悉。基於 Electron 平台。
- Python Data Analysis Library (pandas) — 使用 Python 編程語言提供高性能、易用的數據結構和數據分析工具。
- PSPP — Free SPSS implementation.
- R — 用於統計計算和製圖的軟件環境。
- RKWard — 統計語言 R 的前端。
- RStudio — 用 Qt 編寫的強大、高效的 R 集成開發環境。
數據分析與繪圖[編輯 | 編輯原始碼]
參見 Wikipedia:List of information graphics software。
- AlphaPlot — 用於科學數據分析和可視化的應用程式，是 SciDAVis/ QtiPlot 的分叉。
- DataWarrior — Open-source data visualization and analysis program with embedded chemical intelligence.
- Engauge Digitizer — 從圖形圖像中提取數據點。
- Fityk — 曲線擬合和數據分析應用程式，主要用於對實驗數據擬合鐘形分析函數。
- https://fityk.nieto.pl/ || fitykAUR
- Gnuplot — 命令行程序，可生成函數、數據和數據擬合的二維和三維圖形。
- Grace — 所見即所得的 2D 圖形繪製工具。
- https://plasma-gate.weizmann.ac.il/Grace/ || graceAUR, qtgraceAUR, gracegtkAUR
- KmPlot — 繪製圖形及其積分或導數的程序。屬於 kde-education包組 的一部分。
- LabPlot — 自由的數據分析和可視化應用軟件，類似於 SciDAVis。
- OVITO (Open Visualization Tool) — 用於粒子模擬的科學數據可視化和分析解決方案。
- https://ovito.org/ || ovitoAUR
- Plots — 一款適用於 GNOME 的圖形繪製應用程式。
- Rocs — 圖論 IDE，面向所有對設計和分析圖算法感興趣的人（如講師、學生和研究人員）。是 kde-education包組 的一部分。
- ROOT — 歐洲核子研究中心開發的數據分析程序和程序庫（最初用於粒子物理學）。
參見 List of applications/Documents#Spreadsheets。
Proof assistants[編輯 | 編輯原始碼]
See also Wikipedia:Proof assistant.
- Agda — Dependently typed functional programming language and proof assistant. It is an interactive system for writing and checking proofs.
- Coq — Formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- https://coq.inria.fr/ || CLI: coq包, GUI: coqide包
- Isabelle — Generic proof assistant that allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
- Lean Theorem Prover — Proof assistant developed principally by Leonardo de Moura at Microsoft Research, used in conjunction with the Lean mathematical library.
Physics[編輯 | 編輯原始碼]
Tools[編輯 | 編輯原始碼]
- Geiger Counter Logger — Is a lightweight daemon running in the background and constantly reporting your Geiger counter readings to various radiation monitoring websites
- GWtool — Simple tools for working with gravitational waves
- JaxoDraw — A particle physics program for drawing Feynman diagrams.
- InterSpec — spectral radiation analysis software
- Libint — A high-performance library for computing Gaussian integrals in quantum mechanics
- Pysolar — Collection of Python libraries for simulating the irradiation of any point on earth by the sun. It includes code for extremely precise ephemeris calculations.
- Silx — A collection of Python packages for data analysis at synchrotron radiation facilities.
Physics simulation[編輯 | 編輯原始碼]
- Calculix — A three-dimensional structural finite element program.
- DFTB+ — A quantum mechanical simulation software package based on the DFTB method
- EPANET — EPANET performs extended period simulation of the water movement and quality behavior within pressurized pipe networks.
- Elmer_FEM_solver — Finite element analysis (FEA/FEM) software for multiphysics problems. Includes models for fluid dynamics, structural mechanics, electromagnetics, heat transfer, and acoustics.
- FEniCS — An open-source computing platform for solving partial differential equations, enabling users to quickly translate scientific models into efficient finite element code with the high-level Python and C++ interfaces that scale across platforms ranging from laptops to high-performance clusters.
- https://fenicsproject.org/ || dolfinAUR, python-dolfinAUR
- Finesse — Frequency domain INterfErometer Simulation SoftwarE
- Geant4 — A simulation toolkit for particle physics interactions.
- ONELAB/Gmsh — An open-source, lightweight interface to finite element software, by default containing the mesh generator Gmsh, the finite element solver GetDP and the optimization library conveks.
- http://onelab.info/ https://getdp.info/ https://gmsh.info/ http://onelab.info/conveks/ || gmshAUR, getdpAUR
- Herwig — Herwig is a multi-purpose particle physics event generator.
- Netgen/NGSolve — A high performance multiphysics finite element software, with a flexible Python interface to implement new physical equations and solution algorithms easily.
- https://ngsolve.org/ || netgen-gitAUR, ngsolve-gitAUR
- OpenFOAM — Software package and toolkit for computational fluid dynamics (CFD).
- OpenLoops 2 — A particle physics package for the fast numerical evaluation of tree and one-loop matrix elements.
- QuTiP — QuTiP is open-source software for simulating the dynamics of open quantum systems
- Rivet — A particle physics package for data analysis and validation of Monte Carlo event generators
- Speaq — Tools for Nuclear Magnetic Resonance (NMR) Spectra Alignment, Peak Based Processing, Quantitative Analysis and Visualizations
- SWMM — Storm Water Management Model is a dynamic rainfall-runoff-subsurface runoff simulation model used for simulation of the surface/subsurface hydrology quantity and quality.
- Sherpa — A particle physics package for Monte Carlo simulation of collider events.
- Step — Two-dimensional physics simulation engine. Part of kde-education包組.
- VESTA — 3D visualization program for structural models, volumetric data such as electron/nuclear densities, and crystal morphologies.
- WHIZARD — The Generator of Monte Carlo Event Generators for Tevatron, LHC, ILC, CLIC, CEPC, FCC-ee, FCC-hh, SppC and other High Energy Physics Experiments.
Unit conversion[編輯 | 編輯原始碼]
- ConvertAll — Unit conversion application that allows one to combine units in any way (e.g. inches per decade), even if it does not make sense.
- fend — An arbitrary-precision unit-aware calculator.
- Gonvert — Conversion utility that allows conversion between many units like CGS, Ancient, Imperial with many categories like length, mass, numbers, etc.
- Numbat — Statically typed programming language for scientific computations with first class support for physical dimensions and units.
- Rink — A unit conversion tool and library written in rust. It can be used for physics and engineering calculations, as well as dimensionality analysis.
- UDUNITS — A tool for calculations of physical quantities.
- Units — Command-line unit converter and calculator that can handle multiplicative scale changes, nonlinear conversions such as Fahrenheit to Celsius or wire gauge and others.
Chemistry[編輯 | 編輯原始碼]
- TCcalc — A basic CLI Chemical thermodynamics calculator. Allows for calculating delta S and H of reactions/state changes.
Molecules[編輯 | 編輯原始碼]
Viewers[編輯 | 編輯原始碼]
See also Wikipedia:List of molecular graphics systems.
- Avogadro — Editor, viewer and simulator for 3D molecule structures (also supports downloading files from the Protein Data Bank).
- Ghemical — Computational chemistry software package used to edit, view and simulate molecular structures.
- PyMOL — Open-source molecular visualization system that can produce high quality 3D images of small molecules and biological macromolecules, such as proteins.
- UCSF Chimera — Extensible molecular modeling system.
- UCSF ChimeraX — Next-generation molecular visualization program, following UCSF Chimera.
- VMD — VMD is a molecular visualization program for displaying, animating, and analyzing large biomolecular systems using 3-D graphics and built-in scripting.
- wxMacMolPlt — An open-source GUI for preparing, submitting and visualizing input and output for the GAMESS quantum chemistry package.
Drawing[編輯 | 編輯原始碼]
- Chemtool — GTK-based program for drawing chemical structural formulas.
- Gabedit — Graphical user interface to computational chemistry packages like GAMESS, Gaussian, MOLCAS, MOLPRO, MPQC, OpenMopac, Firefly (previously PC GAMESS) and Q-Chem.
Modeling[編輯 | 編輯原始碼]
- AmberTools — AmberTools consists of several independently developed packages that work well by themselves, and with Amber18 itself. The suite can also be used to carry out complete molecular dynamics simulations, with either explicit water or generalized Born solvent models.
- APBS — Electrostatic and solvation properties for complex molecules.
- COPASI — COmplex PAthway SImulator for analysis of biochemical networks and their dynamics.
- https://copasi.org/ || copasiAUR
- CP2K — A quantum chemistry and solid state physics software package.
- https://www.cp2k.org/ || cp2kAUR
- Fpocket — Fpocket is a very fast open source protein pocket detection algorithm based on Voronoi tessellation.
- GROMACS (GROningen MAchine for Chemical Simulations) — Versatile package to perform molecular dynamics, i.e. simulate the Newtonian equations of motion for systems with hundreds to millions of particles.
- LAMMPS — Large-scale Atomic/Molecular Massively Parallel Simulator.
- MODELLER — 3D structure homology modeller.
- NAMD — NAMD is a parallel molecular dynamics code designed for high-performance simulation of large biomolecular systems.
- NWChem — Ab initio computational chemistry software package.
- Open Babel — A library designed to interconvert between many file formats used in molecular modeling and computational chemistry.
- ORCA — ORCA is an ab initio, DFT, and semi-empirical SCF-MO package.
- PDB2PQR — Electrostatic and solvation properties for complex molecules.
- PLUMED — An open source plugin for free energy calculations in molecular systems which works together with some of the most popular molecular dynamics engines.
- PMEMD — PMEMD module of AMBER software package.
- https://ambermd.org/AmberMD.php || pmemdAUR[損壞的連結：package not found]
- PSI4 — Open-source quantum chemistry
- https://psicode.org/ || psi4-gitAUR
- Quantum ESPRESSO — Integrated suite of applications for electronic-structure calculations and materials modeling at nanoscale. It is based on density-functional theory, plane waves, and pseudopotentials (both norm-conserving and ultrasoft).
- RDKit — A collection of cheminformatics and machine-learning software written in C++ and Python.
- https://www.rdkit.org/ || rdkitAUR
- rDock — A fast, versatile and open-source program for docking ligands to proteins and nucleic acids.
- smina — Smina is a fork of Autodock Vina that focuses on improving scoring and minimization.
Simulation analysis[編輯 | 編輯原始碼]
- mdanalysis — An object-oriented python toolkit to analyze molecular dynamics trajectories in many popular formats.
- MDTraj — A modern, open library for the analysis of molecular dynamics trajectories.
Periodic table[編輯 | 編輯原始碼]
- eperiodique — A simple Periodic Table Of Elements viewer using the EFL.
- gElemental — Periodic table of the elements with additional information.
- Kalzium — Periodic table of the elements with molecule editor and equation solver. Part of kde-education包組.
地球科學[編輯 | 編輯原始碼]
氣候學[編輯 | 編輯原始碼]
- Climate Data Operators — 操作和分析氣候模型數據的命令行工具。支持的數據格式有 GRIB、netCDF、SERVICE、EXTRA 和 IEG。
地理[編輯 | 編輯原始碼]
製圖[編輯 | 編輯原始碼]
- JOSM — 用 Java 編寫的 OpenStreetMap 主編輯器。
- Merkaartor — OpenStreetMap 編輯器。
- OpenOrienteering Mapper — 定向地圖繪製程序。
- Phyghtmap — 根據 NASA SRTM 數據生成 OSM 等值線。
GPS、旅行、跟蹤[編輯 | 編輯原始碼]
- BT747 — The swiss army knife for MTK GPS dataloggers.
- FoxtrotGPS — 輕便快捷的製圖應用程式。
- Gebabbel — GPSBabel 的替代圖形用戶界面。
- Gpredict — 實時衛星跟蹤和軌道預測應用。
- GPSBabel — 讀取、寫入和操作各種格式的 GPS 航點、軌跡和路線。
- gpsd — Service daemon that monitors one or more GPSes or AIS receivers attached to a host computer through serial or USB ports, making all data on the location/course/velocity of the sensors available to be queried on TCP port 2947 of the host computer.
- GpsPrune — 查看、編輯和轉換來自 GPS 系統的坐標數據。
- GPX Viewer — 將存儲在 gpx 文件中的軌跡和航點可視化的簡單工具。
- GPXSee — GPS 日誌文件查看器和分析器。
- Navit — Modular turn-by-turn car navigation system.
- PreviSat — PreviSat 是一款用於觀測的衛星跟蹤軟件。
- QMapShack — 計劃下一次戶外旅行。
- Railway — 鐵路旅行、列車時刻表和列車線路。
- Satellite — Displays Global Navigation Satellite System (GNSS: GPS, Galileo, Glonass etc.) information obtained from NMEA sources and saves your tracks
- Subsurface — Diving logbook to keep track of your dives by logging dive locations (with GPS coordinates), weights and exposure protection used, divemasters and dive buddies, etc.
- Viking — GTK 2 application to manage GPS data.
數據分析與地理信息系統[編輯 | 編輯原始碼]
- GeoDa — 一個空間數據分析工具。
- GRASS GIS — 地理空間數據管理和分析、圖像處理、圖形/地圖製作、空間建模和可視化。
- gvSIG — vSIG 是一個地理信息系統（GIS），即一個桌面應用程式，用於捕獲、存儲、處理、分析和部署任何類型的參考地理信息，以解決複雜的管理和規劃問題。
- Panoply — NASA GISS 的 NetCDF、HDF 和 GRIB 數據查看器。
- QGIS — 地理信息系統（GIS） ，支持矢量、光柵和數據庫格式。
- SAGA — 地理信息系統（GIS）軟件，具有強大的地理數據處理和分析功能。
- WCSTools — 用於設置和使用世界坐標系的程序包。
地圖客戶端[編輯 | 編輯原始碼]
- Cruiser — 使用離線矢量地圖的地圖和導航應用。
- GNOME Maps — GNOME 的簡單地圖客戶端，具有導航和 GNSS 功能（適用於 Linux Mobile）。屬於 gnome包組 的一部分。
- kosmindoormap — 室內製圖，逐層繪製建築物，主要是火車站和機場建築物。基於 OSM 數據。
- MapSCII — 控制台地圖查看器。
- Marble Maps — Vector and GNSS navigation system, with Modular turn-by-turn car, foot, and bike navigation system. (adapted to Linux Mobile)
- Mapton — 用 Java 編寫的可擴展桌面地圖和地球儀應用程式。
- https://mapton.org/ || maptonAUR
- Marble — 虛擬地球儀和世界地圖，可用於進一步了解地球。屬於 kde-education包組 的一部分。
- https://marble.kde.org/ || KDE: marble包, Qt: marble-qt包
- OffRoad — 從 OsmAnd 移植而來的離線矢量地圖顯示。
- Organic Maps — GNSS based navigation, with vector off-line and routing features, and turn by turn routing
- OSMin — GNSS based navigation, with vector off-line and routing features, and turn by turn car, foot, bike, and hiking routing (adapted to Linux Mobile).
- Pure Maps — 顯示矢量和光柵地圖、地點、路線等。
天氣狀況[編輯 | 編輯原始碼]
- Gis Weather — 可定製的天氣預報桌面小工具。
- GNOME Weather — GNOME 的小程序，允許您監控所在城市或世界任何地方的當前天氣狀況，並訪問由各種互聯網服務提供的最新預報。屬於 gnome包組 的一部分。
- KWeather — Plasma 的聚合天氣應用程式。屬於 kde-utilities包組 的一部分。
- meteo-qt — 系統托盤應用程式，提供天氣狀態信息。
- wttr — 使用 https://wttr.in 中的數據查看天氣的簡單控制台應用程式
- Xfce 天氣面板插件 — Weather forecast plugin for the Xfce4 panel.
- wego — 終端天氣應用程式。
地質學[編輯 | 編輯原始碼]
- CDI — 是一個通用的 C 語言庫，帶有額外的 Fortran 接口，用於地球科學領域的文件輸入輸出。
- EnhancedVolcano — 可用於出版的火山圖，增強了着色和標註功能。
- GEOmap — 地形和地質測繪。
- GPlates — Is a plate tectonics program. Manipulate reconstructions of geological and paleogeographic features through geological time.
- Gsegyview — SEG-Y 地震數據文件查看器
- Gstat — Spatial and Spatio-Temporal Geostatistical Modelling, Prediction and Simulation
- Madagascar — 多維數據分析和可重複計算實驗。
- SeisComP — 用於數據採集、處理、分發和交互式分析的地震學軟件。
- Seismic Un*x — A seismic processing and research environment developed at the Center for Wave Phenomena, Colorado School of Mines
- TauP — A seismic travel time calculator.
海洋學[編輯 | 編輯原始碼]
- Cmocean — Colormap setup for standardizing commonly-plotting oceanographic variables.
Astronomy[編輯 | 編輯原始碼]
Astrometrical and image processing software[編輯 | 編輯原始碼]
See also Wikipedia:List of astrometric solvers.
- APTS — Set of tools for automatic astrophotography images acquisition and processing
- Astap — Astrometric (plate) solver, stacking of images, photometry and FITS viewer
- AstroCrop — Astronomical image preprocessing tool
- AstroImageJ — ImageJ for Astronomy
- Astrometry.net — Automatic recognition of astronomical images
- AudeLA — AudeLA is a TCL extension aimed at providing amateur astronomers with image processing, telescope controling, ccd camera driving, and various astronomical algorithms
- CARTA — Cube Analysis and Rendering Tool for Astronomy
- FITSH — a software package for astronomical image processing
- https://fitsh.net/ || fitshAUR
- GIMP Astronomy Plugins — Set of GIMP plugins for astronomical image processing.
- Ginga — A viewer for astronomical data FITS (Flexible Image Transport System) files
- SCAMP — reads SExtractor catalogs and computes astrometric and photometric solutions for any arbitrary sequence of FITS images in a completely automatic way.
- SExtractor — Is a program that builds a catalogue of objects from an astronomical image.
- Montage — An astronomical image mosaic engine
- Munipack — A general astronomical image processing software
- oaCapture — A planetary imaging application using Qt5
- PlanetarySystemStacker — Produce a sharp image of a planetary system object
- THELI — THELI is a data processing pipeline for optical, near-infrared and mid-infrared astronomical images
Image capture software[編輯 | 編輯原始碼]
- CCDciel — A CCD capture software intended for the amateur astronomer.
- FireCapture — The leading planetary capture tool
- GoQat — Camera acquisition software, especially for QSI cameras, that provides other features such as autoguiding, focusing help and others.
- lin_guider — astronomical autoguiding program
- Mrcal — Is a generic toolkit built to solve the calibration and SFM-like problems we encounter at NASA/JPL.
- Open PHD Guiding — PHD2 astrophotography autoguiding tool
- SAOImageDS9 — SAOImage DS9: Astronomical Data Visualization Application
- Siril — Siril is a software application for astrophotography, which allows pre-processing and processing of images from any type of camera (CCD, planetary camera, webcam etc.)
- https://siril.org/ || sirilAUR
Common Library[編輯 | 編輯原始碼]
- Astropy — The Astropy Project is a community effort to develop a common core package for Astronomy in Python and foster an ecosystem of interoperable astronomy packages.
- CASA — the Common Astronomy Software Applications package.
- Casacore — package contains the core libraries of the old AIPS++/CASA package.
- CDF — NASA Common Data Format (CDF) library for scientific data management
- ERFA — Essential Routines for Fundamental Astronomy
- HEASoft — NASA high energy astrophysics library
- libTheSky — Fortran library to compute the positions of celestial bodies and events with great accuracy
- Pal — Positional Astronomy Library.
- PyEphem — PyEphem provides scientific-grade astronomical computations
- SOFA — Set of algorithms and procedures used in fundamental astronomy
- http://www.iausofa.org/ || sofaAUR
Toolkits[編輯 | 編輯原始碼]
- AstroML — Machine learning, statistics, and data mining for astronomy and astrophysics
- Exoplanet — exoplanet is a toolkit for probabilistic modeling of time series data in astronomy with a focus on observations of exoplanets
- Galpy — Galactic Dynamics in python
- Gammapy — A Python package for gamma-ray astronomy
- HEALPix — Software for pixelization, hierarchical indexation, synthesis, analysis, and visualization of data on the sphere
- JHelioviewer — Visualization software for solar image data in space weather context
- JMARS — Java Mission-planning and Analysis for Remote Sensing.
- JSkyCalc — A tool for observing preparation in java
- Period04 — Period04 is a computer program especially dedicated to the statistical analysis of large astronomical time series containing gaps
- http://period04.net/ || period04AUR
- Pywwt — Is the official toolkit for accessing AAS WorldWide Telescope (WWT) from Python
- RochePlot — Plot the key stages in the evolution of a binary star
- Skyfield — Elegant astronomy for Python
- SolTrack — A free, fast and accurate C/C++ routine to compute the position of the Sun
- SPICE — A comprehensive toolkit and api to design, simulate and analyse space missions
- STILTS — Starlink Tables Infrastructure Library Tool Set
- sunclock — An astronomical world map that shows day and night and the Sun and Moon positions
- Tempo — Pulsar Timing Software
- TOPCAT — Tool for OPerations on Catalogues And Tables
- VaST — VaST is a software tool for finding variable objects on a series of astronomical images
- VStar — VStar is a multi-platform, easy-to-use variable star data visualization and analysis tool that was originally developed as part of the AAVSOs Citizen Sky project
Calculators and CLI utils[編輯 | 編輯原始碼]
- astroTools — Command-line tools for astronomy and astrophysics
- Gnuastro — Various programs and library functions for the manipulation and analysis of astronomical data
- Kosmorro — A program to calculate the ephemerides
- Project Pluto — Project Pluto supplies astronomical software, both commercial and freeware, to amateur and professional astronomers
- https://www.projectpluto.com/ || pluto-lunar-gitAUR, pluto-sat-code-gitAUR, pluto-jpl-eph-gitAUR, pluto-find-orb-gitAUR}
- star-charter — A command-line tool for producing vector-graphics charts of the night sky in SVG, PDF and PNG formats
- Sunwait — Calculate sunrise/sunset times with civil, nautical, astronomical and custom twilights
Management of telescopes and observatories[編輯 | 編輯原始碼]
- GILDAS — Is a collection of state-of-the-art software oriented toward (sub-)millimeter radioastronomical applications (either single-dish or interferometer)
- imSim — software package that simulates the LSST telescope and survey
- rubin_sim — Scheduler, survey strategy analysis, and other simulation tools for Rubin Observatory
- Srt-py — Small Radio Telescope Control Code for Python.
Simulation[編輯 | 編輯原始碼]
- APSYNSIM — Aperture Synthesis Simulator for Radio Astronomy
- Galaxy2 — Is program which simulates the motion of stars under the influence of gravity
- GalSim — Modular galaxy image simulation toolkit
- FriendlyVRI — Is designed to simulate astronomical observations using linked arrays of radio antennas in a technique called earth rotation aperture synthesis
- Pynterferometer — Is a graphical interface designed to demonstrated the techniques of radio interferometry used by telescopes
Space exploration programs[編輯 | 編輯原始碼]
- Cosmographia — Cosmographia is a visualization program rendering the solar system and its bodies in 3D to create a freely navigable map of the solar system
- Cosmonium — 3D astronomy and space exploration program
- OpenSpace — OpenSpace is an open source, non-commercial, and freely available interactive data visualization software designed to visualize the entire known universe and portray our ongoing efforts to investigate the cosmos
- Our Galaxy — Is a unique app that helps you understand the structural components of the Galaxy and visualize the locations and physical properties of deep sky objects in and around it
Planetary and Virtual Atlas[編輯 | 編輯原始碼]
See also Wikipedia:Planetarium software.
See also Wikipedia:List of observatory software.
- Aladin — Interactive software sky atlas
- Celestia — 3D astronomy simulation program that allows users to travel through an extensive universe, modeled after reality, at any speed, in any direction and at any time in history.
- Gaia Sky — An open source 3D universe simulator with support for more than a billion objects
- HNSKY — Hallo Northern Sky is the semi professional free planetarium program
- KStars — Planetarium application that provides an accurate graphical simulation of the night sky, from any location on Earth, at any date and time. It is included in KDE Edu.
- Skychart / Cartes du Ciel — Planetarium that maps out and labels most of the constellations, planets, and objects you can see with a telescope. It can also download Digitized Sky Survey Charts and superimpose images over these charts.
- StarPlot — 3-dimensional star chart viewer.
- http://starplot.org/ || starplotAUR
- Stellarium — Beautiful 3D planetarium that uses OpenGL to render a realistic sky in real time.
- Virtual Moon Atlas — Software for Moon observation and survey
- XEphem — Motif-based ephemeris and planetarium program.
Biology[編輯 | 編輯原始碼]
Computational biology and bioinformatics[編輯 | 編輯原始碼]
See also Wikipedia:List of open source bioinformatics software.
- Biopython — Python package with tools for computational biology, as well as bioinformatics.
- EMBOSS (European Molecular Biology Open Software Suite) — Open source software analysis package specially developed for the needs of the molecular biology and bioinformatics user community.
- MUMmer — Bioinformatics software system for sequence alignment based on suffix trees.
- Snapgene — Closed source molecular cloning application that offers a fast and easy way to plan, visualize, and document molecular biology procedures. Supports a wide range of cloning and PCR manipulations. The free version allows most common visualizations of a molecular biology workflow.
- UGENE — Application that integrates dozens of well-known biological tools and algorithms, providing both graphical user and command-line interfaces.
- https://ugene.net/ || ugeneAUR
Genealogy[編輯 | 編輯原始碼]
- Gramps — Genealogy program, which helps you track your family tree.
- LifeLines — Text based genealogy software for family trees and reports.
Image manipulation[編輯 | 編輯原始碼]
- ImageJ — Java-based image processing and analysing program that provides extensibility via plugins and macros. It is widely used in microscopy (e.g. for cell counting).
- https://imagej.nih.gov/ij/[失效連結 2024-07-30 ⓘ] || imagejAUR
- Fiji — ImageJ distribution (and soon ImageJ2) with a lot of plugins organized into a coherent menu structure.
- https://fiji.sc || fiji-binAUR
DICOM viewers and volume rendering[編輯 | 編輯原始碼]
- aeskulap — Simple DICOM data viewer
- weasis — Multipurpose DICOM viewer with a highly modular architecture
- aliza — Open 2D, 3D and 4D images in DICOM, MetaIO, Nifti, Nrrd and other formats, meshes in DICOM, VTK, STL and OBJ formats
- 3DSlicer — Comprehensive MRI, CT, LSCM microscopy volume processing, segmentation and 3D-reconstruction
- ParaView — Interactive data visualization tool built using VTK that can scale across distributed computer hardware.
Engineering[編輯 | 編輯原始碼]
計算機輔助設計[編輯 | 編輯原始碼]
參見 Wikipedia:List of computer-aided design editors。
- BRL-CAD — Constructive solid geometry modeling CAD system that includes an interactive geometry editor, ray tracing support for graphics rendering and geometric analysis, computer network distributed framebuffer support, scripting, image-processing and signal-processing tools.
- https://brlcad.org/ || brlcadAUR
- FreeCAD — 基於 OpenCascade、Coin3D、Qt 和 Python 的參數 3D CAD 建模器，具有宏記錄、工作枱和作為伺服器運行的功能。
- LeoCAD — 用於創建虛擬樂高模型的 CAD 程序。它的界面簡單易用，目前包括 LDraw 社區創建的 10,000 多種不同的作品。
- LibreCAD — 基於 Qt5 的 2D CAD 應用程式。源自 QCAD Community Edition。
- OpenSCAD — 三維 CAD 建模器，採用文本、編程方式創建和操作對象。
- QCAD — A基於 Qt 的 2D CAD 應用程式。支持 DFX 和 HPGL 標準文件格式，還可通過專有插件支持 DWG 格式。
- SolveSpace — 功能強大的 3D CAD 約束參數建模器，具有簡單的機械模擬功能。
3D printing[編輯 | 編輯原始碼]
See also RepRap.
Slicers[編輯 | 編輯原始碼]
Slicers convert 3D models into a format supported by the 3D printer, usually this format is G-code.
- PrusaSlicer — Slicer by Prusa Research. A fork of Slic3r. Aimed at their printers but supports other brands as well. Open source.
- Cura — Slicer by Ultimaker. Aimed at their printers but supports other brands as well. Open source.
- SuperSlicer — Community maintained improved fork of PrusaSlicer. Not brand specific. Open source.
- BambuStudio — Slicer for printers from BambuLabs. Fork of PrusaSlicer. Open source.
- orca-slicer — Community maintained fork of BambuStudio (in turn forked from PrusaSlicer). Open Source.
- MatterControl — Simple 3D editor, slicer, and 3D printer control software by MatterHackers. Not brand specific. Open source.
- IdeaMaker — Slicer by Raise3D. Aimed at their printers but supports other brands as well. Closed source.
- Slic3r — One of the earliest slicers. Not used much any longer. Not brand specific. Open source.
- https://slic3r.org/ || slic3rAUR
- icesl — Modelling software with integrated slicer. Not brand specific. Closed source.
- https://icesl.loria.fr/ || iceslAUR
- FlashPrint — Slicer for the FlashForge 3D printers. Closed source.
Control software[編輯 | 編輯原始碼]
Software for controlling 3D printers, usually over a cable or wireless.
- OctoPrint — Web interface for FDM 3D printers using G-code. Open source.
- PrintRun — GUI control software for FDM 3D printers using G-code. Open source.
- Repetier-Host — Combined slicer and control software for 3D printers. Closed source.
Electronics[編輯 | 編輯原始碼]
See also Wikipedia:Comparison of EDA software.
Digital logic[編輯 | 編輯原始碼]
Digital logic software are mainly simple educational tools that intended for only designing and simulating logic circuits.
- Digital — Interactive simulator similiar to the discontinued Logisim. Features Karnaugh maps, logic tables, FSM editor, VHDL export and more, written in Java.
- GTKWave — Fully featured GTK-based wave viewer which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.
- Logisim — Educational digital logic design and simulation software, written in Java, officially its development has stopped.
- Logisim Evolution — Project which continue the development of the original Logisim with new features, written in Java.
- PulseView — Logic analyzer, oscilloscope and MSO GUI.
- SmartSim — Simple and beautiful digital logic circuit design and simulation software, mainly target teachers and students, very lightweight and cross platform, GPL licensed, written in Vala.
- WaveDrom editor — Timing diagram rendering in real-time from simple textual description. Can also be edited and embedded in the browser.
HDL[編輯 | 編輯原始碼]
Also see Wikipedia:Hardware description language.
- Gowin EDA Edu IDE — An IDE for Gowin's FGPA devices, including Sipeed Tang Nano and Sipeed Tang Nano 4K.
- Intel Quartus Prime — A set of design tools for Intel's FPGA devices that includes Quartus Prime, ModelSim-Intel, HLS Compiler, etc.
- Lattice Diamond — A set of design tools for Lattice's FPGA chips.
- Microsemi Libero — Development tools for designing with Microsemi's PolarFire, IGLOO2, SmartFusion2, RTG4, SmartFusion, IGLOO, ProASIC3 and Fusion families.
- https://www.microsemi.com/product-directory/design-resources/1750-libero-soc#overview || see Microsemi Libero
- Xilinx ISE WebPACK — FPGA programmable logic design suit.
- https://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.html || see Xilinx ISE WebPACK
- GHDL — Free and Open Source VHDL 2008/93/87 analyzer, compiler and simulator.
- OpenFPGAloader — Universal utility for programming FPGA. Try openfpgaloader-gitAUR if your board is not managed by the stable version.
- Verilator — A Verilog/SystemVerilog simulator, performs lint code-quality checks, compile to threaded C++ code for simulation.
- iverilog — Icarus Verilog compiler and simulation tool (slower but older than Verilator).
- VTR — Verilog to Routing, Open Source CAD Flow for FPGA ResearchVerilog to Route.
MCU IDE and programmers[編輯 | 編輯原始碼]
- Arduino — Arduino prototyping platform SDK.
- avrcalc — Calculator to speed development of Atmel AVRs.
- AVRDUDE — Download/upload/manipulate the ROM and EEPROM contents of AVR microcontrollers.
- stlink — Open source STM32 MCU programming toolset for ST microcontrollers.
- dfu-util — Device firmware update (DFU) USB programmer.
- SPIPGM — Tool for programming serial SPI FlashROM memories attached to PC via parallel port cable.
- esp-idf — Espressif IoT Development Framework. Official development framework for ESP32.
- platformio — Collaborative platform for embedded development, embedded development, with debugger, unit testing, code analysis. Default IDE is VSCode, but can be used by Atom, Eclipse, Emacs Qt Creator, Vim and several other IDE. Core CLI utils.
- sdcc — Small Device C Compiler, appropriate for various 8-bit microcontrollers and microprocessors including those made by or based on Intel MCS51, Maxim/Dallas, DS80C390, Freescale/Motorola HC08, Zilog Z80, Padauk, ST Microelectronics STM8, MOS 6502, and WDC 65C02. Suite contains compiler, assembler, linker, preprocessor, various simulators, debuggers, etc.
Electronic circuit simulation and schematic capture editing[編輯 | 編輯原始碼]
- easy_spice — Electronic circuit simulator. SPICE frontend, using gschem for schematics and ngspice as simulator.
- gnucap — GNU circuit simulator.
- http://gnucap.org || gnucapAUR
- gspiceui — GUI to various freely available Spice electronic ciruit simulators.
- http://users.tpg.com.au/micksw012/gspiceui.html[失效連結 2024-07-30 ⓘ] || gspiceuiAUR
- Oregano — Graphical software application for schematic capture and simulation of electrical circuits. The actual simulation is done by the ngspice or Gnucap engines.
- ngspice — The established Linux circuit simulator. Open source successor of the spice3f5 code. Has the most versatile user interface; supporting scripting within the circuit descriptions, use through an interpreter, as a C library, through tcl or various external wrappers (e.g., Python).
- Qucs — Electronics circuit simulator application that gives you the ability to set up a circuit with a graphical user interface and simulate its large-signal, small-signal and noise behaviour.
- qucs-s — Electronics circuit simulator that gives you the ability to set up a circuit with a GUI and simulate it. Fork of qucs that uses external, better, programs to do actual simulation.
- Xyce — SANDIA Xyce is an open source, SPICE-compatible, high-performance analog circuit simulator, capable of solving extremely large circuit problems by supporting large-scale parallel computing platforms.
Electronic design and schematic capture editing[編輯 | 編輯原始碼]
- asco — SPICE Circuit Optimizer.
- Fritzing — Easy to use program to draw good-looking circuit diagrams, and also create schematics and PCBs.
- gEDA — Full suite and toolkit of Electronic Design Automation tools that are used for electrical circuit design, schematic capture, simulation, prototyping, and production.
- gEDA PCB — Interactive printed circuit board editor.
- KiCad — Software suite for electronic design automation (EDA) that facilitates the design of schematics for electronic circuits and their conversion to PCB (printed circuit board).
- KTechLab — IDE for microcontrollers and electronic circuit simulation.
- QElectroTech — Application used to draw advanced electrical circuits.
Telecommunication[編輯 | 編輯原始碼]
- GNU Radio — Software development toolkit that provides signal processing blocks to implement software radios.
- Gqrx — Software defined radio receiver implemented using GNU Radio and the Qt GUI toolkit.
- https://gqrx.dk/ || gqrx包
- Pothos — The Pothos project is a complete data-flow framework for creating topologies of interconnected processing blocks.
- SDR# — The most popular SDR program.
- https://airspy.com/ || sdrsharpAUR
- SigDigger — Qt-based digital signal analyzer, using Suscan core and Sigutils DSP library.
Amateur radio[編輯 | 編輯原始碼]
See the main article: Amateur radio#Software.
See also Wikipedia:List of software-defined radios.
Simulation modeling[編輯 | 編輯原始碼]
- Flight Gear — Open-source, multi-platform atmospheric and orbital flight simulator with a flight dynamics engine (JSBSim) that is part of a 2015 NASA benchmark to judge new simulation code to space industry standards.
- gephi — Gephi is an open-source network analysis and visualization software package written in Java.
- golly — Golly is an open source, cross-platform application for exploring Conway's Game of Life and many other types of cellular automata.
- Netlogo — NetLogo is a multi-agent programmable modeling environment.
- AnyLogic — AnyLogic is a cross-platform proprietary multimethod simulation modeling tool, which is also available for personal use.
Computer science[編輯 | 編輯原始碼]
Architecture[編輯 | 編輯原始碼]
- edumips64 — Cross-platform educational MIPS64 CPU simulator.
- Qiskit Aer — A high performance simulator for quantum circuits that includes noise models.
- QtMips — MIPS CPU simulator for education purposes with pipeline and cache visualization.
- QtRvSim — RISC-V CPU simulator for education purposes.
- QtSpim — Qt port of one of the first educational MIPS CPU simulators. No longer maintained, but still used in some classrooms.
Artificial intelligence[編輯 | 編輯原始碼]
See also Wikipedia:Comparison of deep learning software.
- Fast Artificial Neural Network — Library for developing feedforward Artificial Neural Networks.
- Mycroft — Intelligent personal assistant and knowledge navigator with speech recognition.
- Orange — Data visualization, machine learning and data mining toolkit, accessible via visual programming and Python.
- Torch — Machine learning library, scientific computing framework, and script language based on LuaJIT.
- http://torch.ch/ || torch7-gitAUR
- Tensorflow — An end-to-end open source machine learning platform.
- https://www.tensorflow.org/ || python-tensorflow包, with non x86-64 CPU optimization python-tensorflow-opt包, with CUDA python-tensorflow-cuda包, with CUDA and with non x86-64 CPU optimizations python-tensorflow-opt-cuda包
- Prolog — Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
- PyTorch — An open source machine learning framework that accelerates the path from research prototyping to production deployment.
- https://pytorch.org/ || python-pytorch包, with CUDA python-pytorch-cuda包, with ROCm python-pytorch-rocm包
- Theano — Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently.
- X Neural Switcher — Automatic (intelligent) keyboard layout adaption.
- https://xneur.ru/ || xneur-devel-gitAUR, gxneurAUR
Distributed systems[編輯 | 編輯原始碼]
- SimGrid — A scientific instrument to study large-scale distributed systems.
- https://simgrid.org/ || simgridAUR
- Shadow — An open-source distributed system/network simulator/emulator hybrid (e.g. for Tor and Bitcoin).
Networking[編輯 | 編輯原始碼]
- CORE — Common Open Research Emulator.
- IMUNES — Integrated Multiprotocol Network Emulator/Simulator.
- http://imunes.net/ || imunesAUR
- GNS3 — Network software emulator using a combination of virtual and real devices to simulate complex networks.
- https://gns3.com/ || gns3-guiAUR (graphical user interface package), gns3-serverAUR (server package)
- ns-2 — Discrete event simulator targeted at networking research.
- ns-3 — Discrete-event network simulator for Internet systems.
- https://www.nsnam.org/ || ns3AUR
- OMNeT++ — Component-based simulation package designed for modeling communication networks.
- https://omnetpp.org/ || omnetppAUR
Photogrammetry[編輯 | 編輯原始碼]
See also Wikipedia:Comparison_of_photogrammetry_software.
- OpenMVS — A library for computer-vision scientists and especially targeted to the Multi-View Stereo reconstruction community.
- OpenMVG — OpenMVG provides an end-to-end 3D reconstruction from images framework compounded of libraries, binaries, and pipelines.
- AliceVision — Photogrammetric Computer Vision Framework