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
MATRIX is a world-class, award-winning learning management system (LMS) for businesses.
For small, medium, and large sized corporations, as well as associations and public organizations
The platform is known for delivering a great user experience, while incorporating all the essential tools companies need to support efficient training and learning.
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.
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...
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.
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.
The top-rated AI recruiting platform for faster, smarter hiring.
Humanly is an AI recruiting platform that automates candidate conversations, screening, and scheduling.
Humanly is an AI-first recruiting platform that helps talent teams hire in days, not months—without adding headcount. Our intuitive CRM pairs with powerful agentic AI to engage and screen every candidate instantly, surfacing top talent fast. Built on insights from over 4 million candidate interactions, Humanly delivers speed, structure, and consistency at scale—engaging 100% of interested candidates and driving pipeline growth through targeted outreach and smart re-engagement. We integrate seamlessly with all major ATSs to reduce manual work, improve data flow, and enhance recruiter efficiency and candidate experience. Independent audits ensure our AI remains fair and bias-free, so you can hire confidently.
This project pretends solved Distributed Constraint Satisfaction Problems (Dis-CSP) using Mozart-OZ. Asynchronous Backtracking algorithm will be implemented.