YAVI Files

Yet Another Validation for Java

This is an exact mirror of the YAVI project, hosted at https://github.com/making/yavi. SourceForge is not affiliated with YAVI.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
0.17.0	2026-09-02		0
0.16.0	2025-04-28		0
0.15.0	2025-04-17		0
0.14.4	2025-03-21		0
0.14.3	2025-03-21		0
Totals: 5 Items			0

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

JaCoP
JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
FET- Free timetabling software
FET is free timetabling software for schools, high-schools and universities. Scheduling is done automatically. Please visit the project web site https://lalescu.ro/liviu/fet/ to be sure you always have the latest version
Quick Sequence Diagram Editor
A fast and reliable tool, written in Java 8, for generating professional UML sequence diagrams from text. Supports actors, con-/destructors, threads, broadcasts, notes, and fragments. Can serve as a Javadoc taglet. Exports PDF, (E)PS, SVG, PNG, ... The source code is hosted at http://github.com/sdedit/sdedit
YALMIP
MATLAB toolbox for optimization modeling
VPTag
VPTag (Visual Pair-wise Test Array Generator) is another entry into the Pairwise tools field. VPTag uses the Tai-Lei algorithm to create tests but also allows you to include constraints on the inputs ensuring that no invalid tests are generated.