Showing 826 open source projects for "command-line kill linux"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1

    CTL-RP

    CTL-RP is a theorem prover for Computation Tree Logic (CTL)

    CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) http://ctlrp.sourceforge.net (if you are not inside China.)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    MicroGP

    MicroGP

    A multi-purpose extensible self-adaptive evolutionary algorithm

    MicroGP (µGP, ugp) is a versatile optimizer able to outperform both human experts and conventional heuristics in finding the optimal solution of hard problems. It is an evolutionary algorithm since it mimics some principles of the Neo-Darwinian paradigm. ⚠️ A new version is available on https://github.com/squillero/microgp4
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    BagaturChess

    BagaturChess

    Java Chess Engine

    This is UCI Chess Engine writen in Java. Since version 1.4 (inclusive) the project was moved to https://github.com/bagaturchess/Bagatur
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Graphplan Implementations
    This project consists of various implementations of the Graphplan algorithm. At the moment we have two implementations of Graphplan: * Emplan - A C++ implementation for Linux, Windows and MacOS X * JavaGP - A Java implementation
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
    Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

    Native application identity and user-based security for your Azure cloud

    Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
    Get a free trial
  • 5

    sgmweka

    Weka wrapper for the SGM toolkit for text classification and modeling.

    Weka wrapper for the SGM toolkit for text classification and modeling. Provides Sparse Generative Models for scalable and accurate text classification and modeling for use in high-speed and large-scale text mining. Has lower time complexity of classification than comparable software due to inference based on sparse model representation and use of an inverted index. The provided .zip file is in the Weka package format, giving access to text classification. Other functions are usable through...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 6
    ProtPOS

    ProtPOS

    Prediction of PROTtein Preferred Orientation on a Surface

    ProtPOS is a self-contained, lightweight, and easy-to-use software package for predicting the preferred orientation of protein on a given surface upon initial adsorption. It searches quickly for the low energy protein poses in all translational and rotational degrees of freedom of the protein with respect to the surface using particle swarm optimization. Each successful run returns the lowest energy orientation of the protein on the surface in PDB format, which is readily used for MD...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Genetic Programming Classifier is a distributed evolutionary data classification program. It uses the ensemble method implemented under a parallel co-evolutionary Genetic Programming technique.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A broad collection of command-line-interface tools for performing machine learning operations. Each tool is a thin wrapper around functionality in a well-documented C++ class library. Waffles tools are designed to be simple, script-friendly, and to
    Downloads: 0 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built 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.
    Create free account
  • 10

    GA-EoC

    GeneticAlgorithm-based search for Heterogeneous Ensemble Combinations

    In data classification, there are no particular classifiers that perform consistently in every case. This is even worst in case of both the high dimensional and class-imbalanced datasets. To overcome the limitations of class-imbalanced data, we split the dataset using a random sub-sampling to balance them. Then, we apply the (alpha,beta)-k feature set method to select a better subset of features and combine their outputs to get a consolidated feature set for classifier training. To...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    EliteOCR

    EliteOCR

    OCR tool for market screenshots in Elite: Dangerous

    EliteOCR allows you to OCR market screenshots from Elite: Dangerous and export the data to various formats and services.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    cmdSayIt

    Command Line Text to Speech tool for windows

    This program uses SAPI voices for Text to speech from the commandline. its a simple tool written in C# Samples included for English and Japanese, but you will need a Japanese voice installed on your PC
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    nMars - Corewars MARS for .NET
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    TinyCog

    Cognitive architecture with a focus on self-models

    TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    RadicalSpam

    RadicalSpam

    Open Source Anti-Spam and Anti-Virus Gateway

    RadicalSpam is a free and open source package distributed under GPL v2, including products such as Postfix, SpamAssassin Amavisd-new, Clamav, Razor, DCC, Postgrey, Bind; providing a secure SMTP relay, ready to use with linux and docker environement. More information : http://www.radical-spam.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    mwetoolkit

    THIS PROJECT MIGRATED TO https://gitlab.com/mwetoolkit/mwetoolkit3/

    THIS PROJECT MIGRATED TO https://gitlab.com/mwetoolkit/mwetoolkit3/ The Multiword Expressions toolkit aids in the automatic identification and extraction of multiword units in running text. These include idioms (kick the bucket), noun compounds (cable car), phrasal verbs (take off, give up), etc. Even though it focuses on multiword expresisons, the framework is quite complete and can also be useful in any corpus-based study in computational linguistics. The mwetoolkit can be...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    Mario Maker Bot for Twitch

    Mario Maker Bot for Twitch

    Bot collects Super Mario Maker level codes automatically from chat.

    Mario Maker Bot for Twitch collects Super Mario Maker level codes automatically from Twitch chat. It is a helpful tool for streamers who want to play Mario Maker levels made by viewers. Streamer can ask bot to pick one random level from the levels it has collected during the stream. Bot keeps log of levels it has collected and which it has randomly selected. Commands: ---------------- !level = If posted by streamer/master this command tells bot to pick one random level and removes it...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The General Hidden Markov Model Library (GHMM) is a C library with additional Python bindings implementing a wide range of types of Hidden Markov Models and algorithms: discrete, continous emissions, basic training, HMM clustering, HMM mixtures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    ARCOS

    Asynchronous Reasoning with Contexts and Streams

    ARCOS (Asynchronous Reasoning with COntexts and Streams) is a software system which implements the concept of Asynchronous Multi-Context Systems, which where recently proposed as another generalisation of Multi-Context Systems and Reactive Multi-Context Systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    MARF is a general cross-platform framework with a collection of algorithms for audio (voice, speech, and sound) and natural language text analysis and recognition along with sample applications (identification, NLP, etc.) of its use, implemented in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Kaldi
    Speech recognition research toolkit
    Downloads: 20 This Week
    Last Update:
    See Project
  • 22
    Java OCR
    Java OCR is a suite of pure java libraries for image processing and character recognition. Small memory footprint and lack of external dependencies makes it suitable for android development. Provides modular structure for easier deployment
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    qcv

    qcv

    Computer Vision Framework Library (for Linux)

    QCV is a Qt-based computer vision framework library that provides an easy to use interface to display, analyze and run computer vision algorithms. The library is provided with practical examples to show what you can do with just a few lines of code. OpenCV is used as the supporting computer vision library. QCV provides interfaces for C and C++. The C interface is a set of simple function calls to allow the user to visualize data and obtain events from the system and user input. The...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    JGAP is a Genetic Algorithms and Genetic Programming package written in Java. It is designed to require minimum effort to use, but is also designed to be highly modular. JGAP features grid functionality and a lot of examples. Many unit tests included. Legal notice/Impressum: Klaus Meffert An der Struth 25 D-65510 Idstein sourceforge <at> klausmeffert.de
    Downloads: 5 This Week
    Last Update:
    See Project
  • 25
    Adaptive Gaussian Filtering

    Adaptive Gaussian Filtering

    Machine learning with Gaussian kernels.

    Libagf is a machine learning library that includes adaptive kernel density estimators using Gaussian kernels and k-nearest neighbours. Operations include statistical classification, interpolation/non-linear regression and pdf estimation. For statistical classification there is a borders training feature for creating fast and general pre-trained models that nonetheless return the conditional probabilities. Libagf also includes clustering algorithms as well as comparison and validation...
    Downloads: 0 This Week
    Last Update:
    See Project