Search Results for "checker"

In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. ...

corroded is a Rust project that intentionally strips away Rust’s safety guarantees and idiomatic protections, offering utilities and patterns that prioritize raw power and freedom over the usual borrow checker enforcement or strict ownership rules. Its README and community reactions suggest a mix of satire and extreme experimentation: the project makes “unsafe” Rust easier to use by removing typical compile-time checks, pushing the language toward behavior more like C for cases where developers want total control. Although controversial, the code serves as an exploration of Rust internals and unsafe constructs, and it includes utilities intended to simplify memory management and pointer manipulation without safety checks. ...

scriptc is a TypeScript-to-native compiler that turns ordinary TypeScript programs into small, self-contained executables. Its default output contains no Node.js runtime, V8 engine, or JavaScript interpreter. The compiler uses the real TypeScript checker, lowers supported code into a typed intermediate representation, and generates native code through LLVM or C. A coverage command explains which statements compile statically and identifies unsupported constructs with precise diagnostics. Optional dynamic mode embeds QuickJS for npm dependencies and loosely typed code while validating values that cross into static code. ...

Closure Compiler is a production-grade JavaScript optimizer and checker that parses JS, analyzes it, removes dead code, rewrites and minifies what remains, and emits faster, smaller bundles. Beyond minification, it performs advanced optimizations such as inlining, property collapsing, type-guided rewrites, and cross-module motion, often yielding substantial load-time wins. It includes a strong static checker that validates syntax, variable references, and type annotations (Closure types or JSDoc), catching bugs early and enabling aggressive transformations safely. ...

Checkclipse is a plugin which integrates the Checkstyle style checker for Coding Guidelines into Eclipse. All Java style violations will be immediately reported by error markers. Coding Guidelines can be configured for each project separately.

cparser is a library containing a parser, lexer and semantic analysis for the ISO C99 language. It should be used as a compiler frontend, a base for source-source transformation, or source-checker tools.

PXC is a new C-Crosscompiler-Project, based on PCC the UNIX(TM)-Original. Aimed at ISO-9899:99/201x Feature-Completness and easy retargeting. The Toolchain will consist of an Assembler, Linker, Librarian and an integrated MISRA-C-Checker.

The Version Checker Tool traverses the given folder or directory and groups the found classes by java major and minor version. It helps to identify and resolve the java run time compatibility issues with class and jar files.