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
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures. LaTeXDraw runs on top of Linux, Windows, and Mac OS X. Using the MacOSX installer, you may face this error: “LaTeXDraw” is damaged and can't be opened. You should eject the disk image.
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.
Cloud-hosted construction project information management for improved communication, and increased efficiency.
Ideal for on-premise project information management.
Newforma empowers over 4M professionals and 1,500 AECO firms worldwide by revolutionizing Project Information Management. We transform vast amounts of project data into a meticulously organized, easily accessible, and fully searchable resource—all from a single, centralized platform. From pre-construction to years after completion, Newforma ensures you have the critical information you need at every stage of your projects.
...GraTeX incorporates common editing mechanisms like saving/loading projects, undo-redo & copy-paste operations, and many other useful features.
The application has been developed by two students of University of Science and Technology in Krakow, Poland.
A Web-Application working in conjunction with the obby protocol to view documents written by other people live on a website, integrated with mediawiki and equipped with full LaTex support. It's main purpose is Real-Time Note-Taking at University
Build trust in your business’s security with a comprehensive, hacker-style pentest.
Astra’s Pentest is a comprehensive penetration testing solution with an intelligent automated vulnerability scanner coupled with in-depth manual pentesting.
BibTeXlib is a BibTeX library written in JAVA. You can use it to extract information from BibTeX files, manipulate this information, and save it to BibTeX files.
TeX4Java is a parser for the TeX language written in Java. The boxworld is created as Java objects providing an API to create own representations of the document. TeX4Java includes two representations as well: TeXImage and TeXPresenter.
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.