Search Results for "mining software linux"
Sort By:
23 projects for "mining software linux" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You 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.
-
Ship Agents FasterGemini 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.
-
1
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. -
2
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. -
3
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. -
4
-
Endpoint Management with Remote Control Built InSplashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
-
5
(py)biblib
A python library to handle BibTeX bibliographic data.
-
6
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. -
7
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.
-
8
LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
-
9
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
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.).
-
11
-
12
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...
-
13
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.
-
14
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.
-
15
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)
-
16
Bibliography converter. Converts BibTeX bibliographies to Docbook 5.0 bibliography documents. Can be used as a command-line tool, Ant task or as library in other applications.
-
17
Some text parser, that transforms a custom TeX-like syntax into XML. Un parseur, qui produit du XML à partir d'une syntaxe ressemblant à TeX.
-
18
This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.
-
19
TeXConverter is a converter to parse LaTeX input and create representations of the document in other formats (currently HTML, XDocs(Maven), a specific Wiki-format). Internally a Java object model is used to represent the document, to ease extensibility.
-
20
-
21
-
22
BibTeXlipse is an Eclipse plugin for managing and analyse bibliography databases. Mainly for BibTeX databases, but will import and export many other bibliographic formats. It's currently in planning phase.
-
23
JBib2HTML is a Java based software that converts bibtex files to HTML format. It comes with predefined conversion templates and is easily extensible so that you can create your own custom implementations of exports.
- Previous
- You're on page 1
- Next
