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
AI-generated apps that pass security review
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
...This provides an OCaml REPL with a great user interface such as markdown/HTML documentation, LaTeX formula by MathJax, and image embedding. OCaml Jupyter requires the libraries zlib, libffi, libgmp, libzmq 5+.
zsbc is a bc-language calculator working with libgmp
zsbc can work with two numeric libraries: libbc (original library of bc) and libgmp.
zsbc is fully compatible with bc language and extends it for a few features like implicit powmod and automatic invmod.
When running with libbc numbers lib, it works with decimal numbers (and it manages the "scale" variable = number of decimals)
When running with libgmp numbers lib, it works with integers only.
zsbc works on Windows and Linux.
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.