Preventive and reactive maintenance work orders for capturing photos, meter readings, file uploads, downtime and other metrics.
Set up in minutes, not months. Maintainly replaces spreadsheets, clipboards, and broken email chains with a modern CMMS built for how maintenance teams actually work.
Learn More
MongoDB Atlas runs apps anywhere
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.
Pilo Visual Tools for Scheme (Pvts) is a basic interpreter with visual tools for Scheme (LISP). Written in Java, PVTS has an interpreter and three visualization modules: a global environment viewer, a function call viewer, and a data structure viewer.
The Mnemosyne plugin for TeXmacs allows you to edit databases from the Mnemosyne flash-card program in TeXmacs, allowing you to include or edit mathematics in a fairly easy and efficient way.
In the spirit of Doug Bagley's Great Language Shootout, we provide our own, up to date version that we intend to run as an open source project, making it easy to contribute new tests, and easy to run the framework on your own computer.
Algheme is a computer Algebra system written in the Scheme language.
This project is actually aimed to symbolic computation using Groebner
Bases and related topics; nevertheless, it can eventually evolve in a
computational system for Mathematics in g
CloudZero automates the collection, allocation, and analysis of your infrastructure and AI spend to uncover waste and improve unit economics.
CloudZero is the leader in proactive cloud cost efficiency. We enable engineers to build cost-efficient software without slowing down innovation. CloudZero's next-generation cloud cost optimization platform automates the collection, allocation, and analysis of cloud costs to uncover savings opportunities and improve unit economics. We are the only platform that enables companies to understand 100% of their operational cloud spend and take an engineering-led approach to optimizing that spend. CloudZero is used by industry leaders worldwide, such as Coinbase, Klaviyo, Miro, Nubank, and Rapid7.
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.