Search Results for "static code analysis"
Sort By:
Showing 20 open source projects for "static code analysis"
View related business solutions-
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.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
1
dlib
Toolkit for making machine learning and data analysis applications
Dlib is a modern C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems. It is used in both industry and academia in a wide range of domains including robotics, embedded devices, mobile phones, and large high performance computing environments. Dlib's open source licensing allows you to use it in any application, free of charge. Good unit test coverage, the ratio of unit test lines of code to library lines of code is... -
2
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. -
3
CT4AM
Tools for 3D image analysis of additively manufactured parts
...You can either execute these tools directly or use their source codes to develop your own application for toolpath analysis or correlation. -
4
DocWire SDK
Award-winning modern data processing SDK in C++20
DocWire SDK, a standout C++20AI driven data processing tool, has received award from SourceForge and strong backing from Microsoft. It handles nearly 100 file types, empowering efficient text extraction, web data extraction, and document analysis. For businesses, the shift to DocWire SDK signifies a leap forward. It promises comprehensive document format support and the ability to extract valuable insights from email boxes, databases, and websites using cutting-edge AI. DocWire SDK aims to... -
$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.
-
5
GXSM
Scanning Probe Microscopy Controller and Data Visualization Software
GXSM -- Gnome X Scanning Microscopy: A multi-channel image and vector-probe data acquisition and visualization system designed for SPM techniques (STM,AFM..), but also SPA-LEED/LEED/LEEM data analysis. A plug-in interface allows any user add-on data-processing and special hardware and instrument support. Latest: NC-AFM and related explorative methods as SQDM can be configured. High-Speed external PAC-PLL hardware option with digital DSP link. Based on several hardware options it supports a commercially available DSP hardware and provided also Open Source Code for all the low level signal processing tasks and instrument controls in a most flexible and adaptable manner. ... -
6
AOFlagger
RFI detector and quality analysis for astronomical radio observations
The AOFlagger is a tool that can find and remove radio-frequency interference (RFI) in radio astronomical observations. The code has been highly optimized for speed and accuracy. It is used by default for the LOFAR radio telescope and thus is in productional stage. The software can run in a fully automated way, but a graphical interface is provided to analyse results and tweak the strategy. The preferred input file format is the Casa Measurement Set (MS) format. I believe that the... -
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
qlogtimeliner
Your application log analysis tool.
This tool helps with analysis multithreaded logs by visualising log events on a timeline. It is user responsibility to create rules for log parsing in actionscript (like JavaScript) You need to have latest Qt sdk installed in order to build it from source code. -
9
This site hosts the source code for C++ version of the Broker for SBW, NOM module, advanced simulation suite, analysis applications and model editors.
-
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
ParTools
Support for manual parallelization of sequential C programs.
ParTools allows the interactive analysis of a C program execution profile and data dependencies to facilitate the discovery and selection of suitable parallelization candidates in a manual parallelization process. The flow does not assume any specific parallelization technique, thus it can be broadly applied. The original (serial) C source is automatically annotated to trace the execution profile and data dependencies at run-time. The annotated program is then executed using a... -
11
MICA-aligner
Next-generation sequencing short reads aligner based on Intel® MIC
Latest Code in GitHub: https://github.com/aquaskyline/MICA-aligner To better utilize MIC-enabled computers for NGS data analysis, we developed a new short-read aligner MICA that is optimized in view of MIC’s limitation and the extra parallelism inside each MIC core. Experiments on aligning 150bp paired-end reads show that MICA using one MIC board is ~4.85 times faster than the CPU-(multi-core)-based BWA-MEM and about the same speed as the GPU-based SOAP3-dp. -
12
A collection of code, bundled into a single R package, to perform several aspects of data management, image pre-processing, data analysis and statistical inference related to the quantitative analysis of dynamic contrast-enhanced MRI (DCE-MRI).
-
13
KMeansAniX
Animation of kmeans clustering using X Window System
Open source animation of kmeans clustering in X Window System using the C++ libplotter library. Supports Linux, Mac, and BSD. Includes common initialization methods such as Forgy, Macqueen, random, and angular. Sample videos are available through the Files Tab above. The SVN repo is accessible thorugh the Code Tab above. Requires a C++ compiler, libplot-dev, and libncurses5-dev Mac alternative to libplot-dev: macports plotutils +x11 -
14
SFrame is a C++ framework built around the ROOT libraries for analysing particle physics data. It gives a very high performance for processing data, by allowing the user to run his/her code on a distributed farm of machines.
-
15
Xross Tab / QScript
Market Research Data Processing Suite
XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up... -
16
CoFlo
C and C++ control flow graph generator and analyzer
CoFlo generates Control-Flow Graphs from C and C++ source code. It can then output the graphs in a number of ways and perform various control flow analyses. NOTE: CoFlo has not been under active development for several years. At this time, I suggest you look into LLVM-based tooling to see if there is anything similar to CoFlo which will meet your needs. -
17
QuickFlash is a C++-based analysis library for data files generated by the Flash hydrodynamics code. It provides high-performance access to large datasets in low memory situations and other restrictive environments.
-
18
Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.
-
19
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
-
20
FMesh
NOTE: Use Fltk_Contour insted this code!
NOTE: Use Fltk_Contour insted this code! FMesh is a simply scientific data visualization tool based on OpenGL. FMesh can generate 2D and 3D graph of contour and color maps for any (x,y,z) scattered data set, many other options are included.
- Previous
- You're on page 1
- Next
