Search Results for "hpc code analysis" - Page 22
Sort By:
Showing 1122 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.
-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
1
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.... -
2
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. -
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
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. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
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. -
6
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. ... -
7
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... -
8
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. -
9
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... -
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
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. -
11
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. -
12
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... -
13
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. -
14
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... -
15
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. ... -
16
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...
-
17
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. -
18
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. ... -
19
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 -
20
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. ... -
21
generator-ngx-rocket
Extensible Angular 13+ enterprise-grade project generator
...Asset revisioning for better cache management. Unit tests using Jasmine, Karma, and headless Chrome. End-to-end tests using Protractor. Static code analysis: TSLint, Codelyzer, Stylelint and HTMLHint. Local knowledgebase server using Hads. Progressive Web App (PWA) support. -
22
geocompr
Geocomputation with R: an open source book
This repository hosts the source for Geocomputation with R, an open-source book covering spatial data analysis, visualization, and modeling using R. It teaches how to work with vector and raster data, coordinate systems, mapping, and geocomputation techniques using packages like sf, terra, tmap, and more. Actively maintained and updated for real-world geospatial workflows. -
23
Data Analysis for the Life Sciences
Rmd source files for the HarvardX series PH525x
This repository holds the R Markdown (.Rmd) source files for the PH525x / HarvardX course series (Data Analysis for the Life Sciences / Genomics) managed by GenomicsClass. It functions as the canonical source for course lab exercises, lecture modules, and reading materials in reproducible format. Students and learners use these R Markdown files to follow along, knit notebooks, run code samples, and complete the lab-based assignments. The repo is licensed under MIT, allowing reuse and modification. ... -
24
Imgbot
An Azure Function solution to crawl through all of your image files
Don’t spend another second worrying about compressing your images. Install Imgbot into your GitHub projects, and focus on your application. Install Imgbot from the GitHub marketplace into your projects with the click of a button. Imgbot will send you your first pull request optimizing all of the images that it can find. Imgbot watches for new images in your repository and opens more pull requests. When you’re shipping code and hitting deadlines, it’s easy to forget about optimizing your... -
25
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
