Search Results for "gnome"
Sort By:
Showing 7 open source projects for "gnome"
View related business solutions-
Paessler: Easy to Use With Enterprise Power. Free TrialYou 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.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
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. -
2
A plugin for the Gnome editor »gedit« that supports you in editing LaTeX documents and BibTeX bibliographies.
-
3
GnoTeX is a framework for writing LaTeX documents. You can simple create and edit existing latex documents with or without knowing LaTeX. Based on gtk2 and some gnome2 libraries, you will be able to edit source, but also content only.
-
4
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...
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
LaTeX Letterizer Project is a robust open source PDF document generator application for desktop environments. It uses the dinbrief class written by K.D. Braune and R. Gussmann to produce high quality letters. Visit our enhanced Website below.
-
6
Collection of tools for input, reading, processing, and typesetting Taiwanese language. Includes SCIM and quail input methods, Firefox dictionary plugin, plus scripts for LaTeX and HTML generation.
-
7
AmyEdit is a LaTeX Editor designed to simplify the creation of LaTeX documents in Linux. It is designed to be as user friendly as possibly, and features initial document templates. It is written using C++ and GTKMM,
- Previous
- You're on page 1
- Next
