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
Create a personalized AI chatbot for each team in minutes
Get better, faster answers for your whole team with an AI chatbot trained on your company documents.
QueryPal is the lifeline your team needs. Our AI chatbot integrates seamlessly with your communication channels, using advanced language understanding to identify and auto-answer repetitive questions — in seconds.
An interpreter of lambda calculus.
It shows reduction process of lambda terms.
Several evaluation strategies are supported.
Output format can be selected from LaTex, plain text.
Zarbi is a tool to create slideshows. Using a simple XML based input format, it can generates several outputs: HTML (single and splitted), PDF, LaTeX, TXT. Themes are available.
The MlDoC system is a powerfull but 'simple as needed' documentation tool
for OCaML programming projects. It consists currently of a frontend
module and various backend modules for HTML, ASCII-Text and LaTeX output.
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.