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
corejava_1_2_0_src.zip	2004-04-08	2.6 MB	1
corejava_1_2_0_src.tar.gz	2004-04-08	1.3 MB	0
corejava_1_2_0_src.tar.bz2	2004-04-08	627.2 kB	0
Totals: 3 Items		4.5 MB	1

Community Z Tools downloads

Community Z Tools provides downloads to be used in various different scenarios. CZT provides libraries to develop tools for Z specifications, or can be used as IDE to develop Z specifications. The different downloads are available from the corresponding directories:

czt-ide - Releases of standalone CZT IDE, based on Eclipse platform. Use it to author, develop and verify Z specifications.
czt-ide-updates - Update sites for released CZT Eclipse plugins to be installed in your own Eclipse IDE.
czt-jedit - Plugins for the jEdit text editor adding support for typesetting Z specifications.
czt - Standalone CZT library (classic distribution).
maven - Instructions how to use CZT libraries deployed to Maven Central.

Source: README.md, updated 2013-04-03

Other Useful Business Software

Our Free Plans just got better! | Auth0 Icon

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

Gen AI apps are built with MongoDB Atlas Icon

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...
CLISP - an ANSI Common Lisp
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
Kayacc
Kayacc is an alternate name for the TOMBO project. I am in the process of updating the Tombo project page with version 2.1.0. Please download Tombo2.1.0.tar.gz from the Files tab. Tombo is a compiler generation toolkit for constructing compilers and interpreters. It includes a BNF compiler...
iCodeGenerator
iCodeGenerator is a database centric template based code generator for any text(ascii) programming language like C, PHP, C#, Visual Basic, Java, Perl, Python... Supported databases are SQL Server, MySQL and PostgreSQL. Source Code Now at: https://github.com/VientoDigital/codegenerator
Pascal-to-Ada
P2Ada is a Pascal to Ada translator. Recognizes particularities of several Pascal dialects: Turbo/Borland/Delphi (mostly), CodeWarrior, ISO, ISO Extended (a bit). Includes a full ayacc / aflex parser & lexer for Ada 95+ with sources. Mirror: https://github.com/zertovitch/pascal-to-ada