OCamlTeX

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...

Features

Fully customizable GUI (menus and toolbars or ribbon)
Extensible LaTeX database
OCaml plugin support
Full UTF-8 editor with PCRE-based find and replace engine
LaTeX syntax highlighting
Code completion
Three ways to display LaTeX symbols (tables, combo boxes and palettes)
LaTeX validation using lexing/parsing wizard
Quick display of math formulae

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2), GNU General Public License version 3.0 (GPLv3)

Follow OCamlTeX

OCamlTeX Web Site

Other Useful Business Software

Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

Rate This Project

User Reviews

Be the first to post a review of OCamlTeX!

Additional Project Details

Languages

English, French

Intended Audience

Advanced End Users, End Users/Desktop

User Interface

Gnome, GTK+

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Integrated Development Environments (IDE), OCaml (Objective Caml) TeX LaTeX

Registered

2008-08-06

Similar Business Software

DbVisualizer

DbVisualizer is a universal database client for developers, DBAs, analysts, and data engineers working with relational and NoSQL databases. It provides a graphical interface for database development, SQL querying, data exploration, and database admin. The tool includes a powerful SQL editor...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Retool

Retool is an AI-powered platform that enables teams to build internal software, agents, and workflows faster using natural language and composable building blocks. It allows users to go from a simple prompt to a fully deployed application that works with their existing data, systems, and...

See Software
Studio 3T

Auto-complete queries in a built-in mongo shell that highlights syntax errors as you type and saves your query history. Perfect for MongoDB beginners, a time-saver for pros. Use a drag-and-drop UI to build complex find() queries and filter array elements. Break down aggregation queries into...

See Software
Apache NetBeans

Apache NetBeans is a versatile, open-source Integrated Development Environment (IDE) used for developing applications across a wide range of programming languages, including Java, JavaScript, PHP, HTML5, and C/C++. Known for its modular architecture, NetBeans provides robust tools and features...

See Software
Visual Studio Code

Visual Studio Code (VS Code) is Microsoft’s open-source AI code editor designed to make coding faster, smarter, and more collaborative. It supports thousands of extensions and nearly every programming language, offering developers a lightweight yet powerful environment for writing, testing, and...

See Software