21 projects for "mining software linux" with 2 filters applied:

  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • Paessler: Easy to Use With Enterprise Power. Free Trial Icon
    Paessler: Easy to Use With Enterprise Power. Free Trial

    A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

    You 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.
    Get Free Download
  • 1
    ALEPH-w

    ALEPH-w

    Data structures and Algorithms library

    Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that...
    Downloads: 13 This Week
    Last Update:
    See Project
  • 2
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 76 This Week
    Last Update:
    See Project
  • 3

    OpenAxiom: Scientific Computation System

    A system for computer algebra and symbolic mathematics

    OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    C/C++ Program Perfometer

    C/C++ Program Perfometer

    The program enables to get performance of C/C++ program for any metric

    The program enables to get performance of C/C++ program and separated pieces of code for any metrics (for instance : time, memory, metrics defined by user etc.). The measurement results are represented in detailed/summary reports. Latest Version: 2.10
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 5
    DIASER

    DIASER

    Cloud storage class, open source software.

    DIASER, Geo-data duplication long-term archive system & WAN vault. Manage mixed data archives generated by existing backup software. Ensure availability using commodity hardware. Retain administrative and financial control.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    QueLang

    QueLang is a designing tool to use for Questionnaire Design.

    This is the first implementation of QueLang. QueLang is a language I designed for Questionnaire Design and Implementation. This software can compile your code (written in .ql text files) into a special .qlc format (a kind of database). Then it can read those .qlc files to open them in viewer and export them to PDF format. It can be also used for exam and test designing! Tested on: -Linux Ubuntu 12.04 -Windows 7 64-bit QueLang can run by double clicking the .jar (or .exe) file. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Seagull is a multi-protocol traffic generator. Especially targeted towards IMS, Seagull supports Diameter (RFC3588 and all applications) over TCP/SCTP and IPv4/IPv6 , TCAP (over SS7 or Sigtran), XCAP over HTTP and Radius.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 8
    Code 2 Gether

    Code 2 Gether

    Learning to Code 2 Gether!

    Always wanted to learn how to code. Here you are at the right spot! We can proudly call this the Code 2 Gether Project! Well all learn to code together making Games!. Software! And more!!! All together So don't forget to join the project :D
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Underground IM - Java Instant Messenger

    Underground IM - Java Instant Messenger

    Underground IM is a free Java Instant Messaging solution.

    Underground IM is a free Java Instant Messaging solution. Both a client and a server are available. Underground IM is open source software distributed free of charge under the terms of the GNU General Public License. *Public Server: 64.94.101.216:5632
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • 10

    interpedia

    Interpedia VLMS (Virtual Lab Management System)

    Interpedia is moved to https://bitbucket.org/interpedia/interpedia/downloads --------------------------------------------- Interpedia VLMS is a cloud based (PaaS,SaaS) product: - for the administration - documentation - tracking - collaboration - and reporting of training programs - virtual classrooms - online events - e-learning programs - and training content - Learning Management System (openeclass) It provides advanced functionality by supplying fully functional...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Shark Virtual Library

    Shark Virtual Library

    The best way to store and share files

    Shark Virtual Library (shark-vlibrary) allows to share trougth an web java application educational, cultural and other types of documents (e-books, researches, articles, sounds...) it is specially designed for educational purposes and institutios, Three kinds of users can manage and use the documents what are saved in diffrerent sections that you can add.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Plexicon
    "Plexicon" is a desktop application of dictionary written in python with the interface implemented in pygtk. It currently supports two languages : English (being an international language) & Bengali (being my native language)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Implementation of algorithm from paper 'Numerical Approximation of Option Premia in Displaced-Lognormal Heston Models' by A Dickinson. For code: click link under 'Develop' & checkout via svn or click link under Browse Code->SVN & download tarball
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    libNT - The Number Theory Library
    libNT is a Number Theory Library which is based on a BigInteger Class. It will contain several algorithms for solving Number Theory Problems. Written in the IDE Code::Blocks
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Avenzoar Digital Pathology Tool
    Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    MGARCH is a software library for R-Project to simulate and estimate various MGARCH processes. This project also provides convenience tools for preparing data, summarizing and visualizing results, prediction and documentation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    JOELib/JOELib2 is a cheminformatics library which supports SMARTS substructure search, descriptor calculation, processing/filtering pipes, conversion of file formats, 100% pure Java, and interfaces to external programs (e.g. Ghemical) are available.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18
    MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    MISS is a software simulation of the control room of the International Space Station. It is intended to be both entertaining and educational, aimed at high school students. Various pre-configured and random events encourage interaction and groupwork.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Projek Munsyi is a project to provide localization (L10N) for the Bahasa Melayu (Malay language) (ms) especially for the GNU software. The goal of this project is to become the hub for the Malay language team at Translation Project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    WRripper

    Web information mining tool.

    Bash and gawk scripts to download dictionary pages from WordReference and parse them into tab separated files that can be imported from scheduled repetition systems such as Anki.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next