Search Results for "source code static anala"
Sort By:
Showing 20 open source projects for "source code static anala"
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.
-
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
HTMLHint
The static code analysis tool you need for your HTML
Static code analysis tool you need for your HTML. By default, htmlhint looks for a .htmlhintrc file in the current directory and all parent directories and applies its rules when parsing a file. -
2
Franklin.jl
Static site generator. Simple, customisable, fast, maths with KaTeX
Franklin is a simple static site generator (SSG) oriented towards technical blogging (code, maths, ...), flexibility and extensibility. The base syntax is plain markdown with a few extensions such as the ability to define and use LaTeX-like commands in or outside of maths environments and the possibility to evaluate code blocks on the fly. -
3
TEMPL
A language for writing HTML user interfaces in Go
Create components that render fragments of HTML and compose them to create screens, pages, documents, or apps. -
4
Infer
A static analyzer for Java, C, C++, and Objective-C
Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. Infer checks for null pointer dereferences, memory leaks, coding conventions... -
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.
-
5
Pelican
Static site generator that supports Markdown and reST syntax
Pelican is a static site generator that requires no database or server-side logic. Chronological content (e.g., articles, blog posts) as well as static pages. Integration with external services. Site themes (created using Jinja2 templates). Publication of articles in multiple languages. Generation of Atom and RSS feeds. Code syntax highlighting via Pygments. Import existing content from WordPress, Dotclear, or RSS feeds. Fast rebuild times due to content caching and selective output writing.... -
6
ShellCheck
A static analysis tool for shell scripts
ShellCheck is a GPLv3 tool that provides warnings and possible suggestions for bash/sh shell scripts. ShellCheck finds bugs in your shell scripts. You can cabal, apt, dnf, pkg or brew install it locally right now. ShellCheck highlights and clarifies typical beginner's syntax mistakes and issues that cause a shell to give a cryptic error message. It shows typical intermediate level semantic problems that cause a shell to behave in a abnormally and counter-intuitively. It can also discover... -
7
Mongoose Embedded Web Server
An embedded web server
Mongoose is a networking library for C/C++. It implements event-driven non-blocking APIs for TCP, UDP, HTTP, WebSocket, MQTT. It is designed for connecting devices and bringing them online. On the market since 2004, used by vast number of open source and commercial products - it even runs on the International Space Station! Mongoose makes embedded network programming fast, robust, and easy. Cross-platform, works on Linux/UNIX, MacOS, Windows, Android, FreeRTOS, etc. Supported embedded... -
8
Mavo
Create web applications entirely by writing HTML and CSS
Create complex, reactive, persistent web applications by just writing HTML & CSS, without a single line of JavaScript and no server backend. Developed in the Haystack Group at MIT CSAIL and led by Lea Verou. Mavo extends the syntax of HTML to describe Web applications that manage, store, and transform data. Store data in the cloud, locally, or not at all by just changing an HTML attribute. Edit data right on the website, with an intuitive, auto-generated, customizable interface. No more... -
9
nodejsscan
nodejsscan is a static security code scanner for Node.js applications
Static security code scanner (SAST) for Node.js applications powered by libsast and semgrep. nodejsscan is a static security code scanner for Node.js applications. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
Plot
A DSL for writing type-safe HTML, XML and RSS in Swift
Welcome to Plot, a domain-specific language (DSL) for writing type-safe HTML, XML and RSS in Swift. It can be used to build websites, documents and feeds, as a templating tool, or as a renderer for higher-level components and tools. It’s primary focus is on static site generation and Swift-based web development. Plot enables you to write HTML using native, fully compiled Swift code, by modeling the HTML5 standard’s various elements as Swift APIs. The result is a very lightweight DSL that... -
11
MyPoorWebServer
Demonstrates fundamental HTTP server implementation principles
MyPoorWebServer is a C/C++-based web server project that demonstrates fundamental HTTP server implementation principles drawn from classic network programming literature and high-performance server design books. The repository contains source code that implements a basic HTTP server, intended to be compiled and run from the command line, exposing introductory web server functionality such as serving static HTML files and handling simple POST requests. It was originally developed as a resume project to demonstrate understanding of TCP/IP network programming, socket handling, and server lifecycle management, and so it reflects a hands-on approach to building server software from scratch rather than relying on frameworks. ... -
12
Swagger2Markup
Swagger to AsciiDoc or Markdown converter
The primary goal of this project is to simplify the generation of up-to-date RESTful API documentation by combining documentation that’s been hand-written with auto-generated API documentation produced by Swagger. The result is intended to be an up-to-date, easy-to-read, on- and offline user guide, comparable to GitHub’s API documentation. The output of Swagger2Markup can be used as an alternative to swagger-UI and can be served as static content. Swagger2Markup converts a Swagger JSON or... -
13
Klipse
Klipse is a JavaScript plugin for embedding interactive code snippets
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs. Technically, Klipse is a small piece of JavaScript code that evaluates code snippets in the browser and it is pluggable on any web page. The klipse plugin is a JavaScript tag that transforms static code snippets of an HTML page into live and interactive snippets. If you want to integrate Klipse inside a Clojurescript project, it is recommended to consume Klipse as a Clojurescript library like any other... -
14
WAI-ARIA
WAI-ARIA Authoring Practices Guide (APG)
WAI-ARIA Authoring Practices Guide (APG) Learn to use the accessibility semantics defined by the Accessible Rich Internet Application (ARIA) specification to create accessible web experiences. This guide describes how to apply accessibility semantics to common design patterns and widgets. It provides design patterns and functional examples complemented by in-depth guidance for fundamental practices. Work is planned and prioritized in our milestones. Each milestone corresponds to a working... -
15
Cryogen
A simple static site generator written in Clojure
Shipped as a template on Leiningen, a Clojure build tool. No need to configure databases, it just works out of the box. Clear separation between your content and layouts makes for fuss-free customization. CSS and JavaScript can be easily added. Don't worry about linking up your posts or managing your sitemap and RSS feeds, Cryogen does it all. Cryogen is a simple static site generator built with Clojure. It's shipped on Leiningen so setup is fuss free and there's no need to mess with... -
16
Tidy
The granddaddy of HTML tools, with support for modern standards
The granddaddy of HTML tools. Supports modern standards. Thanks to the efforts of HTACG and prominent contributors, HTML Tidy has a whole new heartbeat and a whole new life. Tidy tidies HTML and XML. It can tidy your documents by itself, and developers can easily integrate its features into even more powerful tools. Tidy is a console application for macOS, Linux, Windows, UNIX, and more. It corrects and cleans up HTML and XML documents by fixing markup errors and upgrading legacy code to... -
17
Simple HttpErrorPages
Simple HTTP Error Page Generator
Simple HTTP Error Page Generator. Create a bunch of custom error pages - suitable to use with Lighttpd, Nginx, expressjs, koans, Apache-Httpd, or any other Webserver. NGINX supports custom error-pages using multiple error_page directives. Apache Httpd 2.x supports custom error pages using multiple ErrorDocument directives. To customize the pages, you can edit any of the template files and finally run the generator-script. All generated HTML files are located in the dist/ directory by... -
18
Static Site Boilerplate
A better workflow for building modern static websites
A better workflow for building modern static websites. Automated build processes, a local development server, production minification and optimizations, and the latest standards for static websites. Get up and running in seconds with the built-in development server. No need to have a pre-existing server installed on your machine to start developing. Your HTML, styles, and scripts will be automatically linked, concatenated, and minified for optimal loading speed in production. Write your CSS... -
19
OpenAutonomy Reference Implementation
OpenAutonomy PHP server and related tools
The official OpenAutonomy server reference implementation. NOTE: The full "server" is not required to interact with OpenAutonomy. The main implementation priority is ubiquitousness. To that effect, the server is implemented in PHP with few external dependencies to ensure that this can be run on even the leanest of web hosts. The project includes the related tools from FreeMarker templates (used to generate RPC glue code) to the PHP "compiler" (static inlining of PHP includes in... -
20
SqlFormatter
Lightweight php class for formatting sql statements
A lightweight php class for formatting sql statements. It can automatically indent and add line breaks in addition to syntax highlighting. I found myself having to debug auto-generated SQL statements all the time and wanted some way to easily output formatted HTML without having to include a huge library or copy and paste into online formatters. I was originally planning to extract the formatting code from PhpMyAdmin, but that was 10,000+ lines of code and used global variables. The...
- Previous
- You're on page 1
- Next