Search Results for "gnome linux"

x
Sort By:

Showing 7 open source projects for "gnome linux"

View related business solutions
TeX/LaTeX Linux Clear Filters & Widen Search
  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    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 secuirty. Auth0 now, thank yourself later.
    Try free now
  • Free CRM Software With Something for Everyone Icon
    Free CRM Software With Something for Everyone

    216,000+ customers in over 135 countries grow their businesses with HubSpot

    Think CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
    Get free CRM
  • 1
    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
  • 2
    A plugin for the Gnome editor »gedit« that supports you in editing LaTeX documents and BibTeX bibliographies.
    8 Reviews
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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,
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories