List of applications (Português)/Science (Português)
- bc — Arbitrary precision calculator language.
- calc — Arbitrary precision console calculator.
- clac — Command-line, stack-based calculator with postfix notation.
- Deepin Calculator — Easy to use calculator for Deepin desktop.
- Extcalc — Qt-based scientific graphical calculator.
- FOX Calculator — Simple desktop calculator.
- galculator — GTK-based scientific calculator.
- http://galculator.mnim.org/ || GTK 3: , GTK 2:
- Genius — Advanced calculator including a mathematical programming language.
- GNOME Calculator — Scientific calculator included in the GNOME desktop.
- https://www.kde.org/applications/education/kalgebra/[link inativo 2021-05-17 ⓘ] ||
- KCalc — Scientific calculator included in the KDE desktop.
- Liri Calculator — Calculator for Liri.
- MATE Calc — Calculator for the MATE desktop environment.
- Qalculate! — Calculator and equation solver with fault-tolerant parsing, constant recognition and units.
- SpeedCrunch — Fast, high precision and powerful cross-platform calculator.
- xcalc — Scientific calculator for X with algebraic and reverse polish notation modes.
Sistema computacional de algebra
- AXIOM — FriCAS: derivative of the powerful AXIOM-CAS
- GAP — Computer algebra system for computational discrete algebra with particular emphasis on computational group theory.
- Maple — Famous commercial CAS. Often used in education.
- Mathics — A free CAS for symbolic mathematical computations which uses Python as its main language. It aims at achieving a Mathematica-compatible syntax and functions. It relies mostly on Sympy for most mathematical tasks and, optionally, Sage for more advanced functionality.
- https://mathics.org/ || AUR
- Mathomatic — General purpose Computer Algebra System written in C.
- PARI/GP — Computer algebra system designed for fast computations in number theory.
- Singular — Computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
- wxMaxima — Graphical user interface for Maxima being a powerful computer algebra system.
- Xcas — User interface to Giac, a free, basic computer algebra system.
- https://www-fourier.ujf-grenoble.fr/~parisse/giac.html || [link quebrado: replaced by ]
Computação científica ou técnica
- Cantor — Application that lets you use your favorite mathematical applications from within a nice KDE-integrated Worksheet Interface. Part of [link quebrado: package not found].
- EngLab — Cross-compile mathematical platform with a C like syntax.
- http://englab.bugfest.net || AUR
- FFTW — A Fast Fourier Transform library for computing discrete Fourier transforms. Used for a wide variety of numerical applications, which includes spectral methods.
- https://www.fftw.org/ || AUR AUR
- FreeMat — Matlab-like program that supports many of its functions and features a codeless interface to external C, C++, and Fortran code, further parallel distributed algorithm development (via MPI), and 3D visualization capabilities.
- GeoGebra — Dynamic mathematics software with interactive graphics, algebra and spreadsheet
- Julia — High-level, high-performance dynamic language for technical computing.
- matplotlib (PyLab) — Collection of Python modules (pyplot, numpy, etc.) used for scientific calculations.
- SageMath — Mathematics software system, that combines many existing open-source packages into a common Python interface. Alternative to Magma, Maple, Mathematica and Matlab.
- Scilab — Matlab alternative used for numerical computations. Its syntax is not equivalent to that of Matlab, but it can be easily converted.
- https://www.scilab.org/ || AUR, AUR, AUR
- JAGS (Just another Gibbs sampler) — Cross-platform program for analysis of Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC) simulation.
- jamovi — Statistics package, which is easy to use, and designed to be familiar to users of SPSS. Based on the Electron platform.
- https://www.jamovi.org/ || AUR
- Python Data Analysis Library (pandas) — Providing high-performance, easy-to-use data structures and data analysis tools with Python programming language.
- PSPP — Free SPSS implementation.
- R — Software environment for statistical computing and graphics.
- RKWard — Frontend for the statistical language R.
- RStudio — A powerful and productive IDE for R written in Qt.
- https://www.rstudio.com/ || AUR
Análise e plotagem de dados
- Engauge Digitizer — Extracts data points from images of graphs.
- Fityk — Curve fitting and data analysis application, predominantly used to fit analytical, bell-shaped functions to experimental data.
- https://fityk.nieto.pl/ || AUR
- Gnuplot — Command-line program that can generate 2D and 3D plots of functions, data, and data fits.
- Grace — WYSIWYG 2D graph plotting tool.
- https://plasma-gate.weizmann.ac.il/Grace/ || AUR AUR AUR
- KmPlot — Program to draw graphs, their integrals or derivatives. Part of [link quebrado: package not found].
- LabPlot — Free software data analysis and visualization application, similar to SciDAVis.
- Rocs — Graph Theory IDE for everybody interested in designing and analyzing graph algorithms (e.g., lecturers, students, researchers). Part of link quebrado: package not found]. [
- ROOT — Data analysis program and library (originally for particle physics) developed by CERN.
- SciDAVis — Fork of QtiPlot with the goal of being better documented and more user friendly.
Assistentes de prova
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: , GUI:
- 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.
- Code_Aster — Software package for Civil and Structural Engineering finite element analysis and numeric simulation in structural mechanics.
- EPANET — EPANET performs extended period simulation of the water movement and quality behavior within pressurized pipe networks.
- https://www.epa.gov/ || AUR
- 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.
- https://www.epa.gov/ || AUR
Conversão de unidade
- 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.
- Gonvert — Conversion utility that allows conversion between many units like CGS, Ancient, Imperial with many categories like length, mass, numbers, etc.
- 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.
- Avogadro — Editor, viewer and simulator for 3D molecule structures (also supports downloading files from the Protein Data Bank).
- https://avogadro.cc/ || AUR
- BALLView — Standalone molecular modeling and visualization application, part of the BALL framework.
- https://ball-project.org/ || AUR
- 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.
- VMD — VMD is a molecular visualization program for displaying, animating, and analyzing large biomolecular systems using 3-D graphics and built-in scripting.
- BKChem — Practical and goodlooking skeletal formula molecule drawing program.
- Chemtool — GTK-based program for drawing chemical structural formulas.
- EasyChem — Simple skeletal formula molecule drawing program with a focus on producing press-quality figures.
- Gabedit — Graphical user interface to computational chemistry packages like GAMESS, Gaussian, MOLCAS, MOLPRO, MPQC, OpenMopac, Firefly (previously PC GAMESS) and Q-Chem.
- APBS — Electrostatic and solvation properties for complex molecules.
- CP2K — A quantum chemistry and solid state physics software package.
- https://www.cp2k.org/ || AUR
- 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.
- https://www.gromacs.org || AUR
- 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.
- NAMD — NAMD is a parallel molecular dynamics code designed for high-performance simulation of large biomolecular systems.
- ORCA — ORCA is an ab initio, DFT, and semi-empirical SCF-MO package.
- PDB2PQR — Electrostatic and solvation properties for complex molecules.
- PMEMD — PMEMD module of AMBER software package.
- 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).
- smina — Smina is a fork of Autodock Vina that focuses on improving scoring and minimization.
- 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 link quebrado: package not found]. [
Ciência da Terra
- BT747 — The swiss army knife for MTK GPS dataloggers.
- FoxtrotGPS — Lightweight and fast mapping application.
- https://www.foxtrotgps.org/ || AUR
- Gebabbel — Alternative GUI for GPSBabel.
- Geotag — Match date/time information from photos with location information from a GPS unit or from a map.
- GNOME Maps — A simple map client for GNOME. Part of .
- GottenGeography — Easy to use photo geotagging application for the GNOME desktop.
- Gpredict — Real-time satellite tracking and orbit prediction application.
- http://gpredict.oz9aec.net/ || AUR
- GPSBabel — Reads, writes, and manipulates GPS waypoints, tracks, routes in a variety of formats.
- GPSCorrelate — Correlate (geotagging) digital camera photos with GPS data in GPX format.
- 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 — View, edit and convert coordinate data from GPS systems.
- GPXSee — GPS log file viewer and analyzer.
- GPX Viewer — Simple tool to visualize tracks and waypoints stored in a gpx file.
- GRASS GIS — Geospatial data management and analysis, image processing, graphics/maps production, spatial modeling and visualization.
- https://grass.osgeo.org/ || AUR
- gvSIG — vSIG is a geographic information system (GIS), that is, a desktop application designed for capturing, storing, handling, analyzing and deploying any kind of referenced geographic information in order to solve complex management and planning problems.
- http://www.gvsig.com/en || AUR
- JOSM — Main editor for OpenStreetMap written in Java.
- Mapton — Extensible desktop map and globe application written in Java.
- https://mapton.org/ || AUR
- Marble — Virtual Globe and World Atlas that can be used to learn more about the Earth. Part of [link quebrado: package not found].
- https://marble.kde.org/ || KDE: , Qt:
- Merkaartor — OpenStreetMap editor.
- Navit — Modular turn-by-turn car navigation system.
- OffRoad — Offline vector map display ported from OsmAnd.
- OpenOrienteering Mapper — Orienteering mapmaking program.
- QMapShack — Plan your next outdoor trip.
- QGIS — Geographic Information System (GIS) that supports vector, raster & database formats.
- 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.
- Gis Weather — Customizable weather forecast desktop widget.
- GNOME Weather — Small application for GNOME that allows you to monitor the current weather conditions for your city, or anywhere in the world, and to access updated forecasts provided by various internet services.
- meteo-qt — System tray application for weather status information.
- wttr — A simple console application to check the weather, using data from https://wttr.in
- Xfce Weather Panel Plugin — Weather forecast plugin for the Xfce4 panel.
- wego-darksky — A fork of the terminal weather app wego with Dark Sky support.
- 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.
- https://www.astropy.org/ || AUR
- 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.
- GIMP Astronomy Plugins — Set of GIMP plugins for astronomical image processing.
- GoQat — Camera acquisition software, especially for QSI cameras, that provides other features such as autoguiding, focusing help and others.
- 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.
- Qastrocam-g2 — Webcam acquisition software for planetary imaging.
- 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/ || AUR
- Stellarium — Beautiful 3D planetarium that uses OpenGL to render a realistic sky in real time.
- Where Is M13 — Application to visualize the locations and physical properties of deep sky objects.
- XEphem — Motif-based ephemeris and planetarium program.
- Gramps — Genealogy program, which helps you track your family tree.
Biologia computacional e bioinformática
- BALL (Biochemical Algorithms Library) — Application framework in C++ that provides an extensive set of data structures as well as classes for molecular mechanics, advanced solvation methods, comparison and analysis of protein structures, file import/export, and visualization.
- https://ball-project.org/ || AUR
- BioJava — Set of Java tools for computational biology, as well as bioinformatics.
- https://biojava.org/ || AUR
- 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.
- MEGA (Molecular Evolutionary Genetics Analysis) — Integrated tool for conducting automatic and manual sequence alignment, inferring phylogenetic trees, mining web-based databases, estimating rates of molecular evolution, inferring ancestral sequences, and testing evolutionary hypotheses.
- 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.
- https://www.snapgene.com/ || AUR
- UGENE — Application that integrates dozens of well-known biological tools and algorithms, providing both graphical user and command-line interfaces.
- https://ugene.net/ || AUR
- Bioclipse — Java-based visual platform for biochemistry that uses the Eclipse Rich Client Platform (RCP).
Manipulação de imagem
- 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/ || AUR
- Fiji — ImageJ distribution (and soon ImageJ2) with a lot of plugins organized into a coherent menu structure.
- https://fiji.sc || AUR
Visualizadores de DICOM e renderização de volume
- 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
- Ginkgo CADx — Advanced DICOM viewer and dicomizer. Continuation of the now abandoned free version developed by MetaEmotion
- 3DSlicer — Comprehensive MRI, CT, LSCM microscopy volume processing, segmentation and 3D-reconstruction
- https://www.slicer.org/ || AUR
Projeto assistido por computador
- BRL-CAD — Constructive solid geometry (CSG) solid modeling computer-aided design (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/ || AUR
- FreeCAD — CAD/CAE program, based on OpenCascade, Qt and Python with features such as macro recording, workbenches and the ability to run as server.
- LeoCAD — CAD program for creating virtual LEGO models. It has an easy to use interface and currently includes over 6000 different pieces created by the LDraw community.
- LibreCAD — Powerful 2D CAD application based on Qt. It has been forked from QCad Community Edition.
- OpenSCAD — Open source 2D/3D CAD using programmers approach.
- QCAD — Powerful 2D CAD application that began in 1999. QCaD includes DFX standard file format and supports HPGL format.
See also Wikipedia:Comparison of EDA software.
Digital logic software are mainly simple educational tools that intended for only designing and simulating logic circuits.
- glogic — An educational graphical logic circuit simulator, written in Python.
- https://launchpad.net/glogic || AUR
- 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.
- https://smartsim.org.uk || AUR
Also see Wikipedia:Hardware description language.
- Altera Design Software — A set of design tools for Altera's FPGA chips that includes Quartus II and ModelSim-Altera.
- Lattice Diamond — A set of design tools for Lattice's FPGA chips.
- https://www.latticesemi.com || AUR
- 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
Programadores e IDE de MCU
- 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.
- SPIPGM — Tool for programming serial SPI FlashROM memories attached to PC via parallel port cable.
Simulação de circuitos eletrônicos e edição de captura esquemática
- easy_spice — Electronic circuit simulator. SPICE frontend, using gschem for schematics and ngspice as simulator.
- eispice — clone of the Berkley SPICE 3 Simulation Engine. It was originally targeted toward PCB level Signal Integrity Simulation; simulating IBIS model defined devices, transmission lines, and passive termination but the scope of the tool has been slowly expanding to include more general purpose circuit simulation features. Python interface.
- gnucap — GNU circuit simulator.
- http://gnucap.org || AUR
- gspiceui — GUI to various freely available Spice electronic ciruit simulators.
- JSpice — Java SPICE-inspired analog circuit simulator with an emphasis on simulating memristors and analog circuits containing memristors. Not to be confused with some other simulators also called JSPICE (there is a FORTRAN JSPICE, for example).
- 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.
- http://qucs.sourceforge.net || AUR
- 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.
- https://ra3xdh.github.io/ || AUR
- SPICE Opus — General purpose circuit simulator specially suited for optimization loops.
- 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.
Projeto eletrônico e edição de captura esquemática
- asco — SPICE Circuit Optimizer.
- http://asco.sourceforge.net || AUR
- 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).
- QElectroTech — Application used to draw advanced electrical circuits.
- https://qelectrotech.org/ || AUR
- SignalIntegrity — Software for signal and power integrity, performs certain important applications and tasks encountered in signal integrity: s-parameter generation, linear simulation, virtual probing, deembedding s-parameters, and RLGC fit of two-port transmission line models to a two-port system.
- CupCarbon — A Smart City & IoT Wireless Sensor Network Simulator.
- 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.
- Pothos — The Pothos project is a complete data-flow framework for creating topologies of interconnected processing blocks.
- https://github.com/pothosware/PothosCore/wiki || AUR, AUR
- SDR# — The most popular SDR program.
- https://airspy.com/ || AUR
- SigDigger — Qt-based digital signal analyzer, using Suscan core and Sigutils DSP library.
See the main article: Amateur radio#Software list.
Modelagem de simulação
- 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.
- https://www.anylogic.com/ || AUR, AUR, AUR
Ciência da computação
- Fast Artificial Neural Network — Library for developing feedforward Artificial Neural Networks.
- http://leenissen.dk/fann/wp/ || AUR
- Mycroft — Intelligent personal assistant and knowledge navigator with speech recognition.
- https://mycroft.ai/ || AUR
- Orange — Data visualization, machine learning and data mining toolkit, accessible via visual programming and Python.
- https://orange.biolab.si/ || AUR
- Torch — Machine learning library, scientific computing framework, and script language based on LuaJIT.
- http://torch.ch/ || AUR
- X Neural Switcher — Automatic (intelligent) keyboard layout adaption.
- Tensorflow — An end-to-end open source machine learning platform.
- https://www.tensorflow.org/ || , with non x86-64 CPU optimization , with CUDA , with CUDA and with non x86-64 CPU optimizations
- PyTorch — An open source machine learning framework that accelerates the path from research prototyping to production deployment.
- https://pytorch.org/ || , with non x86-64 CPU optimization , with CUDA , with CUDA and with non x86-64 CPU optimizations
- Theano — Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently.