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
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build generative AI apps with Vertex AI. Switch between models without switching platforms.
An open source controller for Scalextric community
Open source controller for Scalextric community.
Scalextric Controller is composed by a custom hand controller, used to drive the Scalextric slots cars, and Android application used to communicate with the hand controller via Bluethoot low power (BLE). This project repository contains the PCB project, the micro embedded software, the Android App and the 3D CAD design of the cricital mechanical parts.
Synthesizing embedded control software from formal specifications
...Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine.
A step-by-step tutorial is available within the software package.
This project intends to issue a universal remote controller based on Bluetooth connectivity. The client side runs on every mobile phones supporting Java ME. Many applications can be controlled on the host, as long as they furnish a D-Bus interface.