Search Results for "linux terminal for windows7"
Sort By:
Showing 247 open source projects for "linux terminal for windows7"
View related business solutions-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
Endpoint Management with Remote Control Built InSplashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
-
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
git-stats
Local git statistics including GitHub-like contributions calendars
git-stats is a Node.js command-line tool and library for tracking Git activity locally. It renders commit history as an ANSI contribution calendar similar to the graph displayed on GitHub profiles. Users can select custom date ranges, display global activity, filter commits by author, and compare additions with deletions. Author statistics can also be presented as terminal pie charts. Commit records are stored in a configurable local data file, with a JavaScript configuration file... -
3
gnuplot
A portable, multi-platform, command-line driven graphing utility
A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples. -
4
Maxima -- GPL CAS based on DOE-MACSYMA
Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0, giving the symbolic results [x=r+s, x=-s]. It can also calculate with exact integers and fractions, native floating-point, and high-precision big floats. Maxima has user-friendly front-ends, an online manual, plotting commands, and numerical... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Msieve is a C library implementing a suite of algorithms to factor large integers. It contains an implementation of the SIQS and GNFS algorithms; the latter has helped complete some of the largest public factorizations known
-
6
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS. -
7
calc: C-style arbitrary precision system
Calc: arbitrary precision C-like arithmetic & calculator
Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions. -
8
R packages (maintained by YJLEE)
R packages for PK/PD modeling , BE/BA, drug stability, ivivc, etc.
These R packages are developed for data analysis of PK/PD modeling & simulation, bioequivalence/bioavailability (BE/BA), drug stability, in-vitro and in-vivo correlation (ivivc), as well as therapeutic drug monitoring (TDM). -
9
IntervalRpnCalculator
An HP RPN calculator with interval output
This terminal app runs on PCs or laptops running OSX or GNU/Linux. It attempts to mimic the functionality of an HP ReversePolishNotation [RPN] calculator with the added enhancement of interval output. So along with your answer, you get a good idea of its trustworthiness. This app uses GAOL, a C++ library to perform arithmetic with floating-point intervals. -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
BASH antoniovandre_mathgame
Um simples jogo de operações aritméticas escrito em BASH.
Um simples jogo de operações aritméticas escrito em BASH. -
11
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... -
12
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. -
13
eval: command line calculator
Evaluate math expressions from command line or in interactive session.
Small (156 kB) command line calculator. Evaluate an expression directly from command line with eval <expr> command Example: c:\> eval 2+3 5 or in an interactive session. In a session, results may be assigned to unlimited number of variables and used in later calculations. Example: > x := 6+7 13.0000 >y := x*2 26.0000 Large number of elementary, special, trigonometric, hyperbolic and probability distribution functions are available. Number of decimal digits is defined by... -
14
rechne.exe
Command-line calculator and libray.
Easy-to-use command-line calculator for basic and scientific calculations. -
15
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... -
16
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... -
17
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. -
18
JME (Java Math Expression)
Evaluador de expresiones matemáticas para Java en español
Biblioteca para Java que implementa un potente evaluador matemático en español y un lenguaje estructurado de script, JMEScript, que hace uso de éste. Puede evaluar expresiones altamente complejas, que incluyen; * vectores * matrices * números complejos * números enteros y reales de precisión arbitraria, * expresiones booleanas * conjuntos * cadenas * diccionarios * grafos * correspondencias y relaciones finitas Permite especificar operaciones y funciones definidas por el... -
19
OpenSIMPLY
Discrete-event simulation modeling software for science and education
...Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. This simulation tool runs in Windows and Linux, on 32-bit and 64-bit platforms, as a GUI or console (terminal) application. Write the model only once, simulate anywhere. Videos on installing OpenSIMPLY for different IDEs and operating systems : https://www.youtube.com/playlist?list=PLnyWoktGqA -
20
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
-
21
libdspl-2.0
libdspl-2.0 is opensource cross-platform digital signal processing alg
libdspl-2.0 — opensource cross-platform digital signal processing algorithm library, written in C language. Distributed under LGPL v3 license. This allows to use this library in all applications with dynamic linking. -
22
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
23
TXM
Unicode XML TEI text analysis platform
TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP... -
24
This program manipulates representations of compact semi-simple Lie algebras. It can compute tensor products, (anti-)symmetric parts and the branching rules into maximal subalgebras.
-
25
SHA256-in-C
SHA-256 Algorithm Implementation in C
