Search Results for "source code static anala" - Page 6
Sort By:
Showing 309 open source projects for "source code static anala"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
Cloud Foundation Toolkit Project
The Cloud Foundation toolkit provides GCP best practices as code
Cloud Foundation Toolkit is a best-practices-as-code project intended to help teams build and manage Google Cloud environments in a more standardized, production-ready way. At its core, it combines a comprehensive set of Terraform blueprints with developer tooling that supports the creation and management of those blueprints. The repository is aimed at infrastructure teams that want reusable, policy-aligned starting points instead of assembling foundational cloud environments from scratch... -
2
Dialyxir
Mix tasks to simplify use of Dialyzer in Elixir projects
Mix tasks to simplify use of Dialyzer in Elixir projects. Elixir 1.6 is required, to support the new pretty printing feature. If your project is not yet on 1.6, continue to specify 0.5 in your mix deps. Warning messages have been greatly improved, but are filtered through the legacy formatter to support your existing ignore files. You can optionally use the new Elixir term format for ignore files. You may want to use the --format short argument in your CI pipelines. There are several... -
3
pep484 stubs for Django
PEP-484 stubs for Django
This package contains type stubs and a custom mypy plugin to provide more precise static types and type inference for Django framework. Django uses some Python "magic" that makes having precise types for some code patterns problematic. This is why we need this project. The final goal is to be able to get precise types for the most common patterns. We are independent from Django at the moment. There's a proposal to merge our project into the Django itself. You can show your support by liking... -
4
KubeLinter
KubeLinter is a static analysis tool that checks Kubernetes YAML files
KubeLinter analyzes Kubernetes YAML files and Helm charts, and checks them against a variety of best practices, with a focus on production readiness and security. KubeLinter runs sensible default checks, designed to give you useful information about your Kubernetes YAML files and Helm charts. This is to help teams check early and often for security misconfigurations and DevOps best practices. Some common examples of these include running containers as a non-root user, enforcing least... -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
DotWeb
Simple and easy go web micro framework
Simple and easy go web micro framework. Important: Now need go1.9+ version support, and Support go mod. support go mod. Support static routing, parameter routing, group routing. Routing supports file/directory services, and supports setting whether to allow directory browsing. HttpModule support, support for custom code capabilities at the global level before routing. Middleware support, support App, Group, Router level settings. Feature support, which can be enabled globally by binding... -
6
doctest
Fastest feature-rich C++11/14/17/20 single-header testing framework
doctest is a new C++ testing framework but is by far the fastest both in compile times (by orders of magnitude) and runtime compared to other feature-rich alternatives. It brings the ability of compiled languages such as D / Rust / Nim to have tests written directly in the production code thanks to a fast, transparent and flexible test runner with a clean interface. The framework is and will stay free but needs your support to sustain its development. There are lots of new features and... -
7
Wuffs
Wrangling Untrusted File Formats Safely
Wuffs is a memory-safe, zero-dependency library and domain-specific language for writing high-performance image codecs and related parsers. Instead of trusting ad-hoc C, Wuffs code is compiled to C with strong bounds, integer, and state checks inserted by construction, aiming to eliminate whole classes of security bugs without a heavy runtime. The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in... -
8
FL Chart
FL Chart is a highly customizable Flutter chart library
fl_chart is a charting library for Flutter that focuses on expressive, highly customizable data visualizations with smooth animations. It offers a broad set of chart types—line, bar, pie, scatter, and radar—each exposed through clear data/option models rather than imperative drawing. Interactive features like touch handling, tooltips, selection/highlighting, and panning help apps present insights rather than static images. The package pays special attention to aesthetics, with options for... -
9
Gogs
A painless self-hosted Git service
Gogs is a simple, stable, self-hosted Git service that is easy to install and setup. All you have to do is run the binary on any platform that Go supports: Linux, macOS and Windows. You may also install from source, from packages, or ship with Docker or Vagrant. Gogs is very lightweight with minimal hardware requirements, running on Raspberry Pi and even on NAS devices. Gogs offers plenty of great features, including various access repositories, repository and organization webhooks,... -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
Gradle Lint Plugin
Linter tool for identifying and reporting on patterns of misuse
The Gradle Lint Plugin is a static analysis tool for Gradle build scripts (written in Groovy) that finds patterns of misuse, deprecated constructs, and opportunities for optimization in build configurations. It functions analogous to ESLint in the JavaScript ecosystem: you define rules, apply them across the build scripts, and get warnings or errors when code deviates from best practices. It is particularly useful for maintaining consistency across large, multi-module projects or monorepos,... -
11
Changelog.com
Changelog makes world-class developer pods
This is the open-source codebase for Changelog, a popular podcast and media site for software developers. Built with Elixir and the Phoenix framework, it serves as a real-world example of a production-grade Phoenix application. The app powers the site’s content publishing, episode distribution, and user interactions, including subscriptions and comments. It emphasizes maintainability and transparency, with clear code structure, tests, and CI/CD workflows. Because the repository is open,... -
12
IPFS Web UI
A frontend for an IPFS node
A web interface to IPFS, shipped with Kubo, and ipfs-desktop. Check on your node stats, explore the IPLD powered merkle forest, see peers around the world and manage your files, without needing to touch the CLI. When working on the code, run an ipfs daemon, the local dev server, the unit tests, and the storybook component viewer and see the results of your changes as you save files. If you need to run IPFS in a Docker container, you can still have Web UI available by exposing both the... -
13
async-graphql
A GraphQL server library implemented in Rust
Async-graphql is a GraphQL server-side library implemented in Rust. It is fully compatible with the GraphQL specification and most of its extensions and offers type safety and high performance. You can define a Schema in Rust and procedural macros will automatically generate code for a GraphQL query. This library does not extend Rust's syntax, which means that Rustfmt can be used normally. I value this highly and it is one of the reasons why I developed Async-graphql. I like GraphQL and... -
14
ember-bootstrap
Ember-cli addon for using Bootstrap as native Ember components.
An ember-cli addon for using Bootstrap in Ember.js applications. Provides a collection of native Ember components that mimic the original Bootstrap plugins and components in an ember-friendly way, replacing the need for bootstrap.js. The addon includes the Bootstrap CSS (or Sass, Less) in your project (can be disabled). On top of that, it provides a set of native Ember components (no use of Bootstrap JavaScript!). We strive (and test) for maximum compatibility with Embroider, including the... -
15
APNGKit
High performance and delightful way to play with APNG format in iOS
The APNGKit project is a high-performance framework for loading, displaying, and animating images in the UIKit / AppKit ecosystem (iOS, macOS, tvOS), specifically targeting the APNG (Animated PNG) image format. Unlike traditional static PNG images, APNG supports frame-by-frame animation with full-color images and transparency — yielding better visual fidelity than GIFs while remaining efficient. APNGKit offers a friendly API (e.g. APNGImage, APNGImageView) that behaves similarly to the... -
16
Jimp
An image processing library written entirely in JavaScript for Node
An image processing library for Node written entirely in JavaScript, with zero native dependencies. If you're using this library with TypeScript the method of importing slightly differs from JavaScript. Instead of using require, you must import it with ES6 default import scheme. If you're using a web bundles (webpack, rollup, parcel) you can benefit from using the module build of jimp. Using the module build will allow your bundler to understand your code better and exclude things you aren't... -
17
Webmozart Assert
Assertions to validate method input/output with nice error messages
This library contains efficient assertions to test the input and output of your methods. With these assertions, you can greatly reduce the amount of coding needed to write a safe implementation. This library is heavily inspired by Benjamin Eberlei's wonderful assert package, but fixes a usability issue with error messages that can't be fixed there without breaking backwards compatibility. This package features usable error messages by default. However, you can also easily write custom error... -
18
Elgg
A social networking engine in PHP/MySQL
Introducing a powerful open-source social networking engine. Providing you with the core components needed to build a socially aware web application. Elgg is an award-winning open source social networking engine that provides a robust framework on which to build all kinds of social environments, from a campus-wide social network for your university, school or college or an internal collaborative platform for your organization to a brand-building communications tool for your company and its... -
19
Pattern Craft
Professional-grade background patterns and gradients
Pattern Craft is a frontend resource focused on helping developers quickly add polished visual texture to websites and applications through a curated collection of modern background patterns and gradients. The project centers on production-ready snippets that are meant to be copied directly into real interfaces rather than treated as static inspiration only. Its repository describes more than 100 patterns and gradient snippets, with an emphasis on modern CSS techniques and Tailwind-friendly... -
20
SmartEnum
A base class for creating strongly typed enum replacements in C#
SmartEnum is a .NET library that provides a strongly typed alternative to traditional C# enums by allowing developers to create richer, object-oriented enumeration classes. Instead of being limited to primitive numeric values, SmartEnum enables enums to include behavior, validation, and additional properties while preserving type safety and readability. The library is widely used in domain-driven design scenarios where business concepts require more expressive modeling than standard enums... -
21
neo.mjs
The application worker driven frontend framework
neo.mjs is the next-generation UI framework for creating desktop & mobile Web Apps. It has a very strong focus on performance and creating scalable & modular architectures. A clean & consistent API, as well as the ability to run without any build processes, will increase the productivity of your team while creating better solutions at the same time. While current libraries/frameworks like Angular, React or Vue provide reasonable performance for small or mostly static Apps, they lack when it... -
22
-
23
gitmoji
An emoji guide for your commit messages
Gitmoji is an initiative to standardize and explain the use of emojis on GitHub commit messages. Gitmoji is an emoji guide for GitHub commit messages. Aims to be a standarization cheatsheet, guide for using emojis on GitHub's commit messages. Using emojis on commit messages provides an easy way of identifying the purpose or intention of a commit with only looking at the emojis used. As there are a lot of different emojis I found the need of creating a guide that can help to use emojis... -
24
cppcheck
Static source code analysis tool for C and C++ code
Static analysis of C/C++ code. Checks for: memory leaks, mismatching allocation-deallocation, buffer overrun, and many more. The goal is 0% false positives. See http://cppcheck.sourceforge.net for more information. -
25
Smallpond
A lightweight data processing framework built on DuckDB and 3FS
smallpond is a lightweight distributed data processing framework built by DeepSeek, designed to scale DuckDB workloads over clusters using their 3FS (Fire-Flyer File System) backend. The idea is to preserve DuckDB’s fast analytics engine but lift it from single-node to multi-node settings, giving you the ability to operate on large datasets (e.g. petabyte scale) without moving to a heavyweight system like Spark. Users write Python-like code (via DataFrame APIs or SQL strings) to express...