Search Results for "linux terminal" - Page 2
Sort By:
Showing 241 open source projects for "linux terminal"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
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
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
smib is one of the smallest and simplest computer algebra system in the world, but simple does not mean simplistic. Using smib you can explore many branches of mathematics (e.g. number theory, algebra, calculus, numerical analysis, differential geometry, probability and stochastic calculus) and also some physics (e.g. electromagnetism and quantum mechanics).. By simple you can understand easy to program (smib is a dynamically typed language, with strong affinity to recursivity, programs...
-
3
Big Q Sort
An in-place external sort
-
4
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
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.
-
6
CUDALucas
A program that uses CUDA to accelerate the Lucas Lehmer test.
CUDALucas is a program implementing the Lucas-Lehmer primality test for Mersenne numbers using the Fast Fourier Transform implemented by nVidia's cuFFT library. You need a CUDA-capable nVidia card with compute compatibility >= 1.3 up to CUDA 6.5, 2.x up to 7.0 and 3.x for >=CUDA 8.0 . The program is run from the command line, however it can be configured without using a terminal. See the Wiki for more details. README for new users available at the Files/Downloads page. -
7
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) -
8
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. -
9
A package for computations with finite automata (rooted tree automorphisms) for the GAP system, http://www.gap-system.org.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
11
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.
-
12
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. -
13
Latin Square Toolbox
Generates Latin squares and counts their transversals
The Latin Square Toolbox contains software tools for efficiently generating Latin squares and counting their transversals with various user-configurable options. This open source release aims to help educate folks on Latin squares and their important applications to cryptography. This version contains three tools: 0. Latin Square Generator (LSG) 1. Latin Square Transversal Counter (LSTC) 2. Latin Square Property Checker (LSPC) -
14
Qalculate! is a multi-purpose desktop calculator for GNU/Linux (now ported to Mac via MacPorts). It is small and simple to use but with much power and versatility underneath. Features include customizable functions, units, arbitrary precision, plotting, and a user-friendly interface (GTK+). Qalculate! has now moved to GitHub (https://github.com/Qalculate). Get the latest version from http://qalculate.github.io/downloads.html.
-
15
hn++
Two Neighbours and Hermitian Neighbours in C++
Two-Neighbours (based on the work of B. Hemkemeier) and Hermitian Neighbours (based on the work of A. Schiemann) rewritten in modern C++. Based on a geometrical method used by Witt and Kneser, HN++ (contains TN and HN) classifies genera of lattices. Building upon those ideas and the older celebrated programs TN and HN, HN++ contains various methods to analyse invariants of the constructed lattices as well as more randomized algorithms to quickly search through large genera. -
16
Command line FFT
A simple command line utility to produce an FFT/IFFT of ASCII data
Ever had a bunch of ASCII data that you would like to have a quick look at in frequency domain, but don't want to fire up some bulky analysis software package just for that? Well, I have... So I wrote this tiny tool. It is based on fftw (www.fftw.org) and boost's program options (boost.org). cli-fft is really simple: All it does is to receive ASCII data from a file or standard in, FFT it and write out the result into a file or to standard out. -
17
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... -
18
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:... -
19
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... -
20
Turing and Post Machines: C++ Simulators
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery. -
21
LightPCC
Parallel pairwise correlation computation on Intel Xeon Phi clusters
The first parallel and distributed library for pairwise correlation/dependence computation on Intel Xeon Phi clusters. This library is written in C++ template classes and achieves high speed by exploring the SIMD-instruction-level and thread-level parallelism within Xeon Phis as well as accelerator-level parallelism among multiple Xeon Phis. To facilitate balanced workload distribution, we have proposed a general framework for symmetric all-pairs computation by building provable bijective... -
22
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. -
23
Burris Numerical System
A Numerical System controlled by algorithms.
BNS - Burris Numerical System was written to store the last digit of a number in 3 dimensional space but store the rest of the number mathematically in the 4th dimension of space. The result is that no matter how long the number is you can write it down on a piece of paper and put it in your pocket. The software can be used to retrieve the number. This can be used to save computer files. The only limit with BNS is how much time the user has. The software nor the numerical system has no... -
24
Primenum
Calculation of Primenumbers
*Changelog: NOW AS A DEB PACKAGE! Only for Unix-and unixoid Operating Systems! (It is programmed on Linux Ubuntu 15.10) You can with the Shell- and Python Program calc prime numbers to, no: NO LIMIT (Okay, maybe the processor speed: Calculation of prime numbers to 1.000.000 prime numbers a AMD Athon II M300 goes to 90min! and by a i7 6700HQ 12min!) A installer and README is to package packed ;-) -
25
Community Detection Modularity Suite
Suite of community detection algorithms based on Modularity
- MixtureModel_v1r1: overlapping community algorithm [3], which includes novel partition density and fuzzy modularity metrics. - OpenMP versions of algorithms in [1] are available to download. - Main suite containing three community detection algorithms based on the Modularity measure containing: Geodesic and Random Walk edge Betweenness [1] and Spectral Modularity [2]. Collaborator: Theologos Kotsos. [1] M. Newman & M. Girvan, Physical Review, E 69 (026113), 2004. [2] M....
