Search Results for "command-line kill linux" - Page 3
Sort By:
Showing 392 open source projects for "command-line kill linux"
View related business solutions-
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.
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
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
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
3
ExRandom
Sampling exactly from the normal and exponential distributions
ExRandom is a small header-only C++11 library for exact sampling from the normal, exponential, and discrete normal distributions (provided that the underlying generator is perfect). This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257. -
4
This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Programmer's library for random numbers. Also random number generator testing code. Intended for simulation, games and "Monte-Carlo" algorithms.
-
6
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data... -
7
PlanetPack
Radial-velocity & transits analysis tool for exoplanets
PlanetPack is a software tool developed to facilitate the radial-velocity time-series analysis for the goal of exoplanets detection, characterization, and basic dynamical simulations. The description of the main theoretic concepts, statistical methods and algorithms that PlanetPack implements, is given in the following refereed papers: R.V. Baluev 2013, Astronomy & Computing, V. 2, P. 18 (initial release); R.V. Baluev 2018, Astronomy & Computing, V. 25, P. 221 (update 3.0). The... -
8
APBS
Biomolecular electrostatics software
This software has moved to http://www.poissonboltzmann.org/. -
9
Generic predictor that not depends data itself, this assumes original data is in L2(R) and there exists sampling theorem.
-
Forever Free Full-Stack Observability | 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
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
11
ObjectVolume
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
The ObjectVolume program calculates the volume, surface area and centroid of a closed triangular mesh represented in an object file (.obj). The process goes through the list of triangles that make up the surface and, for each triangle, forms a tetrahedron with an external point. The program uses the origin (0,0,0). The volume of the tetrahedron is then calculated. Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object... -
12
SparthMP
SparthMP is an ANSI-C math library for Multi-Precision calculations
SparthMP is an ANSI-C math library for Multi-Precision calculations, i.e. beyond float/double domain. It supports regulated accuracy of calculations. For algorithm design with this library you should have an understanding of rounding errors in math. -
13
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.
-
14
Software for exploring & solving polyform puzzles, written in Python. Includes solvers for: pentominoes/polyominoes, solid pentominoes, Soma cubes, polycubes, polyiamonds, polyhexes, polysticks, and more to come.
-
15
OpenM++
OpenM++: open source microsimulation platform
IMPORTANT: ========== Our project home page: https://openmpp.org Our latest source code and release available at: https://github.com/openmpp/main/releases/latest Our documentation available at: https://github.com/openmpp/openmpp.github.io/wiki SourceForge files still exist for historical reason. OpenM++ is an open source microsimulation platform inspired by and compatible with Modgen. OpenM++, compared to its closed source predecessor Modgen, has advantages like portability,... -
16
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. -
17
CutePy
Lightweight Qt-based Python console with variable explorer and history
CutePy is a lightweight Qt-based Python 3 console with variable explorer, command history, syntax highlighting and customizable startup script. Originally it was developed for simple scientific calculations as a replacement for e.g. Windows calculator or Python IDLE. Therefore its main aim is to start fast and provide more comfortable dealing with variables based on the Python language. However in the end it is a regular Python console and therefore can be used for almost any task. -
18
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) -
19
Complex Curved Shapes Generator Programs
Extended emulation of metalic gear toy, creates curved line designs.
This computer program is an exact emulation of a toy which was sold years ago called Magic Designer. There are 4 versions - MS Windows one written in Euphoria and C and one written for the Web for people who do not have a Windows computer. An Android version. And a new cross platform version. -
20
cocolib / light field suite
CUDA library for continuous optimization and light field analysis
Library for continuous convex optimization in image analysis, together with a command line tool and Matlab interface. Implements several recent algorithms for inverse problems and image segmentation with total variation regularizers and vectorial multilabel transition costs. Also included is a suite for variational light field analysis, which ties into the HCI light field benchmark set and givens reference implementations for a number of our recently published algorithms. *** NOTE: ... -
21
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. -
22
libirt
The new site is at http://psychometricon.net/libirt/
The new site is at http://psychometricon.net/libirt/ Library of functions to estimate the items and abilities from the responses of subjects to a questionnaire. The IRT models supported are the logistic model, the multivariate logistic model, the graded model and smoothing by penalization and kernel. -
23
lottie vectors
Create, display and process 2D vectors in a 3D window.
Lottie Vectors is an application for Matlab that alows you to do some pretty neat things -with vectors. More exactly -displaying them in ways that hopefully will allow you to explore and better understand your vector data. The basic idea is simple, take a vector defined in one of a few different types of data formats and map it on the screen. Add another vector and you start to form a 'route'. Each route or position vector can be accompanied with a 'force' vector. This can be used to... -
24
An R package for metrology. metRology provides classes and calculation and plotting functions for metrology applications, including measurement uncertainty estimation and (eventually) inter-laboratory metrology comparison studies.
-
25
octave-intinf
Infinite-precision integer arithmetic for Octave, written in Octave
Octave code to perform arbitrary-precision integer arithmetic. It may or may not work in Matlab. The supported operations are: >> s = a = intinf (126) % Creation of intinf-class object from integer or string >> b = intinf ('-792716404922304611755050042308687') >> c = a + b % Addition >> d = a - b % Subtraction >> e = c * d % Multiplication >> f = (e - a^2) / b %...
