Search Results for "java program"

x
Sort By:

Showing 5 open source projects for "java program"

View related business solutions
TeX/LaTeX Clear Filters & Widen Search
  • 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
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1
    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
    9 Reviews
    Downloads: 90 This Week
    Last Update:
    See Project
  • 2
    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
  • 3

    GraTeX

    Visual graph creator for LaTeX (PGF & TikZ)

    Java application for creating graphs, with a simple and intuitive interface. Obtaining LaTeX code for designed graph is a single-click operation. Allows creating less and more complicated graphs for LaTeX documents without any knowledge about TikZ library. The program lets you design and edit vertices, edges and labels to your liking thanks to a wide range of variants adequate to TikZ library.
    1 Review
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    A project to make a simple, but complete, bibtex parser using regexes in Java. It is meant as a library for a larger program, and so is not interactive. Testers, contributors, comments and suggestions are more than welcome.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    HTML to LaTeX
    Program converts HTML pages into LaTeX format. Own mappings between HTML tags and character entities can be defined. CSS formatting properties are also supported (including colours). Implemented in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB