Search Results for "running cppcheck on linux" - Page 2
Sort By:
Showing 224 open source projects for "running cppcheck on linux"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
mySQM+ DIY SQM WEATHER STATION
ESP32 mySQM+ Sky-Meter/Weather Station with loads of features
mySQM+ Sky Quality Meter/Weather Station (c) R Brown, 2020-2025, All rights reserved. Permission is granted for personal and Academic use only. Code or portions of code may not be copied or used without appropriate credit given to author(s). EXPANSION BOARDS - You can expand this project using the two types of project expansion boards at https://sourceforge.net/projects/myesp-boards/ -
2
IntervalRpnCalculator
An HP RPN calculator with interval output
This terminal app runs on PCs or laptops running OSX or GNU/Linux. It attempts to mimic the functionality of an HP ReversePolishNotation [RPN] calculator with the added enhancement of interval output. So along with your answer, you get a good idea of its trustworthiness. This app uses GAOL, a C++ library to perform arithmetic with floating-point intervals. -
3
Open source SCADA running on Windows and Linux/WINE. Development environment ANSI C/C++98. HMI is based on Qt library. Different technologies (EiC, GigaBASE, FastDB, ORTE) have been integrated. Supported drivers: OPC DA 2.05a, AE 1.10, HDA 1.20, XML DA 1.0, OPC UA 1.03, DNP 3.0, Modbus TCP/RTU, MQTT 3.1.1/Sparkplug B, IEC 60870-5-101/103/104, IEC 62056 DLMS/COSEM, IEC 61850, M-BUS, SNMP, Ethernet/IP, FINS/TCP.
-
4
Uranie
Uranie is CEA's uncertainty analysis platform, based on ROOT
Uranie is a sensitivity and uncertainty analysis plateform based on the ROOT framework (http://root.cern.ch) . It is developed at CEA, the French Atomic Energy Commission (http://www.cea.fr). It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc. Thanks to ROOT, it is easily scriptable in CINT (c++ like syntax) and Python. Is is... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
multinotes
Text architecture for music theory.
The text structures of notes and publications in music theory and musical analysis bring challenging requirements: how to include music notation excerpts, graphics, and even combinations thereof, into the typeset flow of paragraphs and into the work-flow, and how to integrate navigable references to these and to single domain entities into running text. Furthermore, dynamic interactive documents can be useful for presenting complicated interdependencies to the reader more clearly, far... -
6
GromacsProSuite
Graphical User Interface for Gromacs
This tool is an integrated graphical interface that simplifies molecular dynamics simulations using Gromacs. It provides a structured, tab-based environment to set up, execute, and analyze simulations data without complex command-line operations. The software automates tasks such as topology generation, solvation, ion addition, minimization, equilibration, and production runs while executing GROMACS commands in the background. Built-in monitoring tracks CPU, RAM, and disk usage to ensure... -
7
SaVi satellite constellation visualizer
Earth orbits and satellite coverage display in 3D on your laptop.
SaVi - simulate Starlink, Iridium, Globalstar, O3b, GPS, Galileo and other satellite constellations, modify them, or design your own. Requires Tcl/Tk and Unix libraries; 3D viewing option requires Geomview running on X Window. -
8
p3d
General data-reduction tool for fiber-fed integral-field spectrographs
p3d is a general data-reduction tool for use with fiber-fed integral-field spectrographs (IFSs); although, the spectrum viewer works with spectrum data cubes of any origin. The tool is built about the proprietary software IDL (Harris/EXELIS; see http://www.harrisgeospatial.com), but can be used without any license. Most slowly running loops are implemented in parallelized C (OpenMP). -
9
NZMATH
Python Calculator on Number Theory, three-birds-one learning material
NZMATH is a Python calculator on number theory. It is freely available and distributed under the BSD license. All programs are written only by Python so that you can easily see their algorithmic number theory. You can get NZMATH with a single command: % python -m pip install -U nzmath Here % is the command line prompt of Windows or Unix/macOS. This release contains several program corrections and additions obtained by writing a programming "notebook" of the book 'Lectures on... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
SPELL
Satellite Procedure Execution Language and Library
SPELL is a framework composed of an integrated environment for the development and execution of satellite automated procedures. It is capable of running any procedure via different Ground Control System and for any spacecraft. The goal of SPELL is to have a powerful and readable automation language, which can be shared across Satellite Operators and Satellite Manufacturers. If we all use the same language, the cost and the risk associated with automated procedures will go down! SPELL... -
11
proex gpr control
Mala ProEx and Easy Locator GPR control software
Reverse engineered communication protocol for the Mala ProEx and Easy Locator GPR implemented as a CLI & GUI running on unix systems. The communication protocol was ported to a graphical user interface applicable to embedded systems through the use of the Qt toolkit (tested on Armadeus Systems APF27 board). The GUI includes GPS datalogging capability assuming a receiver providing NMEA sentences at 4800 bauds is connected to the host computer. Because the software requires access to the raw... -
12
SAGECAL
GPU/MIC accelerated radio interferometric calibration program
SAGECal is a very fast, memory efficient and GPU accelerated radio interferometric calibration program. It can handle all source models including points, Gaussians and Shapelets. It can calibrate along hundreds of directions without running out of memory in almost real time. Intel Xeon Phi acceleration is also available. Distributed calibration using MPI and consensus optimization is enabled. Also tools to build/restore sky models are included. -
13
Popppy
Population Propogation in Python. Simulate births, marriages, deaths
...The tool could also be useful and fun for a student, for anyone curious about near-future demographics or CO2 emissions, or curious amateurs. Since it's Open Source (<2000 lines of Python code) you can make your own changes. It runs from the command line and should run on any (MS WIndows, Linux/Unix/Mac OSX) platform running Python 3. A non-Python MS Windows pre-compiled Popppy executable/binary is included for those who just want to run it without having the bother of installing Python 3.x or not wanting to change the source code. -
14
Zgoubi is a raytracing code. Since 1972 it pushes charged particles through accelerators and beam lines, by stepwise solution of Lorentz force equation - and their spins via Thomas-BMT differential equation. Zgoubi simulates beam dynamics and polarization in a variety of accelerators (storage ring, synchrotron, cyclotron, betatron, microtron, FFAG, multi-pass ERL, etc) and optical systems (beam lines, magnetic and electrostatic optical components, time-of-flight and mass...
-
15
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
16
SimpleDCS is a Distributed Control System made easy - fully configurable both on hardware and a software level. Experimental stage (alpha)
-
17
SOLIDWORKS for Linux
This is a project, where I give you a way to use SOLIDWORKS on Linux
SOLIDWORKS-for-Linux is a user-contributed script and environment setup project that enables running SOLIDWORKS, the professional 3D CAD software, on Linux via Wine and custom configurations. Since SOLIDWORKS is officially only available for Windows, this project offers a comprehensive solution including setup scripts, dependencies, and workarounds to help engineers, designers, and students use it on Linux-based systems. -
18
FastQC
A quality control analysis tool for high throughput sequencing data
FastQC is a quality control analysis tool designed to spot potential problems in high throughput sequencing datasets. Its goal is to provide a simple way by which to check the quality of raw sequence data coming from high throughput sequencing pipelines. It does this by running a modular set of analyses on one or more raw sequence files in fastq or bam format. It then produces a report summarizing the results, and highlighting any areas where the library may appear unusual. This should then... -
19
Tiny Multi Bootloader+
Serial Bootloader for Microchip, Atmel, NXP, TI, 8051 microcontrolers
What is it? It's a Bootloader for Microchip, Atmel, NXP, TI and 8051 devices. A Bootloader is a firmware running in the microcontroler device which allows the user to send it's own firmware without the need of a programmer. This Bootloader consists of: - firmwares for many devices (this firmware need to be send to the device's flash memory with a programmer, only once) - a PC software which communicates with the bootloader firmware in the device and send the user's program in its... -
20
ECTk
ECTk - The electrochemical tool kit
...ECTk communicates via any analogue IO board supported by the comedi library. This offers a great flexibility as a large number of IO boards are supported by comedi. ECTk is running under Linux and was developed under Linux Ubuntu. ECTk was developed with the aim to conduct experiments in electrochemistry with a great flexibility. In particular, ECTk can be extended to satisfy the needs for a particular application. It is for example possible to drive, besides a potensiostat, simultaneously other instruments like a rotating electrode set-up. -
21
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
This is a Dynamic C port of the BACnet stack at http://sourceforge.net/projects/bacnet. This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
22
OpenSourceMetaverse Editor
a simple virtual world editor
OSME allows building virtual worlds in a single web app page form. Try selecting a built-in template to demonstrate sample virtual worlds. (e.g. Form: "Trip Visit Plan - May 2022".) Project the virtual world onto the map. (e.g. Form: Click the button for the instruction to take effect) Test one of the virtual objects marked on the map. (e.g. Map: Select a marked location like "Statue of Liberty") Explore the virtual surrounding in the 360 degrees panorama. (e.g. 3D: Navigate scene in... -
23
Physics Simulation Software based on user sketchs running a pattern recognition agent, this app is able to animate a physics sketch, from a blackboard
-
24
Qbsolv
A decomposing solver
Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical tabu solver. (Note that qbsolv by default uses its internal classical solver. Access to a D-Wave system must be arranged separately.) -
25
MuJoCo-py
mujoco-py allows using MuJoCo from Python 3
...It allows developers and researchers to run detailed rigid body simulations with contacts directly from Python, making MuJoCo easier to integrate into machine learning workflows. The library is compatible with MuJoCo version 2.1 and supports Linux and macOS, while Windows support has been deprecated. It provides utilities for loading models, running simulations, and accessing simulation states in real time, along with visualization tools for rendering environments. The project also includes interactive examples showcasing collision handling, texture randomization, state resetting, and robot control. ...
