ZapoTeX: Source Code to LaTeX translation

Some of the small programs I wrote on my spare time. They are Free Software, and written mostly in OCaml.
Post Reply
User avatar
Vincent
Posts: 3077
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

ZapoTeX: Source Code to LaTeX translation

Post by Vincent » Mon Nov 01, 2010 5:25 pm

ONLINE VERSION A BIT OUT OF DATE -- contact me if you're interested in using it and I'll update things, time permitting

ZapoTeX is a pretty printer, used to integrate nice, syntax-highlighted Caml, Prolog and B source code in LaTeX documents. It supports advanced features such as aliases (and generalised aliases), which can be defined on the fly. Keywords and such can be defined on the fly as well, no need to edit the lexer or anything. The manual is rather complete in its current state, albeit not always very clear and organised... Questions and suggestions are welcome on this topic.

DOWNLOADS: http://files.vhugot.com/progs/ZapoTeX/latest

There you will find an embryo of a user's manual, a linux executable (compiled under Kubuntu 9.10), a Windows executable (compiled using Cygwin; you may need the Cygwin DLL, see below), and the ZapoTeX .tex file.

The OCaml source code for ZapoTeX is available here in my repository.

The source is often much ahead of the compiled binaries; currently only the source has Scheme support)


USING IT

To use ZapoTeX, you need to get zapoml.tex, and an executable that works on your OS. Reading the manual helps as well.

Screenshots of ZapoTeX-rendered Caml code:
example3.png
example4.png
And B specification (up: what you write in TeX, down, what you get in DVI/PS/PDF):
ZapoBcode.png
And Scheme:
scheme-zapo.png
Windows users without Cygwin -- and who wish to stay Cygwin-free -- will want to download the Cygwin DLL without which the exectuable which I offer for download will not work. Just put it in the same directory as the ZapoTeX executable.
cygwin1.dll.7z
(743.55 KiB) Downloaded 2559 times
It may also be needed if you use a different version of Cygwin (from 1.7.x). When in doubt, take the DLL...

01 Nov 2010, 17:25: original version.
03 Sept. 2011: major update of everything
19 Oct. 2011: major update of everything
29 July 2012: Scheme support added (source version only)
Last edited by Vincent on Tue Mar 24, 2015 8:51 pm, edited 1 time in total.
Reason: up
{ Vincent Hugot }

User avatar
Vincent
Posts: 3077
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

Re: ZapoTeX: Source Code to LaTeX translation

Post by Vincent » Sat Oct 29, 2011 12:49 pm

r812:

Now with added support for both Prolog and B. Among other things.

For now, Prolog aliases are very tentative, as I don't know what is commonly used in the literature.
{ Vincent Hugot }

User avatar
Vincent
Posts: 3077
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

Re: ZapoTeX: Source Code to LaTeX translation

Post by Vincent » Thu Nov 03, 2011 3:32 am

r818:

BEWARE: interface change for --tex, --ml, etc.... see --help

NOTE: the manual's examples are not up-to-date yet and do not reflect those changes.
{ Vincent Hugot }

User avatar
Vincent
Posts: 3077
Joined: Fri Apr 07, 2006 12:10 pm
Location: Schtroumpf
Contact:

Re: ZapoTeX: Source Code to LaTeX translation

Post by Vincent » Mon Jul 30, 2012 2:49 am

Added Scheme support in source code version.
zapotex-manual.pdf
manual for the source code version
(227.45 KiB) Downloaded 3522 times
(commit 618a)
{ Vincent Hugot }

Post Reply

Who is online

Users browsing this forum: No registered users and 53 guests