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
The Apple Device Management and Security Platform
For IT teams at organizations that run on Apple
Achieve harmony across your Apple device fleet with Kandji's unmatched management and security capabilities.
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.
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.