Search Results for "hpc code analysis" - Page 23
Sort By:
Showing 1315 open source projects for "hpc code analysis"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
xfemm
Cross platform electromagnetics finite element analyisis based on FEMM
Cross platform electromagnetics finite element analysis code, with very tight integration with Matlab/Octave. Development of xfemm now takes place on Github here: https://github.com/REOptimize-Systems/xfemm xfemm is a refactoring of the core algorithms of the popular Windows-only FEMM (Finite Element Method Magnetics, www.femm.info) to use only the standard template library and therefore be cross-platform. -
2
unfetch
Bare minimum 500b fetch polyfill
Tiny 500b fetch "barely-polyfill". With a module bundler like rollup or webpack, you can import unfetch to use in your code without modifying any globals. While one of Unfetch's goals is to provide a familiar interface, its API may differ from other fetch polyfills/ponyfills. One of the key differences is that Unfetch focuses on implementing the fetch() API, while offering minimal (yet functional) support to the other sections of the Fetch spec, like the Headers class or the Response class.... -
3
NLIGA
Open source Matlab code for nonlinear isogeometric analysis
A unified framework, NLIGA (Non-Linear Isogeometric Analysis), is developed for mainly solving two and three-dimensional nonlinear problems on the MATLAB platform by using isogeometric analysis (IGA). Nonlinear hyperelastic and elastoplastic materials are primarily considered at this stage. Newton-Raphson method is used to solve the nonlinear governing equations. A series of benchmark examples are performed to validate the procedures. The visualization procedures are also developed to... -
4
CSI-Math-Notation-PostfixInfix
Perl Lib Math Notation
* Introduction: - This Module is a Library based Perl code. - The library provide: - Convert INFIX expressions to POSTFIX; - Convert POSTFIX expressions to INFIX and; - Perform POSTFIX context validations. - Context validation can be implemented in item selection routines or data context validation, when it is possible to identify data to be selected or ignored in some data analysis process -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
...Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space. -
6
JSHint
A tool that helps to detect errors and in your JavaScript code
...So, static code analysis tools come into play and help developers spot such problems. JSHint scans a program written in JavaScript and reports about commonly made mistakes and potential bugs. The potential problem could be a syntax error, a bug due to an implicit type conversion, a leaking variable, or something else entirely. -
7
data-science-on-gcp
Source code accompanying book: Data Science on the GCP
The data-science-on-gcp repository is a comprehensive collection of code examples and end-to-end workflows that accompany the book Data Science on the Google Cloud Platform, designed to teach developers how to build scalable data science and machine learning systems using Google Cloud services. It provides structured, chapter-aligned implementations that guide users through the full lifecycle of a data science project, including data ingestion, storage, processing, analysis, model training, and deployment. ... -
8
AWS IoT Over-the-air Update Library
Manage the notification of a newly available update
The OTA library enables you to manage the notification of a newly available update, download the update, and perform cryptographic verification of the firmware update. Using the library, you can logically separate firmware updates from the application running on your devices. The OTA library can share a network connection with the application, saving memory in resource-constrained devices. In addition, the OTA library lets you define application-specific logic for testing, committing, or... -
9
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
Ofront+ is a tool that translates programs in Oberon dialects into semantically equivalent C programs. Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by Ofront+ is kept as readable as possible, nicely formatted, should not produce any C compiler error messages or warnings and is tuned for efficient execution. ... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
d2l-zh
Chinese-language edition of Dive into Deep Learning
d2l‑zh is the Chinese-language edition of Dive into Deep Learning, an interactive, open‑source deep learning textbook that combines code, math, and explanatory text. It features runnable Jupyter notebooks compatible with multiple frameworks (e.g., PyTorch, MXNet, TensorFlow), comprehensive theoretical analysis, and exercises. Widely adopted in over 70 countries and used by more than 500 universities for teaching deep learning. -
11
Twitter's Jetpack Compose Rules
Static checks to aid with a healthy adoption of Compose
Twitter Compose Rules is a set of custom ktlint rules to ensure that your compostables don't fall into common pitfalls, that might be easy to miss in code reviews. It can be challenging for big teams to start adopting Compose, particularly because not everyone will start at the same time or with the same patterns. Twitter tried to ease the pain by creating a set of Compose static checks. Compose has lots of superpowers but also has a bunch of foot guns to be aware of as seen in this Twitter... -
12
Security Code Scan
Vulnerability Patterns Detector for C# and VB.NET
...Other editors that support Roslyn-based analyzers like Rider or OmniSharp should work too. Security Code Scan (SCS) is not a Linter. It is a real static analysis tool that does extensive computations. Thus installing it as a Visual Studio extension or NuGet package will slow down your Visual Studio IDE. -
13
Corefx
This repo is used for servicing PR's for .NET Core 2.1 and 3.1
...Because the runtime, CoreLib, and the core libraries are all intricately linked, changing runtime behaviors, adding new APIs, or changing various build processes (e.g. improving static analysis) often requires multiple PRs carefully staged across time and multiple repos. -
14
quantitative
Quantized transactions python3
The “quantitative” repository by Jack-Cherish is a tutorial-style codebase for quantitative trading written in Python — essentially a learning resource that guides users through building algorithmic trading strategies step by step. It’s organized as a sequence of lessons (lesson1, lesson2, etc.), making it approachable for learners who want to understand both theory and practice in quantitative finance. The repo is evidently tied to a popular video series (on Bilibili) that reportedly drew... -
15
state-threads
Lightweight thread library for C/C++ coroutine (similar to goroutine)
The State Threads Library is a small application library that provides a foundation for writing fast and highly scalable Internet applications (such as web servers, proxy servers, mail transfer agents, and so on) on UNIX-like platforms. -
16
GoKart
A static analysis tool for securing Go code
GoKart is a static analysis tool for Go that finds vulnerabilities using the SSA (single static assignment) form of Go source code. It is capable of tracing the source of variables and function arguments to determine whether input sources are safe, which reduces the number of false positives compared to other Go security scanners. For instance, a SQL query that is concatenated with a variable might traditionally be flagged as SQL injection; however, GoKart can figure out if the variable is actually a constant or constant equivalent, in which case there is no vulnerability. ... -
17
spark
A performance profiler for Minecraft clients, servers, and proxies
spark is a performance profiling and diagnostic tool designed for Minecraft servers, clients, and proxy software. It helps developers and server administrators analyze performance issues such as lag, high CPU usage, and memory bottlenecks. The plugin collects statistical information about the server’s execution and generates detailed profiling data that can be used to identify inefficient code or problematic plugins. spark includes tools for CPU profiling, memory inspection, and monitoring... -
18
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...
-
19
Polish to English translation aid
Polish to English translation aid. Automatic dictionary presentation.
Program displays morphological analysis and English word equivalents to enable a reader with little knowledge of Polish besides grammatical principles to read or translate Polish text. The program is in a prototype stage. The present mode of use is to take a Polish text and annotate with word by word morphological analysis and English equivalents for each possible Polish lemma. -
20
Mosca
Tool to find bugs like a grep unix command
Just another Simple static analysis tool to find bugs like a grep unix command, at mosca have a modules, that was call egg, each egg is a simple config to find bug at especific language like PHP,Ruby,ASP etc... Example of egg config at directory "egg", If Mosca read a line with vunerability of egg in source code, then, mosca have alert about vulnerability and save at logs. -
21
Machine Learning Git Codebook
For extensive instructor led learning
Machine Learning Git Codebook is an educational repository that provides a structured introduction to data science and machine learning concepts through a series of interactive notebooks and practical examples. The project is designed as a self-paced learning resource that walks learners through the full data science workflow, including data preprocessing, exploratory analysis, feature engineering, and model development. It covers a wide range of machine learning techniques such as decision trees, clustering methods, nearest neighbor algorithms, anomaly detection, and probabilistic classifiers. The repository organizes these topics into sequential notebooks that explain theoretical concepts while allowing users to experiment directly with code. ... -
22
Code-warrior
Just another manual code analysis tool and static analysis tool.
Just another manual code analysis tool and static analysis tool. https://github.com/CoolerVoid/codewarrior -
23
agglo
Multi facets CASE/AGL for easy project developments
Agglo is a CASE (Computer Aided Software Engineering) or AGL (Atelier Génie Logiciel), whose aim is to facilitate installation ans use of various tools (either existing opensource tools, or agglo tools), in several facets of project development: - requirements management - unit tests - automated integration tests - toolkit for various languages (cpp, c, python, shell, xsl) other facets are to come ultimately: - coverage tests - planification - integration with hudson - code quality analysis - indicator production -
24
BlackBuntu Linux
BlackBuntu Linux
BlackBuntu is born from the passion and spirit of 2 specialists. Let’s cut the bullshit, this distribution is a GNU/Linux distribution based on Ubuntu and designed with Pentest, Security and Development in mind for the best experience. With advanced accessibility tools and options to change language, colour scheme and text size, Blackbuntu makes computing easy – whoever and wherever you are. BlackBuntu is a fully open source project, anyone can see what is inside. The building source code... -
25
Binary Analysis Platform
Binary Analysis Platform
The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of programs in the machine code representation. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added as plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and symbolic executor. BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. ...
