Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Create free account
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
.Net Checker checks all code dependencies in .Net projects to ensure a stable architecture - up to multi-million LOC source trees. Moreover, it can produce flexible DOT-based dependency graphs.
eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java sourcecode. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.
gmuck assists you in generating valid (X)HTML by examining the source code that generates it. It is not a replacement for real validation tools, but is handy in quick checks and in situations where validation of the actual markup is troublesome.
The UCL MDA Tools are lightweight Model Driven Architecture tools developed at University College London. They include a JMI generator implemented using the velocity template engine, an OCL type checker, and a parser for textual MOF models.
JCSC is a highly configurable checking tool for your Java source code. It checks the compliance to a defineable coding standard like naming conventions and code structure. Also signs of bad coding, potential bugs are found. JCSC is inspired by lint.
MetaCheck is a java code checking utility to convert results from various code checking tools (jcsc, pmd, checkstyle, findbugs, ...) into one uniform xml/html result for each of the checkers and for the generated meta result.
JSPChecker is a source-codechecker for JSPs. It parses JSP / HTML pages for usage of particular tags and scripts such as HTML FORM, Javascript, in-page Java, scriptlets, and custom regular expressions either through an ANT task or command-line tool.
A refactoring tool for the Java programming language, it includes the JavaStyle pretty printer, a UML java class diagram viewer, a coding standards checker and computes program metrics. Plugins for jEdit, Netbeans, JBuilder and other IDEs available.
Tcl Golems is a package of utilities designed to make life easier for Tcl / Tk programmers. The Golems are cross-platform and text-only (GUI-less). Golems included are: 1) sourcecode line counter; 2) mis-matched braces / brackets / quotes codechecker
An advanced web-based tool for checking JavaScript code using ESLint.
Luna CodeChecker
An advanced web-based tool for checking JavaScript code using ESLint.
How to Use
Clone the repository.
Run npm install to install the dependencies.
Run npm start to start the server.
Open http://localhost:3000 in your web browser.
Write or paste your JavaScript code in the textarea.
Click the "Check Code" button to see linting results.
This project provide a framework for general coding style checker's process:
1, Support different adapter plugin for different programming language syntax
2, Support incremental scanning
3, Support customize criteria rules.
4, Generate report for scanning result.
A C/C++ adapter was also implemented based on clang library as example.