Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight
Lock Down Any Resource, Anywhere, Anytime
CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
Learn More
SoftCo: Enterprise Invoice and P2P Automation Software
For companies that process over 20,000 invoices per year
SoftCo Accounts Payable Automation processes all PO and non-PO supplier invoices electronically from capture and matching through to invoice approval and query management. SoftCoAP delivers unparalleled touchless automation by embedding AI across matching, coding, routing, and exception handling to minimize the number of supplier invoices requiring manual intervention. The result is 89% processing savings, supported by a context-aware AI Assistant that helps users understand exceptions, answer questions, and take the right action faster.
.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.
MKhoster document plagiarism is an easy web application that enable you to check plagiarism in a text document, Just upload your text file and start check now.
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.
Award-Winning Medical Office Software Designed for Your Specialty
Succeed and scale your practice with cloud-based, data-backed, AI-powered healthcare software.
RXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
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.
The TclPro tool set includes a graphical debugger, a static code checker,
a wrapper to generate stand-alone executables, a "compiler" that
writes out Tcl byte codes, and a loader that reads byte codes.
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.