Search Results for "static code analysis" - Page 4
Sort By:
Showing 97 open source projects for "static code analysis"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI Studio. Switch between models without switching platforms.
-
Cut Your Data Warehouse Bill by 54%BigQuery delivers 54% lower TCO with serverless scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
-
2
The Panini Language
Better Modularity, Better Concurrency
This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of... -
3
Kickstart
Kickstart is a CSS library designed for modularity and fast page
Kickstart's CSS is only 80kb and even smaller when you roll your own from the Sass mixins. Not only is the Kickstart JS smaller than Bootstrap and Foundation, it also doesn't require jQuery--drastically reducing page load times. Kickstart has been used in production websites for over three years. Kickstart is a library, not a framework. This means you only use the CSS you need instead of slowing down your site with a complete UI library. Look how easy it is to create this Navbar. Most... -
4
SPADE
A toolkit for developing and deploying protein structure algorithms.
The Structural Proteomics Application Development Environment is a Python tool kit for developing and deploying bioinformatics applications. Handles graphics, analysis, and modeling of protein sequence and structure. Source and Win installers available. SPADE source code can be cloned from http://www.github.com/deaconjs/SPADE. -
99.99% Uptime for Your Most Critical DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Z-Pharo CMS
Full Powerful & Customized PHP CMS Its Just Plugins to start !
[Z-Pharo CMS] is a full customized php content management system .. it's very light,small package,pluggable every thing in it is just plugins so you can create any web application you want -
6
OopJs
Native Java-like Script for Modern Browsers
OopJs provides a set of functions for developing javascript applications using a class-based structure. This framework allows you to add properties and methods to the class itself (static), instances of a class (public), and even the package it resides in (internal). Supported by most modern browsers. -
7
Java Dynamic Component Framework
This is a lightweight java dynamic component framework
This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing... -
8
R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
-
9
Octopress
Octopress is an obsessively designed framework for Jekyll blogging
Octopress is a blogging framework built on top of Jekyll, designed to make static site generation easier and more attractive for developers. It provides a theming system, plugins, and prebuilt templates for blogs that are responsive, SEO-friendly, and customizable. Octopress simplifies common tasks like syntax highlighting for code snippets, social sharing integration, and deployment scripts for publishing to GitHub Pages or other static hosts. -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
NodeCom is an open-source component framework for extremely constrained WSN. This project sourceforge is under construction. The code will be added soon. See our laboratory web page: http://domus.usherbrooke.ca/
-
11
GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.
-
12
An easy to use API for documenting PHP (>= 5.3) projects. It follows a strict structure and originally, it was only written for the Buxa Framework. The documentor mainly uses reflection and yes... of course, it supports the namespace stuff.
-
13
ColladaLoader is a free open source C# Library that enables developers to load and display Collada 3D Model files (.DAE) in DirectX 10 using the SlimDX SDK. Partitial .X file support. More info: http://www.tomsdevshack.be/projects/colladaloader
-
14
C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).
-
15
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
-
16
Now part of Apache's Mahout machine learning project at http://mahout.apache.org/-- please see there for latest info and code and releases and support!
-
17
-
18
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
19
PowerMock allows you to unit test code normally regarded as untestable. For instance it is possible to mock static methods, remove static initializers, allow mocking without dependency injection and more.
-
20
Framework for storing and editing Forestry-related XML data, with a specialised graphical interface for each object type. Plug-in API for adding functionality. Coded in Java, uses WebStart for distribution, swing GUI, ~100k lines of code.
-
21
Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.
-
22
Spider is a Java framework for creating web applications. Its major design goals are are testing, reducing boilerplate code, avoiding static state through dependency injection, strict M-V-C separation and convention over configuration.
