Open Source Oz Software

The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.

Artica Load-Balancer is load balance and fail over appliance for TCP based services. it is usable for HTTP(S), SSH, SMTP, DNS, etc.. This appliance is typically located between network clients and a farm of servers. It designed to dispatches client requests to servers in the farm so that processing load is distributed.

Designed for Zen Cart versions 1.3.X & 1.5 Picaflor Azul's free zen cart templates are a fantastic way to quickly add a professional design to your ecommerce store. All template packages include the admin settings needed to make the template look like the demo, template files, and a detailed installation file with links to videos and written tutorials of all steps. Our templates are compatible with all stable zen cart addons/modules/plugins and have been tested on versions 1.3.8a through 1.5. The templates will probably work on lower versions of zen cart as well, although they have not been tested on these versions.

Strasheela is a constraint-based music composition system. The user defines music theories by sets of compositional rules and the system creates music which complies with these theories. User-interface is the programming language Oz.

ChiOz is a set of Oz 3 functors that provide various useful modules. ChiOz is currently dead.

This project pretends solved Distributed Constraint Satisfaction Problems (Dis-CSP) using Mozart-OZ. Asynchronous Backtracking algorithm will be implemented.