18 projects for "mining software linux" with 1 filter applied:

  • 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
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    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 Now
  • 1
    gSOAP Toolkit

    gSOAP Toolkit

    Development toolkit for Web Services and XML data bindings for C & C++

    The gSOAP toolkit is an extensive suite of portable C and C++ software to develop XML Web services with powerful type-safe XML data bindings. Easy-to-use code-generator tools allow you to directly integrate XML data in C and C++. Serializes native application data in XML. Includes WSDL/XSD schema binding and auto-coding tools, stub/skeleton compiler, Web server integration with Apache module and IIS extension, high-performance XML processing with schema validation, fast MIME/MTOM streaming,...
    Leader badge
    Downloads: 1,827 This Week
    Last Update:
    See Project
  • 2
    TCNOpen

    TCNOpen

    Components for IEC61375 standardised communication

    TCNOpen is an open source initiative which the partner railway industries created with the aim to build in collaboration some key parts of new or upcoming railway standards, commonly known under the name TCN. TCN (Train Communication Network) is a series of international standards (IEC61375) developed by Working Group 43 of the IEC (International Electrotechnical Commission), specifying a communication system for the data communication within and between vehicles of a train. It is currently...
    Leader badge
    Downloads: 52 This Week
    Last Update:
    See Project
  • 3
    Interval arithmetic for Ada

    Interval arithmetic for Ada

    An implementation of interval arithmetic

    The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Tables for Ada

    Tables for Ada

    Tables indexed by strings

    This library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key- insensitive tables are supported.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Paessler - Monitor Your Whole Network in Minutes Icon
    Paessler - Monitor Your Whole Network in Minutes

    Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

    Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
    Start Free 30-Day Trial
  • 5
    Strings Edit

    Strings Edit

    String editing and formatting library for Ada

    Strings edit is a library that provides I/O facilities for integers, floating-point numbers, Roman numerals, and strings. Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size field with padding. Numeric input can be checked against expected values range to be either saturated or to raise an exception. For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    ION-DTN (Archived)

    Delay-Tolerant Networking suitable for spacecraft and ground

    8/29/2026 The ION-DTN project has moved permanently. * Official distribution sites for ION and ION-core have moved to GitHub: https://github.com/nasa-jpl/ION-DTN https://github.com/nasa-jpl/ion-core * ION documentation: https://ion-dtn.readthedocs.io/ Information on this website will no longer be updated. ============================= ION development is managed by the Jet Propulsion Lab. The Interplanetary Overlay Network (ION) software distribution implements...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 7
    Units of measurement for Ada

    Units of measurement for Ada

    Handling dimensioned values in Ada

    The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    CrossBrowdy

    CrossBrowdy

    JavaScript framework to build game engines, games, emulators and apps

    CrossBrowdy is a free and open-source JavaScript framework that allows to create multimedia apps, emulators, game engines and games that will be compatible with any device. Any software developed with CrossBrowdy should be able to be used in any JavaScript compatible web client (including browser plug-in, add-on, extension, app...) which supports "document.getElementById". This framework allows any developer to manage easier many different things, such as audio (with Flash fallback,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    PLEXIL (plan execution software)

    PLEXIL (plan execution software)

    Plan execution language and executive

    ...Please use these new locations. PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools. It runs on Unix-based computers, including macOS and Linux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Start Free
  • 10
    CLIck

    CLIck

    a CLI generator and and SW library

    CLIck allows you to create flat or hierarchical CLI (command line interfaces) in an extremely easy and quick way, supporting very popular features like history with command recalling, context-based auto-completion, tab-based command list, automatic command-line help, special characters, automatic structure builder, and much more. CLIck is written in ANSI C and tested on C and C++ applications on several architectures. It doesn't depend on any external library and uses only a very small...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    ColdFrame generates Ada framework code and documentation from UML models. The project has now moved to Github (https://github.com/simonjwright/coldframe). The software is issued under the GPL Version 2 with the following additional permission: As a special exception, if other files instantiate generics from this unit, or you link this unit with other files to produce an executable, this unit does not by itself cause the resulting executable to be covered by the GNU General Public...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    OS Abstraction Layer
    OBSOLETE - Please proceed to new repo: https://github.com/nasa/osal This project will be closed in the near future ALERT: The osal-4.2.1a release package is now available. This release package fixes a unit test makefile to use Modules.mak rather than using ut-modules.mak directly. The top-level readme.md file was also updated to add missing information. The OS Abstraction Layer (OSAL) project is a small software library that isolates embedded software from the real time...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    secureStrings is an ISO C99 library for the secure and convenient processing of strings on Unix-like operating systems. The design goal is to provide an implementation that can be proved by means of mathematical methods to be consistent with its formal specification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A LGPL library to handle xml documents in a DOM-like style. It's designed for LOW-performance systems (like embedded ones) and for lightly handle very large documents, automatically speeding up memory management in a user tunable style.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    jArt Java Operating System

    IA-32 operating system with Java virtual machine embedded into the ker

    IA-32 operating system with Java virtual machine embedded into the kernel. Part of the kernel is written in Java. Only Java applications can run on this system. jArt VM is a stand-alone virtual machine that interprets java bytecode. It can run under Linu
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    If you reach this page most likely you are looking for Rodi P2P binary release - check web site rodi.sf.net If you are looking for CLI/FFS/AOS portable C/C++ libraries for RTOS "emLib" package is the way to go
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The goal of this project is to develop the OS-independent, obtrusive, customizable, extensible, generic logging and tracing software mechanism.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This project targets the SPU of the Cell/BE Processor. This library is intended to help the person programming the SPUs on the Cell processor move data into and out of the local store of an SPU without having to directly program the DMA hardware.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next