Search Results for "terminal"
Sort By:
Showing 41 open source projects for "terminal"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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.
-
1
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. -
2
Advanced Trigonometry Calculator
Open-source C/C++ math engine for advanced scientific computing
Advanced Trigonometry Calculator (ATC) is an open-source mathematical computing engine written mainly in C/C++. Created in 2011 and maintained by Renato Alexandre dos Santos Freitas, ATC is designed as a practical Windows desktop application for advanced calculations, automation, and technical problem solving. ATC supports equation solving, polynomial tools, complex numbers, matrix calculations, statistics, physics, geometry, unit conversions, DSP/FFT operations, and scripting. It can... -
3
antoniovandre_eval GUI
Uma calculadora desenvolvida em C, com interface gráfica em Python.
Uma calculadora desenvolvida em C, com interface gráfica em Python. -
4
Uranie
Uranie is CEA's uncertainty analysis platform, based on ROOT
Uranie is a sensitivity and uncertainty analysis plateform based on the ROOT framework (http://root.cern.ch) . It is developed at CEA, the French Atomic Energy Commission (http://www.cea.fr). It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc. Thanks to ROOT, it is easily scriptable in CINT (c++ like syntax) and Python. Is is... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
6
Regina
Software for 3-manifold topology and normal surface theory
A suite of mathematical software for 3-manifold topologists, focusing on the study of 3-manifold triangulations, normal surfaces and angle structures. -
7
Mathpad
A Python based command line math utility.
Mathpad is a command line utility. It will later have a GUI, but not at this time. -
8
That project aims at providing a clean API and a simple implementation, as a C++ library, of an Airline-related Inventory Management system. That library uses the Standard Airline IT C++ object model (http://sf.net/projects/stdair).
-
9
That project aims at delivering a reference implementation of a library, estimating and serving average prices paid for air travel products. It is not intended for use by an actual airline, but rather by simulators or other airline-related modules of
-
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.
-
10
wmtsa-python
Discrete wavelet methods for time series analysis using python
Several python libraries implement discrete wavelet transforms. However, none of them, or at least none that I know, is aimed at scientific use. This library aims at filling this gap, in particular considering discrete wavelet transform as described by Percival and Walden. This module started as translation of the wmtsa Matlab toolbox (http://www.atmos.washington.edu/~wmtsa/), so most naming conventions and most of the code structure follows their choices. The code uses a mix of python and... -
11
-
12
portas
Pequeno script em Python para provar o problema de Monty Hall
O jogo consiste no seguinte: Monty Hall (o apresentador) apresentava 3 portas aos concorrentes, sabendo que atrás de uma delas está um carro (prémio bom) e que as outras têm prêmios de pouco valor. Na 1ª etapa o concorrente escolhe uma porta (que ainda não é aberta); De seguida Monty abre uma das outras duas portas que o concorrente não escolheu, sabendo à partida que o carro não se encontra aí; Agora com duas portas apenas para escolher — pois uma delas já se viu, na 2ª... -
13
PyDQP
Distributed QP Solver in Python
PyDQP implementes 11 different dual decomposition schemes, both first and second order, in order to solve quadratic programs in a distributed fashion. -
14
VisualRiSC
Toolbox visualizing computations of Realizable Sign Conditions.
This toolbox contains a set of Python procedures in order to compute examples associated with the computation of Realizable Sign Conditions (RiSC) due to the approach by Basu, Pollack and Roy. The RiSC approach is a way to solve and analyze systems of polynomial equations and inequalities over the real numbers in the field of real-algebraic geometry. The involved computations often consist of highly sophisticated notions, not easy to illustrate by hand. VisualRiSC provides implementations of... -
15
This is the former home of pyecm, which has now been moved to github: https://github.com/martingkelly/pyecm Pyecm factors large integers (up to 50 digits) using the Elliptic Curve Method (ECM), a fast factoring algorithm.
-
16
android-python2.7.3
Python2.7.3 for android
This is python2.7.3 which can be compiled using android-ndk By using python ,Its is possible to run lot of great application in android phone. At the time of writing I could run IPython, Isympy, Django etc on my android phone. This project only considering command-line binary builds. Not any GUI apps. -
17
A C++ library for the computation of bifurcation diagrams: it provides tools for the integration of systems of ODEs that depend on parameters. A Python interface is included.
-
18
Mathemapy
A Python calculator program
Mathemapy is a feature-rich calculator made in Python. It can do multiple types of division, solve equations, expand equations and more. -
19
Compilation of Physics Calculators
A compliation of Physics derived claculators
A NEW GUI VERSION WILL BE RELEASED SOON! Thank you for visiting the Physics Calculator, provided by PIezoSystems Inc., please visit their company website at https://piezosystems.org. For other downloads, please visit our github page, https://github.com/PiezoSystems. We hope that you find this program useful and easy to use, for troubleshooting, please email us, contact@piezosystems.org. If any bugs were found, please email us at bugs@piezosystems.org. -
20
-
21
PyPedal is a Python module that provides tools for the manipulation of pedigrees, simple visualization of pedigrees, and the calculation of measures of genetic diversity from pedigrees.
-
22
Famms is a Python module for applying the method of manufactured solutions (MMS) to PDE simulators written in C/C++, Fortran, and Python.
-
23
swiginac is a Python interface to the GiNaC (GiNaC is not a CAS) C++ library, built with SWIG. The aim of swiginac is to make all the functionality of GiNaC accessible from Python.
-
24
Arabeyes
A project to increase free Arabic fonts on Unix/Linux
Arabeyes is a Meta project that is aimed at fully supporting the Arabic language in the Unix/Linux environment. It is designed to be a central location to standardize the Arabization process. Arabeyes relies on voluntary contributions. -
25
