Showing 37 open source projects for "mining software linux"

View related business solutions
  • $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
  • PRTG Catches Network Issues Before They Cause Downtime Icon
    PRTG Catches Network Issues Before They Cause Downtime

    Threshold-based alerts flag problems early, so your team can act before users notice, not after.

    Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
    Download 30-Day Trial
  • 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
    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: 215 This Week
    Last Update:
    See Project
  • Patching and Endpoint Management for Under $1/Endpoint Icon
    Patching and Endpoint Management for Under $1/Endpoint

    OS and third-party patching, vulnerability insights, and remote control included

    Splashtop AEM gives IT teams automated patching, monitoring, and unattended remote access for Windows and macOS. No long setup, no paying extra for key features.
    Start Free Trial
  • 5
    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
  • 6
    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: 79 This Week
    Last Update:
    See Project
  • 7
    Power Tools for Unix/Linux (*niX)
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8

    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
  • 9

    (py)biblib

    A python library to handle BibTeX bibliographic data.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    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: 4 This Week
    Last Update:
    See Project
  • 11

    Parakata

    A tool for performing Quantum Chemistry calculations

    General purpose software for realizing Quantum Chemistry calculations.
    Downloads: 0 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 bundle of lisp extensions, largely original, for GNU Emacs with the goal to obtain a more user friendly and powerful interface. The new features include contextual tool bars, new TeX interface, very complete menus, and a well structured IDE.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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
  • 18
    LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Versatile converter from Wiki-Markup-Language to LaTex.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    MetaUML is a GNU/GPL MetaPost library for typesetting exquisite UML diagrams.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22
    latexcalc is a "LaTeX Calculator" that calculates values inside your LaTeX files before typesetting them. More accurately, it preprocesses files written in a superset of the LaTeX typesetting language and evaluates specified expressions in the text.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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: 2 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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
  • Previous
  • You're on page 1
  • 2
  • Next