Search Results for "linux terminal"
Sort By:
Showing 41 open source projects for "linux terminal"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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. It supports an agentic proving workflow where the system behaves more like an interactive... -
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
xLaDe
A Lean 4 Ecosystem Framework!
xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of... -
4
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. -
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
H9A
H9A counts how many times a digit appears in any range, instantly.
H9A is an installable Python package that counts how many times a given digit appears in a range of numbers (by default: the digit 9 between 1 and 100). It provides both a h9a command-line tool and an importable library, and it prints each step of the calculation — the per-place counts and the combined total — as styled, colorized output. It is built with rich for console formatting, pyfiglet for an ASCII-art banner, and Pillow for optional terminal-style screenshots. -
6
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... -
7
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
8
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. -
9
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. -
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
10
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).
-
11
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
-
12
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... -
13
-
14
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ª... -
15
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. -
16
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.
-
17
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. -
18
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.
-
19
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. -
20
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. -
21
-
22
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.
-
23
Famms is a Python module for applying the method of manufactured solutions (MMS) to PDE simulators written in C/C++, Fortran, and Python.
-
24
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.
-
25
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.
