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
Go From AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
HOL is a system for proving theorems in Higher Order Logic. It
comes with a large variety of existing theories formalising
various parts of mathematics and theoretical computer science.
Mutually-recursive non-nested non-freely generated dataytypes in Isabelle/HOL. Implemented as the animation of a meta-theory regarding the initial model of Horn clauses.
This application features tlh-en and en-tlh dictionary, and a very basic (yet) klingon words/sentences analyzer. It does also have pretty basic klingon speech synthesis built on Macintalk english phonemes.
If you like it, please donate! Visit homepage if you want to make a donation (link below).
Graphical user interface and backend for a beatmania IIDX score tracker. It is to be the unofficial Japanese High-Score-Online (HOL) replacement. This will track Ex scores as well as tallies for accuracy. Will provide rival mode as well.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
The POP3 project is a collaboration to give a full API of POP3 functions in a PHP class.
Currently the class supports retrieval of all headers in a single call, message retrieval and decoding into associative arrays, message deletion and short-time hol