Search Results for "linux terminal for windows7"
Sort By:
Showing 129 open source projects for "linux terminal for windows7"
View related business solutions-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
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.
-
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
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
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
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. -
6
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. -
7
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). -
8
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. -
9
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. -
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.
-
10
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... -
11
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. -
12
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 -
13
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... -
14
-
15
Big Q Sort
An in-place external sort
-
16
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
17
C++ BigInt class
C++ BigInt class enables to work with arbitrary precision integers
C++ BigInt class that enables the user to work with arbitrary precision integers. Latest Version: 10.3 (2019-03-06) -
18
Finite Transform Library
A Library is for Finite Transforms
The Library is for Finite Transforms such as the Number Theoretic Transform (NTT) and Finite Radon Transform (FRT). Current modules include NTTW for NTTs with high resolution (microsecond) timing, basic array and imaging. The transforms are optimised for performance. -
19
A package for computations with finite automata (rooted tree automorphisms) for the GAP system, http://www.gap-system.org.
-
20
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
21
NOMAD is a C++ code that implements the MADS algorithm (Mesh Adaptive Direct Search) for difficult blackbox optimization problems. Such problems occur when the functions to optimize are costly computer simulations with no derivatives.
-
22
Finita
Package for solving PDE systems numerically
Finita is a software package for solving complex algebraic/differential systems of equations numerically using various grid methods. -
23
CalclipseMath
Java math expression parser and script interpreter
CalclipseMath – CalM for short – is a math parser written in Java. With a few lines of code CalM enables your application to evaluate user-supplied mathematical expressions, such as "e^(sin .25pi)" and "(sqrt e)^(sqrt 2)". The standard configuration of the parser has a wide variety of mathematical operations, ranging from basic arithmetic, trigonometry, combinatorics, linear algebra and more. CalM includes a script interpreter which is based on the math parser. The CalM scripting language... -
24
Lib Hyper Math for GCC (C++)
Library Hyper Math for GCC (C++)
This library has complementary features to the "cmath" library. Here we present functions for trigonometric calculations (cot, sec, csc, acot, asec, acsc) and hyperbolic (coth, sech, csch, acoth, asech, acsch) and exponential (nthrt) calculations and more. The results are presented in radians. For results in degrees multiply 180/M_PI by radians or use function torad. For degrees multiply M_PI/180 or use todeg. For more libraries, go to:... -
25
Lib Finance Math GCC (C++) Lotus 123
Library Finance Math for GCC (C++)
This library has the implementation of all financial functions in the Lotus 1-2-3 spreadsheet for C++ language, respecting the same nomenclature used (where possible). The financial features of this library are based on the collection of finely-tuned features found in the old Lotus 1-2-3 spreadsheet software. For more libraries, go to: https://sourceforge.net/u/augustomanzano/profile. To see my curriculum vitae go to: http://lattes.cnpq.br/8184615061457853. Augusto...
