Protect your business with AI policies and data loss prevention in the browser
Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
Download Chrome
Gen AI apps are built with MongoDB Atlas
Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Open-Maude is a hacking version of the Maude System initially developed by SRI-International and the University of Illinois at Urbana-Champaign. It includes Small-Maude, a collateral project implementing a subset of Maude in Groovy
The goal of this project is provide a OpenSource (LGPL) implementation of the
Trac 2001 programming language. Please visit the TRAC Foundation website at http://www.tracfoundation.org/ for additional information.
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.).
This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/