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_1_1_src.tar.bz2	2003-10-03	239.0 kB	0
corejava_1_1_1_src.tar.gz	2003-10-03	530.2 kB	0
corejava_1_1_1_src.zip	2003-10-03	1.2 MB	0
Totals: 3 Items		2.0 MB	0

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

The All-in-One Commerce Platform for Businesses - Shopify Icon

The All-in-One Commerce Platform for Businesses - Shopify

Shopify offers plans for anyone that wants to sell products online and build an ecommerce store, small to mid-sized businesses as well as enterprise

Shopify is a leading all-in-one commerce platform that enables businesses to start, build, and grow their online and physical stores. It offers tools to create customized websites, manage inventory, process payments, and sell across multiple channels including online, in-person, wholesale, and global markets. The platform includes integrated marketing tools, analytics, and customer engagement features to help merchants reach and retain customers. Shopify supports thousands of third-party apps and offers developer-friendly APIs for custom solutions. With world-class checkout technology, Shopify powers over 150 million high-intent shoppers worldwide. Its reliable, scalable infrastructure ensures fast performance and seamless operations at any business size.

Learn More

MongoDB Atlas runs apps anywhere Icon

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

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.
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
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.
eXist-db
eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist