216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
Get started free
Save hundreds of developer hours with components built for SaaS applications.
The #1 Embedded Analytics Solution for SaaS Teams.
Whether you want full self-service analytics or simpler multi-tenant security, Qrvey’s embeddable components and scalable data management remove the guess work.
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.
Secure remote access solution to your private network, in the cloud or on-prem.
Deliver secure remote access with OpenVPN.
OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
This is a thesis templet for Beijing Normal University, coded in LaTeX. It is designed for bachelor's degree, master's degree as well as doctor's degree. As planned, it is adapted to various platforms.
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.
Web service providing a REST and ROA (Resource Oriented Architecture) interface to LaTeX to layout formulas. As the project evolves, different output representations will be available.
TexOut convert Latex document to Output documents. TexOut use LateXml to convert document from Latex to xml and then use xslt transformations to create output documents.
This project will provide translation of mathematical content, from TeX to MathML and vice-versa, and to graphics formats, as a web service. TeX, running as a daemon, is used for mathematical typography.
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
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.
Eggplant is a PHP based tool for creating personnel Curricilum Vitaes, aimed at small businesses. The information about each person stored in a MySQL database. It uses LaTeX to generate professional-looking PDF files.
Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.
Mem provides an experimental environment for multilingual and multiscript typesetting with LaTeX in the Aleph typesetting system. With Mem you should be able to typeset Unicode documents mixing several languages and several scripts.
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.
The program is translator from the TeX-like language to the HTML. It allows to use the power of TeX macro-commands for the generation of HTML, and when this program will be written, I write PHP extension for using it.