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

nel_h2

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

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

Spyder

Spyder’s multi-language editor integrates a number of powerful tools right out of the box for an easy to use, efficient editing experience. The editor’s key features include syntax highlighting (pygments); real-time code and style analysis (pyflakes and pycodestyle); on-demand completion,...

See Software
Code::Blocks

Code::Blocks is a free, open-source, cross-platform Integrated Development Environment (IDE) primarily designed for C, C++, and Fortran development. Known for its lightweight design and modular structure, Code::Blocks offers a highly customizable interface with support for multiple compilers,...

See Software
WebForge IDE

A complete, powerful web development environment for iOS. WebForge includes everything you need to develop, run, and debug your web projects on your iPad or iPhone. No cloud needed. Includes: - Powerful code editor with syntax highlighting. - Inspect Browser built-in, providing...

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
CodeLite

CodeLite is a free, open-source, cross-platform Integrated Development Environment (IDE) designed primarily for C, C++, PHP, and JavaScript development. It offers a lightweight and highly customizable environment with support for multiple compilers, including GCC, Clang, and Microsoft Visual...

See Software
DbVisualizer

DbVisualizer is one of the world's most popular database editors. With almost 7 million downloads and Pro users in 150 countries worldwide, it won't disappoint you. Free and Pro versions are available. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to...

See Software