Community Z Tools Files

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

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
Parent folder
README.txt	2004-09-23	171 Bytes	0
Totals: 1 Item		171 Bytes	0

Starting from version 1.3, new versions of corejava are now available
within the czt releases.  Please download the latest czt release to
get the latest corejava release.

Source: README.txt, updated 2004-09-23

Other Useful Business Software

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Recommended Projects

ProGuard Java Optimizer and Obfuscator
ProGuard has moved to Github now: https://github.com/Guardsquare/proguard ProGuard is a free Java class file shrinker, optimizer, obfuscator, and preverifier. It detects and removes unused classes, fields, methods, and attributes. It optimizes bytecode and removes unused instructions. It...
Z Word Tools
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure;...
Haskell support for Eclipse
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
EncPHP - PHP Encapsulator
EncPHP allows you to embed a PHP script inside of an executable along with everything needed to run the script, including the PHP executable and runtime, and any other DLLs or modules. EncPHP allows you to run PHP apps on computers without PHP installed.
B++
B++ will become a completely object orientated programming language based on a BASIC-like syntax. B++ applications will be stand-alone executable files (P-Code). B++ will offer an own data base interface and an own (OOP) framework providing API calls.

Community Z Tools Files

Tool support for the Z formal notation

Get an email when there's a new version of Community Z Tools