checker free download

Showing 5 open source projects for "checker"

View related business solutions

Code Generators Clear Filters & Widen Search

Build Agents and Models on One Platform
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini 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.

Start Free
Host LLMs in Production With On-Demand GPUs
NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

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

VAlloy

Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.

Downloads: 0 This Week

Last Update: 2014-07-07
See Project
4

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
Train ML Models With SQL You Already Know
BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.

Start Free
5

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