Search Results for "libodbc.so.2"
Sort By:
24 programs for "libodbc.so.2" with 2 filters applied:
-
Our Free Plans just got better! | Auth0 by OktaYou 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.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
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. -
2
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. -
3
LaTeX2MathML is a PHP5 class that converts LaTeX math formulas to Presentation MathML. Current versions are still in development !
-
4
MieZ is a WYSIWYG-editor for TikZ documents. This project is now being developed on http://github.com/Antimon2000/MieZ
-
Turn Your Content into Interactive Magic - For FreeTransform anything you share into an engaging digital experience - for free. Instantly convert your PDFs, slides, and files into dynamic, interactive sessions with built-in collaboration tools, activities, and real-time assessment. From teaching to training to team building, make every presentation unforgettable. Used by millions for education, business, and professional development.
-
5
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.
-
6
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.
-
7
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.
-
8
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.
-
9
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.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
ConTeXt modules that show the power of ConTeXt. We can do anything with ConTeXt intergrating JavaScript and MetaFun.
-
11
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.
-
12
Some text parser, that transforms a custom TeX-like syntax into XML. Un parseur, qui produit du XML à partir d'une syntaxe ressemblant à TeX.
-
13
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
-
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
The BibXML Editor helps to manage bibliography information stored in an XML-based file. Export filters allows to generate BibTex files or HTML pages.
-
19
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.
-
20
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.
-
21
-
22
-
23
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.
-
24
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.
- Previous
- You're on page 1
- Next