Search Results for "automatic"
Sort By:
Showing 8 open source projects for "automatic"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
JAX
Composable transformations of Python+NumPy programs
...Compilation happens under the hood by default, with library calls getting just-in-time compiled and executed. But JAX also lets you just-in-time compile your own Python functions into XLA-optimized kernels using a one-function API, jit. Compilation and automatic differentiation can be composed arbitrarily, so you can express sophisticated algorithms and get maximal performance without leaving Python. -
2
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive... -
3
FractalRenderingApp
Lightweight app for visualization of Mandelbrot and Julia set
Source code is available on https://github.com/MarkoLeskovar/FractalRenderingApp -
4
Miramath is an open source project inspired by the MathCad mathematical application. The main user interface consists of a page into which mathematical expressions can be entered or edited and then evaluated.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
TAVIA
Open statistics and scientific graphing
...Analyses and graphs remain linked to their source data so results can be refreshed when data changes. TAVIA supports Windows, Linux, and macOS, includes a command-line analysis interface, encrypted project files, plugin support, automatic update checking, and built-in documentation. It is designed for researchers, students, laboratories, and analysts who want a local-first environment for managing data, analysis, visualization, and reporting. Licensed under GPL-3.0-only. -
6
A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.
-
7
autodiff
Python class for automatic differentiation
Python automatic differentiation class for forward mode automatic differentiation using operator overloading and reimplemented math functions. Single and partial derivatives are supported. Supported operators: +, -, *, /, **, +=, -=, *=, /=, **= Available functions: sin, cos, tan, asin, acos, atan, sqrt, exp, log, log10, sinh, cosh, tanh, asinh, acosh, atanh See README file for usage examples. -
8
QtoNum
python calculus library with imprecise and precise representations
QtoNum is a calculator for qualitative values (-, +), intervals and crisp numbers with arbitrary precision. QtoNum also handles infinitesimals and infinites. All these types can be mixed in expressions and conversions are performed automatically. QtoNum can be used as an interactive calculator (command line) and as a calculus library.
- Previous
- You're on page 1
- Next
