15 projects tagged "LGPL"
Updated 31 May 2002
Active-DVI
| Pop | 43.06 |
|---|---|
| Vit | 1.00 |
Active-DVI is a DVI previewer and a programmable presenter for slides written in LaTeX. The previewer features color anti-aliasing, inclusion of images with alpha channel and blending, encapsulated Postscript file inclusion, Gpic specials to display pictures, correct treatment of many inlined-Postscript specials, page background settings, and Japanese pTeX DVI extension support. To present your DVI files, it features basic effects for presentation (pause, delay, dynamic text color change), annotations displayed on demand (similar to pop-up balloons), hyperlinks from slide to slide or to other files, replay of previously recorded parts of the display, text movements, page transitions, embedded applications, and scratching on slide to interactively modify the text on screen. Its special effects are set and launched from within your LaTeX source file via the macros of the advi.sty LaTeX package provided by the distribution. In addition, Caml hackers can program new and fancy Active-DVI effects in the source code of the presenter.
Updated 24 Oct 2004
mod_caml
| Pop | 21.54 |
|---|---|
| Vit | 1.85 |
mod_caml is a set of Objective CAML (OCaml) bindings for the Apache API. It allows you to run CGI scripts written in OCaml directly inside the Apache Web server. However, it is much much more than just that. You can bind to any part of the Apache request cycle, read and modify internal Apache structures, share modules of code between handlers and scripts, or use the CGI library and templating system (allows separation of code and presentation).
Updated 12 Nov 2003
mp3tag
| Pop | 36.33 |
|---|---|
| Vit | 1.00 |
Mp3tag is an Objective-Caml library for reading and writing ID3v1 and v2 tags in MP3 files. It includes mp3tag tools, which can be used to modify tags in MP3 files or rename files according to their tags, and a cddbtag tool that modifies tags by using a CDDB server to retrieve information about the track.
Updated 17 Jun 2004
MLpcap
| Pop | 24.06 |
|---|---|
| Vit | 2.06 |
MLpcap provides access to all libpcap functions from the Objective Caml language.
Updated 16 Mar 2004
perl4caml
| Pop | 12.49 |
|---|---|
| Vit | 1.00 |
perl4caml allows you to use Perl code within Objective CAML (OCaml). It has both a low-level interface to Perl, and high-level wrappers around some CPAN libraries.
Updated 11 Aug 2009
Coq
| Pop | 44.50 |
|---|---|
| Vit | 3.82 |
The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.
Updated 12 May 2004
OCaml-FreeTDS
| Pop | 26.10 |
|---|---|
| Vit | 1.41 |
OCaml-FreeTDS is a binding to the ct-lib component of the FreeTDS library for accessing Sybase and Microsoft (or other TDS) database servers. It is intended for people to whom the more general OCamlDBI database layer doesn't apply.
Updated 17 Feb 2008
GLCaml
| Pop | 37.04 |
|---|---|
| Vit | 2.19 |
GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0, and 2.1, plus extensions. It is intended as a compact drop-in binding. It is a direct, dynamic binding to OpenGL. An OCaml SDL binding is provided as well, along with texture-map scaling functions, texture mip-map generators, and a bitmapped font library. Extensive documentation and more than 20 examples are provided.
Updated 02 Apr 2008
Ocsigen
| Pop | 37.35 |
|---|---|
| Vit | 1.79 |
Ocsigen is a research project aiming at developing new programming techniques for the Web. It contains a full featured Web server and a programming framework that provides a way to create dynamic Web sites. Its goal is to offer an alternative to Apache/PHP, based on technologies from research in programming languages. There is also a module, called Eliom, for generating dynamic Web pages. With Eliom, you program in a concise and modular way, with a strong type system which helps you to produce valid XHTML. The server handles sessions, URLs, and page parameters automatically.
Updated 25 May 2008
bitstring
| Pop | 22.18 |
|---|---|
| Vit | 1.00 |
Bitstring is a powerful language extension for OCaml which adds native parsing of arbitrary bitstrings, in the style of Erlang. Bitstring can be used to parse and generate binary file formats and binary protocols. This project was formerly known as "bitmatch".
