Download JAR files tagged by well with all dependencies

VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.

jSQL is an extension to DDLx, offering a lightweight ORM (Object Relational Mapping) solution that runs on the JDBC v4.3 API. The jSQL framework provides strongly-typed semantics for the SQL language, as well as a cohesive binding to user data models. jSQL uses a SQL schema defined in a DDLx file to create a one-to-one, Object-Model-to-Data-Model API that is vendor agnostic.

The API allows you to perform a variety of management tasks such as spinning up additional servers, adding volumes, adjusting networking, and so forth. It is designed to allow users to leverage the same power and flexibility found within the DCD visual tool. Both tools are consistent with their concepts and lend well to making the experience smooth and intuitive.

A Java validation library by providing a fluent API and abstracting away the conditional constructs of the language. This is consider a rewrite base on validly to focus on validating raw string inputs from HTTP request with more than 100 preset validation rules. The library had been used in various Kotlin based project as well.

The Interactive Bin Packing Application provides a self-guided tutorial on combinatorial optimization, the bin packing problem, and constructive heuristics for bin packing. It also enables the user to interact with bin packing instances to explore their own problem solving strategies, or to test their knowledge of the various constructive heuristics covered by the tutorial. The application is not a solver for bin packing. The Interactive Bin Packing Application is a tool for learning about the bin packing problem, as well as for learning about heuristic techniques for solving instances of the problem.

TK 3rd Party Privacy Proxy. Delivers functionality to securely fetch and provide 3rd Party resources as well as proxying requests back to the 3rd Party Provider. The users of your website will remain private against any 3rd Party Provider you use without losing any functionality on your end. Further more this privacy proxy delivers you the ultimate knowledge about what information is being transferred to any 3rd Party Provider as well as independence from their servers.