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
Deliver secure remote access with OpenVPN.
Trusted by nearly 20,000 customers worldwide, and all major cloud providers.
OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
GNU Prolog is a free implementation (under GPL) of the logic programminglanguage PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programminglanguage, Go! - a logic programminglanguage and DialoX - an XML-based user interface engine
Mercury is a modern logic/functional programminglanguage. The Mercury system includes a
compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor
of logic programming languages such as Prolog.
No-Nonsense Code-to-Cloud Security for Devs | Aikido
Connect your GitHub, GitLab, Bitbucket, or Azure DevOps account to start scanning your repos for free.
Aikido provides a unified security platform for developers, combining 12 powerful scans like SAST, DAST, and CSPM. AI-driven AutoFix and AutoTriage streamline vulnerability management, while runtime protection blocks attacks.