checker free download

Showing 4 open source projects for "checker"

View related business solutions

Code Generators Mac Clear Filters & Widen Search

Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now
99.99% Uptime for MySQL and PostgreSQL Databases
Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

Start Free
1

dktools - Dirk Krauses tools

Drawing, graphics conversion, software development, administration.

GUI and command line tools for advanced users and administrators: wxdkdraw - Minimalistic drawing application for use with LaTeX, wxd2lat - Convert wxdkdraw files to LaTeX, bitmap2pp - Convert PNG/JPEG/TIFF/NetPBM to (E)PS or PDF, fig2lat - Convert XFig files to LaTeX, htmlbook - publish HTML like a book, dkcpre - C debugging and tracing preprocessor, itadmin - manage your IT using a MySQL/MariaDB database, dk-fic - file integrity checker, dk-ls - list files, output column order is configurable, dk-cat, dk-sort, dk-lines - text tools for *x and Windows, dk-send, dk-recv - transmit data stream, dk-t2h, dk-t2l - text to HTML or LaTeX conversion.

Downloads: 28 This Week

Last Update: 2026-09-26
See Project
2

Equals Checker

A static checker that model checks the implementation of equality for an Eclipse Java Project.

Downloads: 1 This Week

Last Update: 2013-04-26
See Project
3

UCL MDA Tools

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.

1 Review

Downloads: 0 This Week

Last Update: 2013-03-22
See Project
4

JRefactory

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.

Downloads: 2 This Week

Last Update: 2013-04-08
See Project
Veeam Data Platform v13.1 - Get Your Free Trial
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free