Showing 35 open source projects for "mining software linux"

View related business solutions
  • 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
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Start Free
  • 1
    LaTeX2e Kernel Code Repository
    LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation. LaTeX is the de facto standard for the communication and publication of scientific documents. LaTeX is available as free software.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    jPicEdt

    jPicEdt

    Another drawing editor for LaTeX with PSTricks & TikZ

    jPicEdt is an extensible internationalized vector-based drawing editor for LaTeX and related packages (TikZ, PsTricks,...), written in Java. It is also a library of reusable high-level graphic primitives.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3

    IO91pm

    Command-line calculator for Maidenhead- (QTH-, QRA-) Locators.

    Keywords: Hamradio, Radio-amateurs, Maidenhead-, QTH-, (QRA-), Locator, Distance and Bearing Calculator, GNU/Linux command-line, LaTeX,- UTF-8-, ASCII-output, GPLv3; based on GM4ANB's book. "IO91pm is the Maidenhead-Locator for Maidenhead" ========================================= Background --------------- * For another little project, I wanted a QTH-Locator calculator for the UNIX (GNU/Linux, bash) command-line. * There are many, some very good, online QTH resources, but I wanted...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Ipe

    Ipe

    The Ipe extensible drawing editor

    ...It specializes in producing precise graphics for LaTeX documents, academic publications, and PDF presentations. Users can draw geometric shapes, paths, curves, and text with accurate alignment and positioning. The software integrates LaTeX typesetting, allowing mathematical expressions and document macros to appear directly within illustrations. Its snapping tools simplify geometric constructions and object alignment. Ipe also supports multilayer drawings, reusable styles, and extensions called ipelets. Available for Windows, macOS, Linux, and web browsers, it provides researchers, educators, and technical authors with a flexible environment for producing publication-quality vector graphics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Start Free
  • 5
    Kile LaTeX Editor

    Kile LaTeX Editor

    Kile is a feature-rich LaTeX editor

    Kile is a LaTeX editor, a TeX shell that simplifies the creation of LaTeX documents.
    Leader badge
    Downloads: 224 This Week
    Last Update:
    See Project
  • 6
    Academic File Converter

    Academic File Converter

    Import Bibtex publications and Jupyter Notebook posts into websites

    Easily import publications and Jupyter notebooks to your Markdown-formatted website or book.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    LaTeXDraw

    LaTeXDraw

    Vector drawing program for LaTeX using PSTricks

    LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures.
    Leader badge
    Downloads: 77 This Week
    Last Update:
    See Project
  • 8
    Power Tools for Unix/Linux (*niX)
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    dvisvgm

    A fast DVI to SVG converter

    The command line tool dvisvgm converts DVI, EPS, and PDF files to the XML-based SVG format.
    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

    (py)biblib

    A python library to handle BibTeX bibliographic data.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    MathOCR

    MathOCR

    A scientific document recognition system

    MathOCR is a printed scientific document recognition system. MathOCR is still in the pre-alpha stage, recognition result may not be good enough for practical purposes. MathOCR is a printed scientific document recognition system written in pure Java. MathOCR has the functionality of image preprocessing, layout analysis and character recognition, especially the ability to recognize mathematical expression. MathOCR can work do not depends on other OCR software.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    Texlipse is a plugin that adds Latex editing support for the popular Eclipse Java IDE. Key features include: syntax highlight, command completion, bibliography completion, outline navigation and automatic building.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    Hilbert II - QEDEQ

    Hilbert II - QEDEQ

    proof verifier for mathematical proofs and documentation generator

    In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Easy Equations

    Easy Equations

    Hand Written Equation Creator

    ...The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python necessary only in linux environment to use COPY functionality.python is pre installed in recent linux distributions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Wiko, the wiki compiler, compiles wiki like files into html and LaTeX, combining easy wiki syntax, your preferred non-web text editor and svn/cvs control to write static webs, cientific articles or even blogs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A plugin for the Gnome editor »gedit« that supports you in editing LaTeX documents and BibTeX bibliographies.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Versatile converter from Wiki-Markup-Language to LaTex.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    now here: https://github.com/plastex/plastex plasTeX is a Python-based LaTeX document processing framework. It gives DOM-like access to a LaTeX document, as well as the ability to generate mulitple output formats (e.g. HTML, DocBook, tBook, etc.).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    MetaUML is a GNU/GPL MetaPost library for typesetting exquisite UML diagrams.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Analysis TeX
    Hier wird die Versionsverwaltung (SVN) für die LaTeX-Mitschrift der Vorlesung "Analysis für Informatiker und Statistiker" gehostet. Diese findet im WS 2009/2010 an der LMU München statt.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    deplate is a tool for converting wiki-like markup to latex, docbook, html, or "html-slides". It supports embedded LaTeX code, footnotes, citations, biblographies, automatic generation of an index etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    This perl script helps users to create LaTeX Beamer Class presentations with the lowest effort possible. Just write an indented outline, the script does the rest. Status: useable (already in productive use by developer)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next