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

  • 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
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Start Free
  • 1
    CMake

    CMake

    Cross-platform tool to build, test and package software

    CMake is an open-source, cross-platform family of tools designed to build, test and package software. CMake is used to control the software compilation process using simple platform and compiler independent configuration files, and generate native makefiles and workspaces that can be used in the compiler environment of your choice. The suite of CMake tools were created by Kitware in response to the need for a powerful, cross-platform build environment for open-source projects such as ITK and...
    Downloads: 188 This Week
    Last Update:
    See Project
  • 2
    CSS Grid Generator

    CSS Grid Generator

    Generate basic CSS Grid code to make dynamic layouts

    CSS Grid Generator is a visual tool built to help web designers and developers quickly create CSS Grid layout code without writing the grid definitions manually. You select the number of columns, rows, and units (e.g., fr, px, %), then visually drag and place items, resize them and position them within the grid to prototype layouts by hand. Once the layout is arranged, the tool generates the corresponding HTML and CSS you can copy into your project—thus bridging the gap between design and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    SWIG

    SWIG

    A code generator for connecting C/C++ with other programming languages

    SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. SWIG is most commonly...
    Leader badge
    Downloads: 47,170 This Week
    Last Update:
    See Project
  • 4
    Lazarus

    Lazarus

    Rapid applications development tool and libraries for FPC

    The Lazarus IDE is a stable and feature rich visual programming environment for the FreePascal Compiler. It supports the creation of self-standing graphical and console applications and runs on Linux, FreeBSD, MacOSX and Windows.
    Leader badge
    Downloads: 28,064 This Week
    Last Update:
    See Project
  • Endpoint Management with Remote Control Built In Icon
    Endpoint Management with Remote Control Built In

    Patch, monitor, and connect to Windows and macOS devices from one console

    Save 50% on your first year when you switch from your existing RMM to Splashtop AEM. Automate patching, track inventory, and jump directly into 1-click unattended remote sessions without switching tools.
    Start Free Trial
  • 5
    FreeBASIC Compiler
    Open-source, free, multi-platform BASIC compiler, with syntax similar MS-QuickBASIC (including the GFX statements), that adds new features such as pointers, unsigned data types, inline assembly, a pre-processor and many others.
    Leader badge
    Downloads: 1,574 This Week
    Last Update:
    See Project
  • 6
    Re2c is a tool for writing very fast and very flexible scanners. Unlike any other such tool, re2c focuses on generating high efficient code for regular expression matching. As a result this allows a much broader range of use than any traditional lexer.
    Leader badge
    Downloads: 535 This Week
    Last Update:
    See Project
  • 7

    ELF Tool Chain

    BSD licensed ELF toolchain

    A BSD-licensed implementation of compilation tools (nm, ar, as, ld, etc.) for the ELF object format.
    Leader badge
    Downloads: 202 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 108 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • 10
    PAGE
    PAGE is a drag-and-drop GUI generator for Python and Tkinter which generates Python modules that display a relatively simple GUI constructed from Tk and Ttk widget sets using the Place Geometry Manager. PAGE supports the construction of multiple toplevel GUI's. PAGE is a cross-platform tool running on any OS that has a current version of Python installed. PAGE output requires only Python Tkinter and runs on Linux, Unix, Windows, and even Rasperian. Version 8 is a major release...
    Leader badge
    Downloads: 199 This Week
    Last Update:
    See Project
  • 11
    Banish crusty code with the Uncrustify C/C++/C#/D/Java/Pawn source code beautifier. It indents, adds newlines, aligns, etc, and is highly configurable.
    Leader badge
    Downloads: 140 This Week
    Last Update:
    See Project
  • 12
    Lazarus Code and Component Repository
    Lazarus is a free and open source development tool for the Free Pascal Compiler. The purpose of this project is to serve as a Code Repository, Wiki Knowledgebase and support site for converting existing components and libraries to work with Lazarus and the Free Pascal Compiler.
    Leader badge
    Downloads: 120 This Week
    Last Update:
    See Project
  • 13
    GCBASIC
    GCBASIC is an open-source BASIC compiler for 8 bit Microchip PIC, Atmel AVR legacy, AVRDx and LGT microcontrollers. See https://ko-fi.com/post/The-Story-of-GCBASIC-Making-Microcontroller-Progr-D1D319SJ72 for story of GCBASIC. This is a continuous release project. The latest release is always available. This will give you the most complete development toolchain to create and program 8-bit PIC, AVR and LGT microcontrollers. We have added new capabilities that make GCBASIC the...
    Leader badge
    Downloads: 246 This Week
    Last Update:
    See Project
  • 14
    4tH compiler

    4tH compiler

    A friendly Forth compiler with a little difference

    4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes...
    Leader badge
    Downloads: 50 This Week
    Last Update:
    See Project
  • 15
    dktools - Dirk Krauses tools

    dktools - Dirk Krauses tools

    Drawing, graphics conversion, software development, administration.

    GUI and command line tools for advanced users and administrators: wxdkdraw - Minimalistic drawing application for use with LaTeX, wxd2lat - Convert wxdkdraw files to LaTeX, bitmap2pp - Convert PNG/JPEG/TIFF/NetPBM to (E)PS or PDF, fig2lat - Convert XFig files to LaTeX, htmlbook - publish HTML like a book, dkcpre - C debugging and tracing preprocessor, itadmin - manage your IT using a MySQL/MariaDB database, dk-fic - file integrity checker, dk-ls - list files, output column order is...
    Leader badge
    Downloads: 34 This Week
    Last Update:
    See Project
  • 16
    wxGlade

    wxGlade

    GUI designer for wxWidgets

    wxGlade is a GUI designer written in Python with the popular GUI toolkit wxPython, that helps you create wxWidgets/wxPython user interfaces. It can generate Python, C++, Perl, Lisp and XRC (wxWidgets' XML resources) code.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 17
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 13 This Week
    Last Update:
    See Project
  • 18
    DMF: Distributed Multiplatform Framework

    DMF: Distributed Multiplatform Framework

    Development framework including code generator and UML ex/import

    A component based programming framework. This project is aimed to support various target frameworks. A wxWidgets based GUI application is the major sample which also provides rapid database GUI design with UML import and export (db reverse engineering).
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • 19
    "Aubit 4GL" is a project to make GPL, OpenSource, Informix-4GL compatible compiler, and continue to extend functionality needed to write most efficient and productive business related, database oriented applications. See "Home Page" link for more.
    Leader badge
    Downloads: 21 This Week
    Last Update:
    See Project
  • 20

    COBOL copybook to XML converter

    Converts cobol copybooks to Xml/Java objects

    CB2XML (CopyBook to XML) is a COBOL CopyBook to XML converter written in Java and based on the SableCC parser generator. This project includes utilities to convert an XML instance file into its COBOL copybook equivalent string buffer and vice versa. Source is now available in GitHub: https://github.com/bmTas/cb2xml
    Leader badge
    Downloads: 6 This Week
    Last Update:
    See Project
  • 21
    TFEL/MFront

    TFEL/MFront

    TFEL/MFront introduces DSLs based on C++ to handle material knowledge

    The TFEL library is a collaborative effort of the French Atomic Commission and Électricité de France. TFEL mostly includes the MFront code generator. MFront is based on C++ and provides several domain specific languages which were designed to simplify the implementations of new material properties, mechanical behaviours and simple material models. A particular focus was made on mechanical behaviours which are by essence more complex and may have significant impact on the numerical...
    Leader badge
    Downloads: 11 This Week
    Last Update:
    See Project
  • 22
    JiBX is a framework for XML data binding to Java. It works with existing classes, using a flexible mapping definition file to determine how data objects are translated to and from XML. See the Home Page for details and external bug tracking system links.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Binary to Header

    Binary to Header

    Converter for binary files to C/C++ headers

    bin2header takes any file as an argument and converts its binary data into a source header file for use in C/C++ applications. The data is stored as a character array.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    Classdesc is a system for adding reflection to C++, ie the ability to query an object's structure at runtime.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    ORBit-Ada

    ORBit-Ada

    Ada binding for GNOME ORBit CORBA ORB

    ORBit-Ada furnishes an Ada binding to the ORBit Corba ORB. ORBit-Ada is Free Software (OpenSource), copyrighted under the GPL and GMGPL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next