RaimaDB, an embedded time series database that can be used for Edge and IoT devices, can run in-memory. It is a lightweight, secure, and extremely powerful RDBMS. It has been field tested by more than 20 000 developers around the world and has been deployed in excess of 25 000 000 times.
RaimaDB is a high-performance, cross-platform embedded database optimized for mission-critical applications in industries such as IoT and edge computing. Its lightweight design makes it ideal for resource-constrained environments, supporting both in-memory and persistent storage options. RaimaDB offers flexible data modeling, including traditional relational models and direct relationships through network model sets. With ACID-compliant transactions and advanced indexing methods like B+Tree, Hash Table, R-Tree, and AVL-Tree, it ensures data reliability and efficiency. Built for real-time processing, it incorporates multi-version concurrency control (MVCC) and snapshot isolation, making it a robust solution for applications demanding speed and reliability.
Learn more
SPEC Innovations’ leading model-based systems engineering solution is designed to help your team minimize time-to-market, reduce costs, and mitigate risks, even with the most complex systems. Available as both a cloud-based and on-premise application, it offers an intuitive graphical user interface accessible through any modern web browser.
Innoslate's comprehensive lifecycle capabilities include:
• Requirements Management
• Document Management
• System Modeling
• Discrete Event Simulation
• Monte Carlo Simulation
• DoDAF Models and Views
• Database Management
• Test Management with detailed reports, status updates, results, and more
• Real-Time Collaboration
And much more.
Learn more
GLM-5.2
GLM-5.2 is a next-generation large language model built for users who need strong reasoning, coding support, and agentic AI capabilities. It can assist with complex software development tasks, technical problem-solving, automation workflows, and advanced research projects. The model is designed to process long-context information, which makes it helpful for analyzing large documents, reviewing codebases, and maintaining continuity across multi-step tasks. GLM-5.2 supports developers and organizations that want to create AI-powered tools capable of planning, reasoning, and executing more sophisticated workflows. Its architecture is structured to deliver high performance while improving efficiency for demanding AI use cases. Businesses can use GLM-5.2 to enhance productivity, streamline engineering processes, and build more capable intelligent applications. It is also useful for teams that need AI assistance across documentation, data interpretation, coding, testing, and workflow automation. The model’s emphasis on agentic engineering makes it well-suited for applications that require more than simple text generation. GLM-5.2 provides a flexible AI foundation for companies looking to bring advanced reasoning and automation into their products or internal operations.
Learn more
Inkling
Inkling is Thinking Machines’ open-weights foundation model built for customization, multimodal reasoning, and agentic AI workflows. The model uses a Mixture-of-Experts architecture with 975 billion total parameters and 41 billion active parameters, making it large in capacity while activating only a subset of experts per token. Inkling supports up to a 1 million token context window and was pretrained on 45 trillion tokens spanning text, images, audio, and video. It is designed as a broad generalist model with strengths across coding, reasoning, instruction following, factuality, tool use, vision, audio understanding, forecasting, and safety. Developers can tune its thinking effort to trade off latency, cost, and performance, which is useful for production systems that need efficient reasoning at scale. Inkling can be fine-tuned on Tinker, tested in the Inkling Playground, and deployed through partners such as TogetherAI, Fireworks, Modal, Databricks, Baseten, vLLM, SGLang, llama.cpp, and Hugging Face transformers. The model can generate applications, operate tools, create styled artifacts, reason over visual and audio inputs, and support long refinement loops for collaborative work. Thinking Machines also previewed Inkling-Small, a lighter Mixture-of-Experts model with 276 billion total parameters and 12 billion active parameters for lower-cost and lower-latency workloads. By combining open weights, multimodal training, agentic capabilities, efficient reasoning, and fine-tuning support, Inkling gives builders a flexible AI foundation for specialized products and workflows.
Learn more
