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.
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
This Java program calculates the SPBRG value for a given baud rate (Baudrate) and clock frequency. It comes with a graphical interface and a simple value interpretation guide. A Java Webstart file (.jnlp) is provided.
libLCS is a hardware description library in C++ aiming to be as powerfull and easy as the Verilog HDL. It currently supports logic gates, flipflops, clock, and facilitates delays, continuous assignments and variable value dumping into VCD files.
This is an application that computes the date and time in formats appropriate for astronomers - julian date, sidereal time, modified julian date, truncated julian date. Extremely accurate, includes correction for apparent sidereal time.
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.
This application is a clock for poker tournaments. Absolutely everything will be configurable: levels with small/big blinds/ante, duration, breaks, number of players, tables, payout table.
a set of free tools and software aimed at design automation. SPICE ( NG-spice )MAGIC XCIRCUIT
Main aim - to automate the layout of clock distribution on a chip, using rotary clock oscilation.
GunStamp is a program which can be used where ever accurate timestamping of events are required. What it does, is to syncronize the computer clock to an external time source (a GPS) connected to a serial port, and then use this clock to timestamp events.