Search Results for "static code analysis"
Sort By:
Showing 30 open source projects for "static code analysis"
View related business solutions-
$300 in Free Credit for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Build AI Apps with Gemini 3 on Vertex AIVertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
-
1
CARLA Simulator
Open-source simulator for autonomous driving research.
CARLA has been developed from the ground up to support development, training, and validation of autonomous driving systems. In addition to open-source code and protocols, CARLA provides open digital assets (urban layouts, buildings, vehicles) that were created for this purpose and can be used freely. The simulation platform supports flexible specification of sensor suites, environmental conditions, full control of all static and dynamic actors, maps generation and much more. Multiple clients in the same or in different nodes can control different actors. ... -
2
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
...It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems -
3
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)... -
4
The application Bio7 is an integrated development environment for ecological modelling and contains powerful tools for model creation, scientific image analysis and statistical analysis. The application itself is based on an RCP-Eclipse-Environment (Rich-Client-Platform) which offers a huge flexibility in configuration and extensibility because of its plug-in structure and the possibility of customization.
-
Managed MySQL, PostgreSQL, and SQL Databases on Google CloudCloud SQL is a fully managed relational database for MySQL, PostgreSQL, and SQL Server. We handle patching, backups, replication, encryption, and failover—so you can focus on your app. Migrate from on-prem or other clouds with free Database Migration Service. IDC found customers achieved 246% ROI. New customers get $300 in credits plus a 30-day free trial.
-
5
Frame3DD
Static and Dynamic Structural Analysis of 2D and 3D frames.
FRAME3DD is a program for the static and dynamic structural analysis of two- and three-dimensional frames and trusses with elastic and geometric stiffness. -
6
GridLAB-D is a new power system simulation tool that provides valuable information to users who design and operate electric power transmission and distribution systems, and to utilities that wish to take advantage of the latest smart grid technology. It incorporates advanced modeling techniques with high-performance algorithms to deliver the latest in end-use load modeling technology integrated with three-phase unbalanced power flow, and retail market systems. Historically, the inability...
-
7
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
8
The Development System for Auditory Modelling (DSAM) is a computational library designed specifically for producing simulations of the auditory system. It brings together many established auditory models within a flexible programming platform.
-
9
Sensitizer
A toolset to automate STOP analysis with Zemax OpticStudio
SENSITIZER is an ESO software toolset written in Matlab and Mathematica aiming at automating some Structural/Thermal/Optical Performance (STOP) sensitivity analyses with Zemax OpticStudio (ZOS). The core code of SENSITIZER runs in MATLAB and drives ZOS in the background through the ZOS-API interface, based on .NET. The output is saved in the MATLAB file format and can be post-processed using MATLAB and/or Mathematica routines. The optical system to analyze is defined in a normal Zemax lens... -
Easily Host LLMs and Web Apps on Cloud RunRun frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.
-
10
JAS-mine
Toolkit for agent-based & dynamic microsimulation modelling
...In addition, the platform provides standard tools which are frequently used both in agent-based modelling and dynamic microsimulations, like design of experiments (DOE), run-time monitoring and visualization with plots and graphs (GUI), I/O communication and statistical analysis. JAS-mine source code can be found on GitHub, with the core repository at: https://github.com/jasmineRepo/JAS-mine-core and the GUI repository at: https://github.com/jasmineRepo/JAS-mine-gui -
11
The DREAM Toolbox
The DREAM toolbox is a free open source acoustic field simulation tool
The DREAM (Discrete REpresentation Array Modelling) toolbox is a free open source toolbox, for both Matlab and Octave , for simulating acoustic fields radiated from common ultrasonic transducer types and arbitrarily complicated ultrasonic transducers arrays. The DREAM toolbox enables analysis of beam-steering, beam-focusing, and apodization for wideband (pulse) excitation both in near and far fields. The code in the svn repository # svn co http://svn.code.sf.net/p/dreamtoolbox/code/trunk dream is not used actively anymore and is kept here for referecne only. The development code has moved to git on: https://github.com/frli8848/DREAM -
12
AcMus is a project on musical acoustics devoted to the development of models and computer tools for the study of room acoustics and focus on helping the investigation of issues related to the design, control and acoustic treatment of environments. AcMus has not been maintained for a few years now, but the code may still be useful. We consider the current repository to be at https://gitlab.com/ccsl-usp/acmus .
-
13
This site hosts the source code for C++ version of the Broker for SBW, NOM module, advanced simulation suite, analysis applications and model editors.
-
14
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. ... -
15
MF-OWHM | MODFLOW OWHM
Simulation, analysis, and management of the movement of water
This page is kept for those that want to use the legacy v1 version. For current download, source, and information please go to: https://code.usgs.gov/modflow/mf-owhm ----------------------------------------------------------------------------------------------------------- The One-Water Hydrologic Flow Model (MODFLOW-OWHM, One-Water) is an integrated hydrologic flow (IHM) model that is an enhanced fusion of multiple MODFLOW (MF) versions. While maintaining compatibility with... -
16
NiCE
Modeling and Simulation made NiCE!
Notice! This project is now the Eclipse Integrated Computational Environment (ICE)! The new project page is www.eclipse.org/ice and the updated source code is at www.github.com/eclipse/ice . Contact: billingsjj <at> ornl . gov The NEAMS Integrated Computational Environment (NiCE) facilitates the flexible development, composition and use of a wide range of simulations, models and analysis tools for NEAMS integrated performance and safety codes. -
17
Voxel CAD. Open source voxel editing and analyzing software. Edit and create multi-material voxel objects. Simulate the dynamics in a quantitative physics sandbox to test engineering designs or make moving creatures. www.voxcad.com for videos.
-
18
PAMELA Schrodinger-Poisson Code
self-consistent schrodinger-poisson code for core-shell nanowires
PAMELA (Pseudospectral Analysis Method with Exchange & Local Approximations) is a self-contained suite of MATLAB codes that can calculate electronic energies, densities, wavefunctions, and band-bending diagrams within a self-consistent Schrödinger-Poisson formalism. -
19
ox_black_rhino
black_rhino is a multi-agent simulator for financial network analysis
This is the outdated code of black_rhino. The new version is maintained and hosted on github. Please see https://github.com/cogeorg/black_rhino -
20
The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.
-
21
MICROMECHANICS
A collection of lecture notes and accompanying code on micromechanics
The collection MICROMECHANICS (micromechanics.zip) includes: (1) lecture notes (microbook.pdf) on the analysis of heterogeneous materials and homogenization, and (2) source codes (microcode.tar.bz2) that accompany the computational exercises in Part II of the notes. Instructions on using the codes are given in the README file of each exercise. Further instructions can be found in the file microcode.tar.bz2. The MATLAB codes are used for visualization, evaluating analytical bounds... -
22
Zwicker s Loudness Calculation SW +Tool
Zwicker's Loudness Calculation (ISO532B) Tools
Zwicker's Loudness Calculation (ISO532B) Tools. The project includes a loudness calculation program based on Zwicker's Method, and a WAV file analyzer generating data files for loudness calculation. Documentation and test files are also provided. -
23
Headrand is a static library wrote in c that contains functions to simulate complex systems or make statistical analysis with a new approach called "random function computing"
-
24
An interactive binary search tree. The user may interact with the tree by performing rotations, balancing, insertions, and deletions. For educational purposes
-
25
aLice - ALice is likely the most Inefficient Code Ever written for boundary elements It is a c++ multi-platform code (tested on MAC-OS X 10.5, Win32, Ubuntu linux 9.04) for BEM analysis of steady and time dependent problems (in progress)
