| Name |
Version |
Released |
Comment |
| apps-aifad |
1.1.0godi3 |
2012-05-04 |
A machine learning tool for structured data. |
| Description: |
AIFAD is a machine learning tool for "Automated Induction of Functions
over Algebraic Datatypes".
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://www.ocaml.info/aifad
|
| Released by: |
mottl
|
| Distfiles: |
aifad-1.1.0.tar.gz
|
| Docs: |
apps-aifad (link may be unavailable)
|
|
| apps-alt-ergo |
0.9.5 |
2013-01-16 |
Automated first-order theorem prover |
| Description: |
From the ergo web site:
Ergo is an automatic theorem prover dedicated to program
verification. Ergo is based on CC(X) a congruence closure algorithm
parameterized by an equational theory X. Currently, CC(X) can be
instanciated by the empty equational theory and by the linear
arithmetics.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://alt-ergo.lri.fr
|
| Released by: |
prevosto
|
| Distfiles: |
alt-ergo-0.95.tar.gz
|
| Docs: |
apps-alt-ergo (link may be unavailable)
|
|
| apps-bigbro |
2.0.4godi4 |
2010-07-05 |
An http link checker. |
| Description: |
Big Brother allows you to keep an eye on your World Wide Web links. It is
essential for webmasters and authors who wish to make sure that the links
contained in their pages are up-to-date; a chore which quickly gets out of
hand without an automated tool! It is also invaluable to those who maintain
a large list of bookmarks, since it can easily be used to check bookmark
files. Big Brother is in the public domain.
|
| Maintainer: |
François Pottier
|
| Homepage: |
http://cristal.inria.fr/~fpottier/bb.html.en
|
| Released by: |
gerd
|
| Distfiles: |
bigbro-2.0.4-rev3.tar.gz
|
| Docs: |
apps-bigbro (link may be unavailable)
|
|
| apps-camlmix |
1.3.0godi1 |
2011-05-26 |
OCaml-stuffed templates |
| Description: |
Camlmix is a generic preprocessor which converts text with embedded OCaml
into an OCaml program with embedded text. It produces text documents from
one or several templates. OCaml toplevel statements are inserted between ##
... ##, and OCaml string expressions between ##= ... ##
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/camlmix/
|
| Released by: |
mjambon
|
| Distfiles: |
camlmix-1.3.0.tar.gz
|
| Docs: |
apps-camlmix (link may be unavailable)
|
|
| apps-cduce |
0.5.5 |
2011-10-24 |
XML-oriented functional language |
| Description: |
CDuce is a programming language adapted to XML processing.
Main features:
- functional
- strong static typing + dynamic dispatch
- powerful XML types and patterns (regular expressions)
Note:
CDuce can take advantage of the pxp, expat, curl, and netclient library
if available.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://cduce.org/
|
| Released by: |
jmaloberti
|
| Distfiles: |
cduce-0.5.5.tar.gz
|
| Docs: |
apps-cduce (link may be unavailable)
|
|
| apps-ceve |
1.0.1 |
2010-07-05 |
Parser for many package formats |
| Description: |
The CEVE package is a parser for several package formats (currently APT and
RPM), which can output package metadata to several formats (currently
GraphML and SQL)
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
http://www.pps.jussieu.fr/~boender
|
| Released by: |
gerd
|
| Distfiles: |
ceve-1.0.1.tar.gz
|
| Docs: |
apps-ceve (link may be unavailable)
|
|
| apps-cmigrep |
1.3godi1 |
2011-07-13 |
module exploration utility |
| Description: |
cmigrep is a utility to mine data from caml compiled interface files
|
| Maintainer: |
letaris@mac.com
|
| Homepage: |
http://homepage.mac.com/letaris/
|
| Released by: |
gerd
|
| Distfiles: |
cmigrep-1.3.tar.bz2
|
| Docs: |
apps-cmigrep (link may be unavailable)
|
|
| apps-coq |
8.4.1 |
2013-02-15 |
Interactive proof assistant |
| Description: |
From the coq web site:
Coq is a formal proof management system: a proof done with Coq is
mechanically checked by the machine. In particular, Coq allows:
* to define functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a relatively small certification "kernel".
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://coq.inria.fr
|
| Released by: |
prevosto
|
| Distfiles: |
coq-8.4pl1.tar.gz
|
| Docs: |
apps-coq (link may be unavailable)
|
|
| apps-cppo |
0.9.2 |
2011-08-12 |
cpp for OCaml |
| Description: |
Cppo is a lightweight macro expander for OCaml analog to cpp, the C
preprocessor.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/cppo.html
|
| Released by: |
mjambon
|
| Distfiles: |
cppo-0.9.2.tar.gz
|
| Docs: |
apps-cppo (link may be unavailable)
|
|
| apps-ergo |
0.7.3 |
2010-07-05 |
DEPRECATED: ergo is now called alt-ergo. This package is only here to ease the transisition. |
| Description: |
From the ergo web site:
Ergo is an automatic theorem prover dedicated to program
verification. Ergo is based on CC(X) a congruence closure algorithm
parameterized by an equational theory X. Currently, CC(X) can be
instanciated by the empty equational theory and by the linear
arithmetics.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://ergo.lri.fr
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
apps-ergo (link may be unavailable)
|
|
| apps-felix |
1.1.1godi1 |
2010-07-05 |
Felix Compiler |
| Description: |
Felix Compiler
|
| Maintainer: |
John Skaller
|
| Homepage: |
http://felix.sf.net
|
| Released by: |
gerd
|
| Distfiles: |
flx_1.1.1_src.tgz
|
| Docs: |
apps-felix (link may be unavailable)
|
|
| apps-frama-c |
20111001godi4 |
2012-09-12 |
Modular C static analyser |
| Description: |
Frama-C stands for FRAmework for Modular Analysis of C. It provides a generic
framework (based on the CIL library) for building static analyzers for
C programs. It features an annotation language, called ACSL, in which
it is possible possible to express the formal properties that the code under
analysis is expected to meet.
Current analyzers include:
- an abstract interpreter
- a code slicer
- an impact analysis tool
IMPORTANT NOTE for user upgrading from a previous version:
Starting from Frama-C Beryllium 20090902 and why 2.21, Jessie plug-in is
now provided directly by apps-why. There is no local why installation anymore.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://frama-c.com/
|
| Released by: |
prevosto
|
| Distfiles: |
frama-c-Nitrogen-20111001.tar.gz
|
| Docs: |
apps-frama-c (link may be unavailable)
|
|
| apps-godiva |
0.9.7 |
2010-07-05 |
High-level tool for simplifying the creation of GODI packages. |
| Description: |
GODIVA (standing for GODI Verpacken Assistant) is a tool for creating GODI
packages from simple specification files. It rocks!
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://projects.phauna.org/godiva/
|
| Released by: |
gerd
|
| Distfiles: |
godiva-0.9.7.tar.gz
|
| Docs: |
apps-godiva (link may be unavailable)
|
|
| apps-headache |
1.03 |
2010-07-05 |
Tool for managing headers in source code files |
| Description: |
Headache is a simple and lightweight tool for managing headers in
source code files.
|
| Maintainer: |
Alain.Frisch@ens.fr
|
| Homepage: |
http://pauillac.inria.fr/~simonet/soft/
|
| Released by: |
gerd
|
| Distfiles: |
headache-1.03.tar.gz
|
| Docs: |
apps-headache (link may be unavailable)
|
|
| apps-hevea |
2.00 |
2012-09-04 |
Latex-to-HTML converter |
| Description: |
HEVEA is a LaTeX to HTML translator. The input language is a fairly
complete subset of LaTeX2e (old LaTeX style is also accepted) and the
output language is HTML that is (hopefully) correct with respect to
version 4.0 (transitional)
Exotic symbols are translated into symbols pertaining to the
symbol font of the HTML browser, using the FACE attribute of the FONT
tag. This allows the translation to HTML of quite a lot of the symbols
used in LaTeX.
HEVEA understands LaTeX macro definitions. Simple user style
files are understood with little or no modifications.
Furthermore, HEVEA customization is done by writing LaTeX code.
HEVEA is written in Objective Caml, as many lexers. It is quite fast
and flexible. Using HEVEA it is possible to translate large documents
such as manuals, books, etc. very quickly. All documents are
translated as one single HTML file. Then, the output file can be cut
into smaller files, using the companion program HACHA.
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://hevea.inria.fr/
|
| Released by: |
prevosto
|
| Distfiles: |
hevea-2.00-manual.tar.gz hevea-2.00.tar.gz
|
| Docs: |
apps-hevea (link may be unavailable)
|
|
| apps-janestreet-patdiff |
107.01godi3 |
2011-09-16 |
Jane Street Capital patdiff implementation |
|
|
| apps-jsondiff |
0.0.1godi1 |
2011-01-21 |
JSON sensitive diff. |
|
|
| apps-ledit |
2.03 |
2012-06-05 |
Line editor wrapper |
| Description: |
Ledit is a line editor, allowing to use control commands like in emacs
or in shells (bash, tcsh). To be used with interactive commands.
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://pauillac.inria.fr/~ddr/ledit/
|
| Released by: |
prevosto
|
| Distfiles: |
ledit-2.03.tgz
|
| Docs: |
apps-ledit (link may be unavailable)
|
|
| apps-nurpawiki |
1.2.2 |
2010-07-05 |
Wiki + To-Do list |
| Description: |
Nurpawiki is a personal information manager (PIM) application that
combines a wiki, a to-do list and a simple scheduler to help you get
organized. It aims to ease note taking and action planning. Actions
(to-dos) are always associated with notes or plans (wiki pages).
|
| Maintainer: |
Janne Hellsten
|
| Homepage: |
http://code.google.com/p/nurpawiki
|
| Released by: |
gerd
|
| Distfiles: |
nurpawiki-1.2.2.tar.gz
|
| Docs: |
apps-nurpawiki (link may be unavailable)
|
|
| apps-oasis |
0.3.0 |
2012-06-28 |
Architecture for building OCaml libraries and applications |
| Description: |
OASIS is a Cabal like system for OCaml, It uses findlib for libraries and
ocamlbuild for building.
It helps to create a full and portable build system for OCaml libraries and
applications:
* configure: check build environment
* build
* install/uninstall
Planned supported build tool: OMake and OCamlMakefile
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://oasis.forge.ocamlcore.org
|
| Released by: |
gildor
|
| Distfiles: |
oasis-0.3.0.tar.gz
|
| Docs: |
apps-oasis (link may be unavailable)
|
|
| apps-obrowser |
1.1godi4 |
2011-01-04 |
OCaml bytecode interpreter in Javascript |
| Description: |
O'Browser is an OCaml virtual machine written in Javascript, to run
OCaml program in browsers! It is independant from Eliom and Ocsigen's
server. You can use it with any Web server.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://ocsigen.org/obrowser
|
| Released by: |
jmaloberti
|
| Distfiles: |
obrowser-1.1.tar.gz
|
| Docs: |
apps-obrowser (link may be unavailable)
|
|
| apps-ocamldsort |
0.14.3 |
2010-07-05 |
Sort OCaml source files according to their dependencies |
| Description: |
The ocamldsort command scans a set of Objective Caml source files (.ml
and .mli files), sorts them according to their dependencies and prints
the sorted files in order to link their corresponding .cmo files.
|
| Maintainer: |
Francesco Zappa Nardelli (fzn@free.fr)
|
| Homepage: |
http://www.eleves.ens.fr/home/ara/ocaml.html
|
| Released by: |
gerd
|
| Distfiles: |
ocamldsort-0.14.3.tar.gz
|
| Docs: |
apps-ocamldsort (link may be unavailable)
|
|
| apps-ocamlify |
0.0.1 |
2012-01-23 |
include files in OCaml code |
| Description: |
OCamlify allows to create OCaml source code by including whole files into OCaml
string or string list. The code generated can be compiled as a standard OCaml
file. It allows embedding external resources as OCaml code.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocamlify
|
| Released by: |
gildor
|
| Distfiles: |
ocamlify-0.0.1.tar.gz
|
| Docs: |
apps-ocamlify (link may be unavailable)
|
|
| apps-ocamlmod |
0.0.3 |
2012-05-22 |
Generate OCaml modules from source files. |
|
|
| apps-ocamlweb |
1.36 |
2010-07-05 |
literate programming tool for Objective Caml |
| Description: |
ocamlweb is a literate programming tool for Objective Caml
The invocation is
ocamlweb
It creates a single LaTeX document with both documentation and code
(implementations and interfaces) extracted from the given files.
Documentation is inserted into ocaml files as comments and thus your
files will ever compile, no matter the fact you use ocamlweb or not.
See the manual for options.
|
| Maintainer: |
Francesco Zappa Nardelli (fzn@free.fr)
|
| Homepage: |
http://www.lri.fr/~filliatr/ocamlweb/index.en.html
|
| Released by: |
gerd
|
| Distfiles: |
ocamlweb-1.36.tar.gz
|
| Docs: |
apps-ocamlweb (link may be unavailable)
|
|
| apps-ocsigen |
1.3.4 |
2011-01-04 |
Framework for web programming |
| Description: |
Ocsigen is a programming framework providing a new way to create dynamic web
sites. Its goal is to offer an alternative to Apache/PHP, based on cutting-edge
technologies coming from research in programming languages. With Ocsigen, 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.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org
|
| Released by: |
jmaloberti
|
| Distfiles: |
ocsigen-1.3.4.tar.gz
|
| Docs: |
apps-ocsigen (link may be unavailable)
|
|
| apps-ocsigen-bundler |
0.5.0 |
2012-07-09 |
Create self-contained Ocsigen server |
| Description: |
This project helps to create self contained Ocsigen web server with its Eliom modules. It is a mean to easily deploy an Ocsigen server on a server without OCaml or Ocsigen installed.
One of its main use is to deploy Ocsigen application on ocamlcore.org. Here is a list of some of them:
- [OASIS](http://oasis.ocamlcore.org)
- [OCaml Meeting](http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_view)
- [OCamlCore API test](http://ocamlcore-api.forge.ocamlcore.org)
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocsigen-bundler
|
| Released by: |
gildor
|
| Distfiles: |
ocsigen-bundler-0.5.0.tar.gz
|
| Docs: |
apps-ocsigen-bundler (link may be unavailable)
|
|
| apps-ocsigen-dev |
2.1.1godi2 |
2012-05-02 |
Development version of Ocsigen |
| Description: |
Ocsigen is a programming framework providing a new way to create dynamic web
sites. Its goal is to offer an alternative to Apache/PHP, based on cutting-edge
technologies coming from research in programming languages. With Ocsigen, 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.
NOTE: This version corresponds to the development branch of ocsigen.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org
|
| Released by: |
jmaloberti
|
| Distfiles: |
eliom-2.1.1.tar.gz
|
| Docs: |
apps-ocsigen-dev (link may be unavailable)
|
|
| apps-oqamldebug |
0.9.2 |
2013-01-14 |
Graphical front-end to ocamldebug |
| Description: |
Features:
* Emulates only the emacs mode from OCamlDebug, does not need any hooks into ocaml core.
* Full Qt application: can be compiled on Windows, MacOS and Linux
* Save/Restore of window position, and debug parameter.
* Detection of the modification of the debugged application or sources. (automatically reloaded when modified)
* Syntax highlighting of ocamldebug command and ocaml sources.
* Persistent command line history
* Mouse support: middle click on a symbol in the code to print it, and mouse wheel to step/backstep through the code.
* Setting breakpoints directly into the source code.
* Watch window
* Call stack window
* Separated application output window
OQamlDebug needs Qt4 to be generated. Qt4 can be downloaded from http://qt-project.org.
On debian install simply qt4-dev package..
On MacOS it is necessary to set QMAKESPEC as follow to install the package:
export QMAKESPEC=macx-g++
|
| Maintainer: |
sebastien.fricker@gmail.com
|
| Homepage: |
http://oqamldebug.forge.ocamlcore.org/
|
| Released by: |
testcocoon
|
| Distfiles: |
oqamldebug-0.9.2.tar.gz
|
| Docs: |
apps-oqamldebug (link may be unavailable)
|
|
| apps-otags |
3.12.5 |
2012-08-15 |
TAGS file generation for vim/emacs |
| Description: |
Otags generates TAGS files suitable for emacs and vi/vim from OCaml sources.
Otags employs camlp4 for parsing. Therefore otags can easily handle files that
use camlp4 syntax extensions. Otags reloaded is a complete rewrite for the new
camlp4 that is shipped with OCaml since version 3.10.
|
| Maintainer: |
sebastien.fricker@gmail.com
|
| Homepage: |
http://askra.de/software/otags/
|
| Released by: |
testcocoon
|
| Distfiles: |
otags-3.12.5.tar.gz
|
| Docs: |
apps-otags (link may be unavailable)
|
|
| apps-pkglab |
1.1 |
2010-07-05 |
Distribution navigator |
| Description: |
pkglab is a matlab-like navigator for package distributions; the objects one
operates on are packages, sets of packages, dates and archives. It is possible
to explore these objects in many different ways (find out whether a package is
installable w.r.t. a certain archive, for example)
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
http://sodiac.gforge.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
pkglab-1.1.tar.gz
|
| Docs: |
apps-pkglab (link may be unavailable)
|
|
| apps-planets |
0.1.12 |
2010-07-05 |
Planet simulation |
| Description: |
A simple and fun 2d planet simulation.
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://planets.homedns.org/
|
| Released by: |
gerd
|
| Distfiles: |
planets-0.1.12.tgz
|
| Docs: |
apps-planets (link may be unavailable)
|
|
| apps-regstab |
1.4.8 |
2010-11-21 |
A SAT-Solver able to deal with formulae patterns. |
| Description: |
Any SAT-Solver can tell you that each of the following formulae is unsatisfiable:
P1 /\ (P1 => P2) /\ ~P2
P1 /\ (P1 => P2) /\ (P2 => P3) /\ ~P3
P1 /\ (P1 => P2) /\ (P2 => P3) /\ (P3 => P4) /\ ~P4
RegSTAB can tell you directly that this is unsatisfiable for all n>=0:
P1 /\ (/\i=1..n Pi => Pi+1) /\ ~Pn+1
IN ENGLISH:
Any SAT-Solver can tell you that each of the following formulae is unsatisfiable:
P1 and (P1 implies P2) and not P2
P1 and (P1 implies P2) and (P2 implies P3) and not P3
P1 and (P1 implies P2) and (P2 implies P3) and (P3 implies P4) implies not P4)
RegSTAB can tell you directly that this is unsatisfiable for all n>=0:
P1 and (for i from 1 to n: Pi implies Pi+1) and not Pn+1
|
| Maintainer: |
Vincent Aravantinos
|
| Homepage: |
http://regstab.forge.ocamlcore.org
|
| Released by: |
aravantv
|
| Distfiles: |
regstab-1.4.8.tar.gz
|
| Docs: |
apps-regstab (link may be unavailable)
|
|
| apps-tart |
1.0.1 |
2010-07-05 |
Package distributor |
| Description: |
Tart is a utility that can spread a distribution (i.e. a set of packages with
dependencies between them) over several media (CDs, DVDs, etc.) in such a way
that any package from the distribution is installable using only the medium it
is on, or earlier media.
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
http://www.edos-project.org
|
| Released by: |
gerd
|
| Distfiles: |
tart-1.0.1.tar.gz
|
| Docs: |
apps-tart (link may be unavailable)
|
|
| apps-tdir |
1.1.1godi5 |
2010-07-05 |
Translation Directory |
| Description: |
Tdir stands for Translation Directory, it is a replication tool
designed to assist in creating a multi vendor distributed directory
service.
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://tdir.sourceforge.net/
|
| Released by: |
gerd
|
| Distfiles: |
tdir-1.1.1.tar.bz2
|
| Docs: |
apps-tdir (link may be unavailable)
|
|
| apps-umlmon |
1.0.6godi1 |
2011-07-13 |
A system monitor for User Mode Linux |
|
|
| apps-umlmon-web |
1.0.6 |
2010-08-31 |
A system monitor for User Mode Linux |
| Description: |
UMLMON is an advanced monitor for User Mode Linux.
This package contains only the web interface.
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://www.gerd-stolpmann.de/umlmon
|
| Released by: |
gerd
|
| Distfiles: |
umlmon-1.0.6.tar.gz
|
| Docs: |
apps-umlmon-web (link may be unavailable)
|
|
| apps-unison |
2.40.63 |
2012-02-23 |
File synchronizer |
|
|
| apps-why |
2.31godi1 |
2012-09-04 |
Verification condition generator for various systems |
| Description: |
Why is a software verification tool. Why aims at being a verification
conditions generator (VCG) back-end for other verification tools. It
provides a powerful input language including higher-order functions,
polymorphism, references, arrays and exceptions. It generates proof obligation
for proof assistants and automated theorem provers. Some of them (namely Coq
and zenon) are available as Godi packages as well. Other ones have to be
installed by hand. You need at least one system installed for Why to be useful.
The front-end for Why currently includes Krakatoa (for Java programs) and
Caduceus (for C programs). Caduceus is included in the Why distribution itself.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://why.lri.fr
|
| Released by: |
prevosto
|
| Distfiles: |
why-2.31.tar.gz
|
| Docs: |
apps-why (link may be unavailable)
|
|
| apps-why3 |
0.73godi2 |
2012-09-13 |
Next generation of software verification platform Why |
| Description: |
Why3 is a software verification tool. It generates proof obligations for
various proof assistant and automated theorem provers. It is the next
generation of the Why tool. Improvements with respect to Why include
numerous extensions to the input language, a better architecture for calling
external provers, and a well-designed API to use Why3 as a software library.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://gforge.inria.fr/projects/why3
|
| Released by: |
prevosto
|
| Distfiles: |
why3-0.73.tar.gz
|
| Docs: |
apps-why3 (link may be unavailable)
|
|
| apps-wyrd |
1.4.1 |
2010-07-05 |
Curses calendar app |
| Description: |
Warning: Wyrd requires remind 03.0.24 or better! Wyrd is a curses frontend
to the remind calendar program.
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://www.eecs.umich.edu/~pelzlpj/wyrd/
|
| Released by: |
gerd
|
| Distfiles: |
wyrd-1.4.1.tar.gz
|
| Docs: |
apps-wyrd (link may be unavailable)
|
|
| apps-zenon |
0.5.0 |
2010-07-05 |
"first-order automated theorem prover generating coq output" |
| Description: |
This package contains the zenon theorem prover. Zenon is a first-order
automated theorem prover with equality, based on a tableaux method.
Zenon is developed by Damien Doligez at INRIA. Its main strength is that
it can output a trace of its proofs in the form of a Coq script or a Coq
term. In other words, its results can be checked by the Coq
proof-assistant (or conversely, zenon can be seen as a powerful
first-order tactic for Coq). It is also the main prover of the Focal
system.
|
| Maintainer: |
"Virgile Prevosto "
|
| Homepage: |
"http://focal.inria.fr/zenon/"
|
| Released by: |
gerd
|
| Distfiles: |
zenon-0.5.0.tar.gz
|
| Docs: |
apps-zenon (link may be unavailable)
|
|
| base-curl |
7.14.0 |
2011-01-04 |
The version of CURL for GODI |
| Description: |
This is the version of CURL used by GODI.
|
| Maintainer: |
Alain.Frisch@ens.fr
|
| Homepage: |
http://curl.haxx.se
|
| Released by: |
jmaloberti
|
| Distfiles: |
curl-7.14.0.tar.gz
|
| Docs: |
base-curl (link may be unavailable)
|
|
| base-expat |
1.95.7godi3 |
2010-07-05 |
The version of expat for GODI |
| Description: |
This is the version of expat used by GODI.
|
| Maintainer: |
Alain.Frisch@ens.fr
|
| Homepage: |
http://expat.sourceforge.net/
|
| Released by: |
gerd
|
| Distfiles: |
expat-1.95.7.tar.gz
|
| Docs: |
base-expat (link may be unavailable)
|
|
| base-gdbm |
1.8.3godi6 |
2010-07-05 |
The GNU database manager |
| Description: |
GNU `dbm' is a library of functions implementing a hashed database
on a disk file. The software was written by Philip A. Nelson.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://www.gnu.org/software/gdbm/gdbm.html
|
| Released by: |
gerd
|
| Distfiles: |
gdbm-1.8.3.tar.gz
|
| Docs: |
base-gdbm (link may be unavailable)
|
|
| base-pcre |
7.7godi1 |
2010-07-05 |
The version of PCRE for GODI |
| Description: |
This is the version of PCRE used by GODI.
|
| Maintainer: |
markus.mottl@gmail.com
|
| Homepage: |
http://www.pcre.org
|
| Released by: |
gerd
|
| Distfiles: |
pcre-7.7.tar.gz
|
| Docs: |
base-pcre (link may be unavailable)
|
|
| base-plan9-mk |
1.6 |
2010-07-05 |
The make utility from Plan9 |
| Description: |
Mk is Andrew Hume's reimplementation of make. Mk is recommended by Stu
Feldman, who created make. Mk has evolved through many systems from
Bell Labs. Mk does not try to do everything but instead provides small
but coherent set of features, including especially good integration
with the shell. We use it to build Quick C--, and we're very happy.
The C code for Mk is extracted from the Plan 9 source distribution and
comes with an Open Source License. Requirements for compilation are a
C compiler and Make. The documentation includes a PDF file about Mk,
and a Unix man page.
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://www.cminusminus.org/code.html
|
| Released by: |
gerd
|
| Distfiles: |
mk-1.6.tar.gz
|
| Docs: |
base-plan9-mk (link may be unavailable)
|
|
| base-subversion-client |
1.0.6 |
2010-07-05 |
The subversion client allows direct access to GODI repositories |
| Description: |
The goal of the Subversion project is to build a version control
system that is a compelling replacement for CVS in the open source
community.
This package only includes the client for the subversion network
protocol such that you can directly access the GODI repositories. Of
course, it is also possible that you use an subversion client coming
with your OS. Check that it has at least version 1.0, and that it
supports SSL.
To build this package, libz and libssl are required.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://subversion.tigris.org
|
| Released by: |
gerd
|
| Distfiles: |
subversion-1.0.6.tar.gz
|
| Docs: |
base-subversion-client (link may be unavailable)
|
|
| conf-bdb |
1 |
2010-07-05 |
Configures which bdb library to use |
| Description: |
This package configures where the BDB library is found.
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-bdb (link may be unavailable)
|
|
| conf-curl |
3 |
2010-07-05 |
Configures which curl library to use |
| Description: |
This package configures where the CURL library is found.
|
| Maintainer: |
Alain.Frisch@ens.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-curl (link may be unavailable)
|
|
| conf-expat |
7 |
2010-07-05 |
Configures which expat library to use |
| Description: |
This package configures where the expat library is found.
|
| Maintainer: |
Alain.Frisch@ens.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-expat (link may be unavailable)
|
|
| conf-freetype2 |
1godi3 |
2010-07-05 |
Configures which freetype2 library to use |
| Description: |
This package configures where freetype2 library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-freetype2 (link may be unavailable)
|
|
| conf-gdbm |
3 |
2010-07-05 |
Configures which gdbm library to use |
| Description: |
This package configures where the GDBM library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gdbm (link may be unavailable)
|
|
| conf-gdk-pixbuf1 |
1 |
2010-07-05 |
Configures which gdk-pixbuf for gtk 1.x library to use |
| Description: |
This package configures where the gdk-pixbuf for gtk 1.x library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gdk-pixbuf1 (link may be unavailable)
|
|
| conf-gif |
1godi2 |
2010-07-05 |
Configures which gif library to use |
| Description: |
This package configures where the gif or ungif library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gif (link may be unavailable)
|
|
| conf-git |
1 |
2011-12-23 |
Configures which git command to use |
| Description: |
This package configures where the git executable is.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
n/a
|
| Released by: |
jmaloberti
|
| Distfiles: |
|
| Docs: |
conf-git (link may be unavailable)
|
|
| conf-glade1 |
1 |
2010-07-05 |
Configures which glade for gtk 1.x library to use |
| Description: |
This package configures where the glade for gtk 1.x library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-glade1 (link may be unavailable)
|
|
| conf-glut |
6 |
2010-07-05 |
Configures which glut library to use |
| Description: |
This package configures where the glut library can be found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-glut (link may be unavailable)
|
|
| conf-gmp |
1 |
2010-07-05 |
Configures which gmp library to use |
| Description: |
This package configures where the gmp includes and libraries can be found.
|
| Maintainer: |
raffalli@univ-savoie.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gmp (link may be unavailable)
|
|
| conf-gnome1 |
1 |
2010-07-05 |
Configures which gnome 1.x library to use |
| Description: |
This package configures where the gnome 1.x library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gnome1 (link may be unavailable)
|
|
| conf-gs |
1godi1 |
2010-07-05 |
Configures which Ghostscript interpreter to use |
| Description: |
This package configures where the jpeg library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gs (link may be unavailable)
|
|
| conf-gtk1 |
1 |
2010-07-05 |
Configures which gtk 1.x library to use |
| Description: |
This package configures where the gtk 1.x library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gtk1 (link may be unavailable)
|
|
| conf-gtkgl1 |
1 |
2010-07-05 |
Configures which gtkgl for gtk 1.x library to use |
| Description: |
This package configures where the gtkgl for gtk 1.x library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-gtkgl1 (link may be unavailable)
|
|
| conf-jpeg |
2godi1 |
2010-07-05 |
Configures which jpeg library to use |
| Description: |
This package configures where the jpeg library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-jpeg (link may be unavailable)
|
|
| conf-lacaml |
1 |
2010-07-05 |
Configures libraries needed by LACAML |
|
|
| conf-libevent |
1 |
2011-06-26 |
Configures which libevent library to use |
| Description: |
Configures where libevent can be found (http://www.monkey.org/~provos/libevent/)
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-libevent (link may be unavailable)
|
|
| conf-magic |
0 |
2012-12-15 |
Configures which magic library to use |
| Description: |
This package configures where the zlib library is found.
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
n/a
|
| Released by: |
andreas
|
| Distfiles: |
|
| Docs: |
conf-magic (link may be unavailable)
|
|
| conf-mysql |
2 |
2010-07-05 |
Configures which mysql library to use |
| Description: |
This package configures where the Mysql client libraries can be found.
|
| Maintainer: |
ogunden@phauna.org
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-mysql (link may be unavailable)
|
|
| conf-ncurses |
1 |
2010-07-05 |
Configures which ncurses library to use |
| Description: |
This package configures where the ncurses library is found.
|
| Maintainer: |
ogunden@phauna.org
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-ncurses (link may be unavailable)
|
|
| conf-opengl |
6 |
2010-07-05 |
Configures which opengl libraries to use |
| Description: |
This package configures where the opengl libraries GL and GLU are found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-opengl (link may be unavailable)
|
|
| conf-pcre |
7 |
2012-06-17 |
Configures which pcre library to use |
| Description: |
This package configures where the PCRE library is found.
|
| Maintainer: |
markus.mottl@gmail.com
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-pcre (link may be unavailable)
|
|
| conf-png |
1godi2 |
2010-07-05 |
Configures which png library to use |
| Description: |
This package configures where the png library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-png (link may be unavailable)
|
|
| conf-popt |
1 |
2010-07-05 |
Configures which popt library to use |
| Description: |
This package configures where the POPT library is found.
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-popt (link may be unavailable)
|
|
| conf-postgres |
1 |
2010-07-05 |
Configures which PostgreSQL client library to use |
|
|
| conf-rpm |
2 |
2010-07-05 |
Configures which rpm library to use |
| Description: |
This package configures where the RPM library is found.
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-rpm (link may be unavailable)
|
|
| conf-sdl |
3 |
2010-07-05 |
Configures which SDL library to use |
| Description: |
This package configures where the SDL library is found.
SDL (Simple Direct Layer) is a video/audio/input device
API especially designed to develop games.
URL: http://www.libsdl.org
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-sdl (link may be unavailable)
|
|
| conf-tcltk |
11 |
2010-07-05 |
Configures which tcl/tk libraries to use |
| Description: |
This package configures where the tcl/tk libraries can be found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-tcltk (link may be unavailable)
|
|
| conf-tiff |
2godi1 |
2010-07-05 |
Configures which tiff library to use |
| Description: |
This package configures where the tiff library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-tiff (link may be unavailable)
|
|
| conf-unixodbc |
2 |
2010-07-05 |
Configures which unixodbc library to use |
| Description: |
This package configures where the unixodbc library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-unixodbc (link may be unavailable)
|
|
| conf-x11 |
5 |
2012-02-24 |
Configures which X11 library to use |
| Description: |
This package configures where the X11 library can be found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-x11 (link may be unavailable)
|
|
| conf-xpm |
1godi1 |
2010-07-05 |
Configures which xpm library to use |
| Description: |
This package configures where the xpm library is found.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-xpm (link may be unavailable)
|
|
| conf-zlib |
2 |
2010-07-05 |
Configures which zlib library to use |
| Description: |
This package configures where the zlib library is found.
|
| Maintainer: |
Alain.Frisch@ens.fr
|
| Homepage: |
n/a
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
conf-zlib (link may be unavailable)
|
|
| godi-alphacaml |
20061214 |
2010-07-05 |
A tool that helps deal with alpha-conversion issues. |
| Description: |
AlphaCaml is a tool that turns a so-called `binding specification' into an
Objective Caml compilation unit. This helps writers of interpreters,
compilers, or other programs-that-manipulate-programs deal with alpha-
conversion in a safe and concise style.
|
| Maintainer: |
François Pottier
|
| Homepage: |
http://cristal.inria.fr/~fpottier/alphaCaml/
|
| Released by: |
gerd
|
| Distfiles: |
alphaCaml-20061214.tar.gz
|
| Docs: |
godi-alphacaml (link may be unavailable)
|
|
| godi-ancient |
0.9.0 |
2010-07-05 |
adds a third generation to the memory manager |
| Description: |
This module allows you to use in-memory data structures which are
larger than available memory and so are kept in swap. If you try this
in normal OCaml code, you'll find that the machine quickly descends
into thrashing as the garbage collector repeatedly iterates over
swapped memory structures. This module lets you break that
limitation. Of course the module doesn't work by magic :-) If your
program tries to access these large structures, they still need to be
swapped back in, but it is suitable for large, sparsely accessed
structures.
Secondly, this module allows you to share those structures between
processes. In this mode, the structures are backed by a disk file,
and any process that has read/write access that disk file can map that
file in and see the structures.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://merjis.com/developers/ancient
|
| Released by: |
gerd
|
| Distfiles: |
ancient-0.9.0.tar.gz
|
| Docs: |
godi-ancient (link may be unavailable)
|
|
| godi-annexlib |
0.13.5 |
2010-07-05 |
a bunch of cool stuff |
| Description: |
This is an annex to the standard library. It contains many useful things.
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://www.csun.edu/~eric/
|
| Released by: |
gerd
|
| Distfiles: |
annexlib-0.13.5.tar.gz
|
| Docs: |
godi-annexlib (link may be unavailable)
|
|
| godi-ansicolor |
0.5 |
2010-07-05 |
Simple ANSI terminal color library. |
| Description: |
A very simple library for producing colorful text (and other effects) on
ANSI-compatible terminals.
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://projects.phauna.org/ansicolor/
|
| Released by: |
gerd
|
| Distfiles: |
ansicolor-0.5.tar.gz
|
| Docs: |
godi-ansicolor (link may be unavailable)
|
|
| godi-ansiterminal |
0.3 |
2010-07-05 |
ANSI terminal library. |
| Description: |
A small module to display colors and allow cursor movements on ANSI
compliant terminals.
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://math.umh.ac.be/an/software.php
|
| Released by: |
gerd
|
| Distfiles: |
ANSITerminal-0.3.tar.bz2
|
| Docs: |
godi-ansiterminal (link may be unavailable)
|
|
| godi-atd |
1.0.1godi1 |
2011-05-26 |
Syntax for cross-language data types |
| Description: |
ATD stands for Adjustable Type Definitions. It is a type definition
language designed to accomodate a variety of programming languages and data
formats by the means of target-specific annotations. It supports sum
types, parametrized types and inheritance. The library provides a parser
and other tools useful for manipulating ATD type definitions. The
reference manual gives a complete description of the syntax.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://oss.wink.com/atd/
|
| Released by: |
mjambon
|
| Distfiles: |
atd-1.0.1.tar.gz
|
| Docs: |
godi-atd (link may be unavailable)
|
|
| godi-atdgen |
1.2.2 |
2011-10-18 |
Code generator for biniou and JSON serialization |
| Description: |
Atdgen is a command-line program that takes as input type definitions in
the ATD syntax and produces OCaml code suitable for data serialization and
deserialization. Two data formats are currently supported, these are biniou
and JSON.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://oss.wink.com/atdgen/
|
| Released by: |
mjambon
|
| Distfiles: |
atdgen-1.2.2.tar.gz
|
| Docs: |
godi-atdgen (link may be unavailable)
|
|
| godi-batteries |
1.4.1 |
2011-08-30 |
a community-maintained foundation library for OCaml |
| Description: |
Ocaml Batteries Included serves the following purposes:
* define a standard set of libraries which may be expected on every
compliant installation of OCaml
* organize these libraries into a hierarchy of modules
* provide a consistent API for otherwise independent libraries
|
| Maintainer: |
Michael Ekstrand
|
| Homepage: |
http://batteries.forge.ocamlcore.org
|
| Released by: |
elehack
|
| Distfiles: |
batteries-1.4.1.tar.gz
|
| Docs: |
godi-batteries (link may be unavailable)
|
|
| godi-benchmark |
1.2 |
2012-12-15 |
simple benchmark functions |
| Description: |
Benchmark provides functions to measure and compare the run-time of
functions. It is inspired by the Perl module of the same name.
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
https://forge.ocamlcore.org/projects/ocaml-benchmark/
|
| Released by: |
andreas
|
| Distfiles: |
benchmark-1.2.tar.gz
|
| Docs: |
godi-benchmark (link may be unavailable)
|
|
| godi-bin-prot |
2.0.7godi1 |
2011-11-10 |
Library for automated conversion of OCaml-values to and from an efficient binary protocol. |
| Description: |
Bin-prot is a library for automated conversion of OCaml-values to and
from an efficient binary protocol.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://ocaml.janestcapital.com
|
| Released by: |
mottl
|
| Distfiles: |
bin-prot-2.0.7.tar.gz
|
| Docs: |
godi-bin-prot (link may be unavailable)
|
|
| godi-bin_prot |
108.00.01godi2 |
2012-06-04 |
Library for automated conversion of OCaml-values to and from an efficient binary protocol. |
| Description: |
Bin-prot is a library for automated conversion of OCaml-values to and
from an efficient binary protocol.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://bitbucket.org/yminsky/ocaml-core
|
| Released by: |
mottl
|
| Distfiles: |
bin_prot-108.00.01.tar.gz
|
| Docs: |
godi-bin_prot (link may be unavailable)
|
|
| godi-bindlib |
3.2godi1 |
2012-12-24 |
library and camlp4 extension for data-structures with bound variables |
|
|
| godi-biniou |
1.0.0godi1 |
2011-05-26 |
Flexible binary data format |
| Description: |
Biniou is a binary data format designed for speed, safety, ease of use and
backward compatibility as protocols evolve. Biniou is vastly equivalent to
JSON in terms of functionality but allows implementations about 4 times as
fast (see godi-yojson for comparison), with 25-35% space savings. Biniou
data can be decoded into human-readable form without knowledge of type
definitions except for field and variant names which are represented by
31-bit hashes.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/biniou.html
|
| Released by: |
mjambon
|
| Distfiles: |
biniou-1.0.0.tar.gz
|
| Docs: |
godi-biniou (link may be unavailable)
|
|
| godi-bisect |
1.1 |
2011-02-15 |
A code coverage tool. |
| Description: |
Bisect is a code coverage tool for Objective Caml programs with the following
features:
- flexible control of covered areas
- support for threads
- reports in bare text, CSV, HTML, and XML
- support for Objective Caml version 3.12.0
- support for ocamlfind
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://bisect.x9c.fr/index.html
|
| Released by: |
jmaloberti
|
| Distfiles: |
bisect-1.1.tar.gz
|
| Docs: |
godi-bisect (link may be unavailable)
|
|
| godi-bitstring |
2.0.3 |
2012-02-15 |
Erlang-style bitstrings and matching over bitstrings as a syntax extension |
| Description: |
The ocaml-bitstring project adds Erlang-style bitstrings and matching over
bitstrings as a syntax extension and library for OCaml.
(This project was formerly known as "bitmatch").
You can use this module to both parse and generate binary formats,
files and protocols.
Bitstring handling is added as primitives to the language,
making it exceptionally simple to use and very powerful.
|
| Maintainer: |
Cedric AUGER
|
| Homepage: |
http://code.google.com/p/bitstring/
|
| Released by: |
cauger
|
| Distfiles: |
ocaml-bitstring-2.0.3.tar.gz
|
| Docs: |
godi-bitstring (link may be unavailable)
|
|
| godi-bolt |
1.1 |
2011-02-07 |
A logging tool. |
| Description: |
Bolt is a logging tool for Objective Caml with the following features:
- configuration of filters, layouts, and outputs at run-time
- syntax extension to remove log statements at compile-time
- fully customizable (filters, layouts, and outputs)
- support for Objective Caml version 3.12.0
- support for ocamlfind
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://bolt.x9c.fr/index.html
|
| Released by: |
jmaloberti
|
| Distfiles: |
bolt-1.1.tar.gz
|
| Docs: |
godi-bolt (link may be unavailable)
|
|
| godi-cache |
1.0 |
2010-07-05 |
Distributed caching service |
| Description: |
This library implements a caching service for storing arbitrary strings
that can be located by string keys. The caching service is reachable
over TCP. The cache can be distributed over several nodes. The cache
can be saved to disk in regular intervals.
A client module is included. Both synchronous and asynchronous access
methods are defined.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://oss.wink.com/cache/
|
| Released by: |
gerd
|
| Distfiles: |
cache-1.0.tar.gz
|
| Docs: |
godi-cache (link may be unavailable)
|
|
| godi-cairo |
1.2godi1 |
2010-07-05 |
ocaml binding for cairo |
| Description: |
Cairo is a 2D graphics library with support for multiple output devices.
Currently supported output targets include:
X, Quartz, Win32, image buffers, PostScript, PDF, and SVG file output.
Experimental backends include OpenGL (through glitz), XCB, BeOS, OS/2,
and DirectFB.
The cairo API provides operations similar to the drawing operators
of PostScript and PDF.
Operations in cairo including stroking and filling cubic Bézier splines,
transforming and compositing translucent images,
and antialiased text rendering.
All drawing operations can be transformed by any affine transformation
(scale, rotation, shear, etc.)
Cairo is free software and is available to be redistributed
and/or modified under the terms of
either the GNU Lesser General Public License (LGPL) version 2.1
or the Mozilla Public License (MPL) version 1.1 at your option.
see, http://cairographics.org/
N.B. automake suite is required to compile this package
|
| Maintainer: |
Cedric AUGER
|
| Homepage: |
http://cairographics.org/cairo-ocaml/
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-cairo-1.2.tar.gz
|
| Docs: |
godi-cairo (link may be unavailable)
|
|
| godi-calendar |
2.03.2godi1 |
2012-10-22 |
Operations over dates and times. |
| Description: |
The Calendar library is a library providing a set of operations over dates
and times.
|
| Maintainer: |
Julien Signoles
|
| Homepage: |
http://calendar.forge.ocamlcore.org/
|
| Released by: |
gerd
|
| Distfiles: |
calendar-2.03.2.tar.gz
|
| Docs: |
godi-calendar (link may be unavailable)
|
|
| godi-caml2html |
1.4.1godi1 |
2011-05-26 |
HTML and LaTeX colored syntax from OCaml source files |
| Description: |
Caml2html provides a command-line executable which converts a set of OCaml
source files into a HTML or LaTeX document with colored syntax. A library
is also provided for building web-page generators that would color OCaml
code appropriately.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/caml2html.html
|
| Released by: |
mjambon
|
| Distfiles: |
caml2html-1.4.1.tar.gz
|
| Docs: |
godi-caml2html (link may be unavailable)
|
|
| godi-camlidl |
1.05godi1 |
2010-07-05 |
Stub generator |
| Description: |
Camlidl is a stub code generator for Objective Caml. It generates
stub code for interfacing Caml with C from an IDL description of the C
functions. Thus, Camlidl automates the most tedious task in
interfacing C libraries with Caml programs. It can also be used to
interface Caml programs with other languages, as long as those
languages have a well-defined C interface.
In addition, Camlidl provides basic support for COM interfaces and
components under MS Windows. It supports both using COM components
(usually written in C++ or C) from Caml programs, and packaging Caml
objects as COM components that can then be used from C++ or C.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr/pub/old_caml_site/camlidl/
|
| Released by: |
gerd
|
| Distfiles: |
camlidl-1.05.tar.gz camlidl-1.05.doc.pdf
|
| Docs: |
godi-camlidl (link may be unavailable)
|
|
| godi-camlimages |
2.20godi6 |
2012-02-27 |
Objective Caml image processing library |
| Description: |
CamlImages is an image processing library, which provides
* Basic functions for image processing and loading/saving various
image file formats (hence providing a translation facility from
format to format),
* An interface with the Caml graphics library allows to display
images in the Graphics module screen and to mix them with Caml
drawings,
* A freetype interface, integrated into the library: you can draw
texts into images using any truetype fonts.
In addition, the library can handle huge images that cannot be (or can
hardly be) stored into the main memory (the library then automatically
creates swap files and escapes them to reduce the memory usage).
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://pauillac.inria.fr/camlimages
|
| Released by: |
gerd
|
| Distfiles: |
camlimages-2.2.tgz
|
| Docs: |
godi-camlimages (link may be unavailable)
|
|
| godi-camlp4-manual |
20051029godi1 |
2010-07-05 |
The manuals for Camlp4 |
| Description: |
The original reference manual and the tutorial for Camlp4. This refers
to the Camlp4 version shipped until O'Caml 3.09 (which is still
separately available as "Camlp5"). The Camlp4 version in 3.10 was
rewritten from scratch. However, many of the interfaces and concepts
described in this manual are still applicable.
An "appendix" to this manual is available in godi-gallium-docs, which is
a copy of the wiki at http://brion.inria.fr/gallium, and these docs
somehow describe the changes in the rewritten Camlp4.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr/
|
| Released by: |
gerd
|
| Distfiles: |
manual-camlp4-20051029.tar.gz tutorial-camlp4-20051029.tar.gz
|
| Docs: |
godi-camlp4-manual (link may be unavailable)
|
|
| godi-camlp5 |
6.07godi1 |
2012-10-08 |
pre-processor-pretty-printer for ocaml |
| Description: |
This package provides the camlp5 pre-processor and pretty-printer. camlp5 is
compatible with the camlp4 implementation that was built in ocaml versions
prior 3.10, so that it is possible to use it to compile apps that rely on the
old behavior of camlp4
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://pauillac.inria.fr/~ddr/camlp5/
|
| Released by: |
gerd
|
| Distfiles: |
camlp5-6.07.tgz
|
| Docs: |
godi-camlp5 (link may be unavailable)
|
|
| godi-camltemplate |
1.0.2 |
2010-07-05 |
A library for generating text from templates. |
| Description: |
CamlTemplate can be used to generate web pages, scripts, SQL queries, XML
documents and other sorts of text.
|
| Maintainer: |
Benjamin Geer
|
| Homepage: |
http://saucecode.org/camltemplate/
|
| Released by: |
gerd
|
| Distfiles: |
camltemplate-1.0.2.tar.gz
|
| Docs: |
godi-camltemplate (link may be unavailable)
|
|
| godi-camomile |
0.8.3 |
2012-01-03 |
Camomile is a comprehensive Unicode library for OCaml. |
| Description: |
Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings,
conversion to/from about 200 encodings, collation and locale-sensitive case
mappings, and more
|
| Maintainer: |
David Teller
|
| Homepage: |
http://camomile.sourceforge.net/
|
| Released by: |
letrec
|
| Distfiles: |
camomile-0.8.3.tar.bz2
|
| Docs: |
godi-camomile (link may be unavailable)
|
|
| godi-cducews |
0.1godi1 |
2011-11-24 |
A library for CDuce for Web Services prototyping. |
| Description: |
CDuce_WS is a library for CDuce for Web Services prototyping.
With OcCDuce, it can also implement servers.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.cduce.org/cduce_ws.html
|
| Released by: |
jmaloberti
|
| Distfiles: |
cduce_ws-0.1.tar.gz
|
| Docs: |
godi-cducews (link may be unavailable)
|
|
| godi-cfg |
1.7.6godi1 |
2012-05-04 |
OCaml library for manipulating context-free grammars |
| Description: |
CFG is a purely functional library for manipulating context-free grammars.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
|
| Released by: |
mottl
|
| Distfiles: |
cfg-1.7.6.tar.gz
|
| Docs: |
godi-cfg (link may be unavailable)
|
|
| godi-cil |
1.3.6godi3 |
2011-07-13 |
C Intermediate Language |
| Description: |
CIL (C Intermediate Language) is a high-level representation along
with a set of tools that permit easy analysis and source-to-source
transformation of C programs.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://manju.cs.berkeley.edu/cil/
|
| Released by: |
gerd
|
| Distfiles: |
cil-1.3.6.tar.gz
|
| Docs: |
godi-cil (link may be unavailable)
|
|
| godi-config-file |
1.1 |
2012-12-15 |
library used to manage the configuration file(s) of an application |
| Description: |
Config_file is an OCaml library used to manage the configuration
file(s) of an application. You simply define your options and it
performs the loading and saving of the options. Each option is defined
from an option class (for example an "int" option) or from a
combination of classes (for example to create "list of int" options).
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
http://config-file.forge.ocamlcore.org/
|
| Released by: |
andreas
|
| Distfiles: |
config-file-1.1.tar.gz
|
| Docs: |
godi-config-file (link may be unavailable)
|
|
| godi-core-mk |
1.2.19godi1 |
2010-07-05 |
The make framework of GODI |
| Description: |
godi-core-mk is the "make" framework of GODI, one of the core components.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
godi-core-mk-1.2.19.tar.gz
|
| Docs: |
godi-core-mk (link may be unavailable)
|
|
| godi-core-pkgtools |
20050829 |
2010-07-05 |
GODI package tools |
| Description: |
The tools to create, add, remove, and list the binary packages
(.tgz files).
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
godi-pkg_install-20050829.tar.gz
|
| Docs: |
godi-core-pkgtools (link may be unavailable)
|
|
| godi-core-script |
0.5 |
2010-07-05 |
Support library for GODI scripts |
| Description: |
This is a support library to write scripts for GODI in O'Caml.
Currently, these scripts are used for conf-foo packages.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
godi-script-0.5.tar.gz
|
| Docs: |
godi-core-script (link may be unavailable)
|
|
| godi-crypt |
1.0godi1 |
2010-07-05 |
crypt library binding |
| Description: |
This is a binding to the unix crypt function in the standard C library
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://www.csun.edu/~eric/
|
| Released by: |
gerd
|
| Distfiles: |
crypt-1.0.tar.gz
|
| Docs: |
godi-crypt (link may be unavailable)
|
|
| godi-cryptgps |
0.2.1 |
2010-07-05 |
cryptographic algorithms DES, 3DES, Blowfish |
| Description: |
This library implements Blowfish, DES, and Triple-DES.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
cryptgps-0.2.1.tar.gz
|
| Docs: |
godi-cryptgps (link may be unavailable)
|
|
| godi-cryptokit |
1.3 |
2010-07-05 |
Cryptographic primitives |
| Description: |
The Cryptokit library for Objective Caml provides a variety of
cryptographic primitives that can be used to implement cryptographic
protocols in security-sensitive applications. The primitives provided
include:
* Symmetric-key cryptography: AES, DES, Triple-DES, ARCfour, in ECB,
CBC, CFB and OFB modes.
* Public-key cryptography: RSA encryption and signature;
Diffie-Hellman key agreement.
* Hash functions and MACs: SHA-1, MD5, and MACs based on AES and
DES.
* Random number generation.
* Encodings and compression: base 64, hexadecimal, Zlib compression.
Additional ciphers and hashes can easily be used in conjunction with the
library. In particular, basic mechanisms such as chaining modes, output
buffering, and padding are provided by generic classes that can easily
be composed with user-provided ciphers. More generally, the library
promotes a "Lego"-like style of constructing and composing
transformations over character streams.
This library works under Unix and Windows.
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://pauillac.inria.fr/~xleroy/software.html
|
| Released by: |
gerd
|
| Distfiles: |
cryptokit-1.3.tar.gz
|
| Docs: |
godi-cryptokit (link may be unavailable)
|
|
| godi-curl |
0.5.3godi2 |
2012-06-18 |
Bindings for libcurl |
|
|
| godi-deriving-ocsigen |
0.3c |
2012-03-26 |
An extension for deriving functions from type declarations. |
| Description: |
An extension to OCaml for deriving functions from type declarations.
Includes derivers for pretty-printing, type-safe marshalling with
structure-sharing, dynamic typing, equality, and more.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org/eliom/install/
|
| Released by: |
jmaloberti
|
| Distfiles: |
deriving-ocsigen-0.3c.tar.gz
|
| Docs: |
godi-deriving-ocsigen (link may be unavailable)
|
|
| godi-dose2 |
1.1godi2 |
2011-07-13 |
Libraries for package distribution management |
| Description: |
Dose2 is a library for distribution analysis.
|
| Maintainer: |
jaapb@kerguelen.org
|
| Homepage: |
http://sodiac.gforge.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
dose2-1.1.tar.gz
|
| Docs: |
godi-dose2 (link may be unavailable)
|
|
| godi-dum |
1.0.0godi2 |
2011-05-26 |
Dumper supporting cyclic values. |
| Description: |
Dum is a library for inspecting the runtime representation of arbitrary
Objective Caml values. Shared or cyclic data are detected and labelled.
This guarantees that printing would always terminate. This makes it
possible to print values such as closures, objects or exceptions in depth
and without risk.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://oss.wink.com/dum/
|
| Released by: |
mjambon
|
| Distfiles: |
dum-1.0.0.tar.gz
|
| Docs: |
godi-dum (link may be unavailable)
|
|
| godi-dyntype |
0.7godi2 |
2012-03-20 |
Dynamic types for OCaml |
|
|
| godi-dypgen |
20111127 |
2012-01-07 |
dypgen is a GLR parser generator for Objective Caml, it is able to generate self-extensible parsers and extensible lexers for the parsers it produces. |
| Description: |
dypgen is a GLR parser generator for Objective Caml, it is able to generate self-extensible parsers (also called adaptive parsers). Dypgen is also able to generate extensible lexers for the parsers it produces.
The main features of dypgen are:
* dypgen is a GLR parser. This means it can handle ambiguous grammars and outputs the list of all possible parse trees. Even for non ambiguous grammars, GLR parsing allows to define the grammar in a more natural way. It is possible to extract a definition suitable for the documentation directly from the parser source file.
* Ambiguities can be removed by introducing priorities and relations between them. This gives a very natural way to express a grammar (the examples in the documentation illustrate this).
* Grammars are self-extensible, i.e. an action can add new rules to the current grammar. Moreover, the modifications can be local. The new grammar is valid only for a well delimited section of the parsed input.
* dypgen provides management of local and global immutable data. The user actions can access it and return it modified. These mechanisms adress the problem posed by global mutable data with GLR parsing and let the user controls the scope of the data. Modifications of local data are preserved when traveling from right to left in a rule or when going down in the parse tree. Modifications of global data are preserved across the complete traversal of the parse tree. These data may be used for instance to do type-checking at parsing time in an elegant and acceptable way. The local data may contain the environment that associates a type to each variable while the global data would contain the substitution over types that is usually produced by unification.
* Pattern matching for symbols in right-hand sides of rules is possible. In particular this allows guarded reductions and to bind names to the arguments of actions.
* dypgen allows early actions, that are semantic actions performed before the end of a rule.
* It is possible to use dypgen as the lexer generator too. In this case regular expressions that match characters strings are allowed in the right-hand side of grammar rules and it is possible to extend the lexer by introducing such rules.
* The operators *, + and ? of regular expressions are available for non terminals and nested rules too.
Here is an example of a parser for a small calculator which enforces the usual precedences between operators:
%start main
%relation pi
|
| Maintainer: |
Emmanuel Onzon (packaging by C. Raffalli
|
| Homepage: |
http://dypgen.free.fr
|
| Released by: |
gerd
|
| Distfiles: |
dypgen-20111127-1.tar.bz2
|
| Docs: |
godi-dypgen (link may be unavailable)
|
|
| godi-easy-format |
1.0.0godi1 |
2011-05-26 |
Indentation made easy(ier) |
| Description: |
This module offers a simplified interface to the Format module of the
standard library. Input data must be converted into a tree using 3 kinds of
nodes: atoms, lists and labelled nodes. Each node is bound to its own
formatting parameters and a single function call produces the formatted
output.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/easy-format.html
|
| Released by: |
mjambon
|
| Distfiles: |
easy-format-1.0.0.tar.gz
|
| Docs: |
godi-easy-format (link may be unavailable)
|
|
| godi-event |
0.6.0godi2 |
2011-06-26 |
Bindings for libevent |
| Description: |
An ocaml wrapper for the libevent API. The libevent API provides a
mechanism to execute a callback function when a specific event occurs
on a file descriptor or after a timeout has been reached. Furthermore,
libevent also support callbacks due to signals or regular timeouts.
Currently, libevent supports /dev/poll, kqueue(2), select(2), poll(2)
and epoll(4). It also has experimental support for real-time
signals. The internal event mechanism is completely independent of the
exposed event API, and a simple update of libevent can provide new
functionality without having to redesign the applications. As a
result, Libevent allows for portable application development and
provides the most scalable event notification mechanism available on
an operating system.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://mmzeeman.home.xs4all.nl/ocaml/
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-event-0.6.0.tar.gz
|
| Docs: |
godi-event (link may be unavailable)
|
|
| godi-expat |
0.9.1godi2 |
2010-07-05 |
Bindings for the expat XML parser |
|
|
| godi-extlib |
1.5.2 |
2012-06-27 |
User-supported Extended Standard Library |
| Description: |
ExtLib is a project aiming at providing a complete - yet small -
standard library for the OCaml programming langage. The purpose of
this library is to add new functions to OCaml Standard Library
modules, to modify some functions in order to get better performances
or more safety (tail-recursive) but also to provide new modules which
should be useful for the average OCaml programmer.
|
| Maintainer: |
Alain Frisch
|
| Homepage: |
http://code.google.com/p/nurpawiki
|
| Released by: |
gerd
|
| Distfiles: |
extlib-1.5.2.tar.gz
|
| Docs: |
godi-extlib (link may be unavailable)
|
|
| godi-facile |
1.1 |
2010-07-05 |
A Functional Constraint Library |
| Description: |
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml. It offers all usual facilities to create and
manipulate finite domain variables, arithmetic expressions and constraints
(possibly non-linear), built-in global constraints (difference, cardinality,
sorting etc.) and search and optimization goals. FaCiLe allows as well to build
easily user-defined constraints and goals (including recursive ones), making
pervasive use of OCaml higher-order functionals to provide a simple and flexible
interface for the user. As FaCiLe is an OCaml library and not "yet another
language", the user benefits from type inference and strong typing discipline,
high level of abstraction, modules and objects system, as well as native code
compilation efficiency, garbage collection and replay debugger, all features of
OCaml (among many others) that allow to prototype and experiment quickly:
modeling, data processing and interface are implemented with the same powerful
and efficient language.
Online documentation at:
http://www.recherche.enac.fr/opti/facile/index.html.en
|
| Maintainer: |
Olivier Grisel
|
| Homepage: |
http://www.recherche.enac.fr/opti/facile/index.html.en
|
| Released by: |
gerd
|
| Distfiles: |
facile-1.1.tar.gz
|
| Docs: |
godi-facile (link may be unavailable)
|
|
| godi-fftw |
0.1godi4 |
2011-05-26 |
Discrete Fourier Transform (FFTW version 2) |
| Description: |
OCaml interface to FFTW version 2. FFTW, the "Fastest Fourier Transform in
the West" is a C subroutine library for computing the Discrete Fourier
Transform (DFT) in one or more dimensions. For more information about FFTW,
visit http://www.fftw.org/
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://math.umh.ac.be/an/software.php
|
| Released by: |
mjambon
|
| Distfiles: |
fftw.tgz
|
| Docs: |
godi-fftw (link may be unavailable)
|
|
| godi-findlib |
1.4.1 |
2014-03-02 |
The findlib/ocamlfind package manager |
| Description: |
This is the findlib package manager for O'Caml:
The "findlib" library provides a scheme to manage reusable software
components (packages), and includes tools that support this
scheme. Packages are collections of OCaml modules for which
metainformation can be stored. The packages are kept in the filesystem
hierarchy, but with strict directory structure. The library contains
functions to look the directory up that stores a package, to query
metainformation about a package, and to retrieve dependency
information about multiple packages. There is also a tool that allows
the user to enter queries on the command-line. In order to simplify
compilation and linkage, there are new frontends of the various OCaml
compilers that can directly deal with packages.
Together with the packages metainformation is stored. This includes a
version string, the archives the package consists of, and additional
linker options. Packages can also be dependent on other
packages. There is a query which finds out all predecessors of a list
of packages and sorts them topologically. The new compiler frontends
do this implicitly.
Metainformation can be conditional, i.e. depend on a set of
predicates. This is mainly used to be able to react on certain
properties of the environment, such as if the bytecode or the native
compiler is invoked, if the application is multi-threaded, and a few
more. If the new compiler frontends are used, most predicates are
found out automatically.
There is special support for scripts. A new directive, "#require",
loads packages into scripts. Of course, this works only with newly
created toploops which include the "findlib" library.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://projects.camlcity.org/projects/findlib.html
|
| Released by: |
gerd
|
| Distfiles: |
findlib-1.4.1.tar.gz
|
| Docs: |
godi-findlib (link may be unavailable)
|
|
| godi-findlib-browser |
0.2.3 |
2010-08-02 |
CGI to browse findlib-managed packages |
| Description: |
This CGI allows you to browse through the interfaces of all
packages, provided there are .mli files.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://www.ocaml-programing.de/
|
| Released by: |
gerd
|
| Distfiles: |
findlib-browser-0.2.3.tar.gz
|
| Docs: |
godi-findlib-browser (link may be unavailable)
|
|
| godi-flexdll |
0.30godi6 |
2012-07-08 |
flexdll emulates Unix-style dynamic linking on Win32 |
| Description: |
Note: flexdll is only available for Windows platforms!
Under Windows, DLL (Dynamically-Linked Libraries) are generally used
to improve code modularity and sharing. A DLL can be loaded
automatically when the program is loaded (if it requires the DLL). The
program can also explicitly request Windows to load a DLL at any
moment during runtime, using the LoadLibrary function from the Win32
API.
This naturally suggests to use DLLs as a plugin mechanism. For
instance, a web server could load extensions modules stored in DLLs at
runtime. But Windows does not really make it easy to implement plugins
that way. The reason is that when you try to create a DLL from a set
of object files, the linker needs to resolve all the symbols, which
leads to the very problem solved by FlexDLL:
Windows DLL cannot refer to symbols defined in the main application or
in previously loaded DLLs.
Some usual solutions exist, but they are not very flexible. A notable
exception is the edll library (its homepage also describes the usual
solutions), which follows a rather drastic approach; indeed, edll
implements a new dynamic linker which can directly load object files
(without creating a Windows DLL).
FlexDLL is another solution to the same problem. Contrary to edll, it
relies on the native static and dynamic linkers. Also, it works both
with the Microsoft environment (MS linker, Visual Studio compilers)
and with Cygwin (GNU linker and compilers, in Cygwin or MinGW
mode). Actually, FlexDLL implements mostly the usual dlopen POSIX API,
without trying to be fully conformant though (e.g. it does not respect
the official priority ordering for symbol resolution). This should
make it easy to port applications developped for Unix.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://alain.frisch.fr/flexdll.html
|
| Released by: |
gerd
|
| Distfiles: |
flexdll-0.30.tar.gz
|
| Docs: |
godi-flexdll (link may be unavailable)
|
|
| godi-frontc |
3.1godi3 |
2010-07-05 |
Parser for the C language |
| Description: |
FrontC is an OCAML library providing a C parser and lexer. The result
is a syntactic tree easy to process with usual OCAML tree management.
It provides support for ANSI C syntax, old-C K&R style syntax and the
standard GNU CC attributes.
It provides also a C pretty printer as an example of use.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://casse.hugues.free.fr/projects/frontc.html
|
| Released by: |
gerd
|
| Distfiles: |
FrontC-3.1.tgz
|
| Docs: |
godi-frontc (link may be unavailable)
|
|
| godi-gallium-docs |
20090112 |
2010-07-05 |
Docs from Gallium about camlp4 and ocamlbuild |
| Description: |
This is a dump of the Gallium wiki at http://brion.inria.fr/gallium/index.php.
It mainly contains docs about camlp4 (in the version since O'Caml 3.10),
and about ocamlbuild.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://brion.inria.fr/gallium/index.php
|
| Released by: |
gerd
|
| Distfiles: |
gallium-20090112.tar.gz
|
| Docs: |
godi-gallium-docs (link may be unavailable)
|
|
| godi-getopt |
20040420 |
2010-07-05 |
Parsing of command line arguments |
|
|
| godi-gpr |
0.12.0godi3 |
2012-05-04 |
Gaussian process regression in OCaml |
|
|
| godi-gsl |
0.6.3 |
2012-05-04 |
GSL bindings for OCaml |
| Description: |
The GNU Scientific Library (GSL) is a numerical library for C and C++ (and
now OCaml) programmers. The library provides a wide range of mathematical
routines such as random number generators, special functions and
least-squares fitting.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://oandrieu.nerim.net/ocaml/
|
| Released by: |
mottl
|
| Distfiles: |
gsl-ocaml-0.6.3.tar.gz
|
| Docs: |
godi-gsl (link may be unavailable)
|
|
| godi-hweak |
1.1 |
2010-07-05 |
Weak hash table and downcast. |
| Description: |
The Hweak module, containing a weak hasthable where binding disappear
if the key or the value is collected. The Weak_memo module,
containing a class that may help to recover the true type of an
upcasted object.
|
| Maintainer: |
Yamagata Yoriyuki
|
| Homepage: |
http://aspellfr.free.fr/hweak/
|
| Released by: |
gerd
|
| Distfiles: |
hweak-1.1.tar.gz
|
| Docs: |
godi-hweak (link may be unavailable)
|
|
| godi-hydro |
0.7.1 |
2010-07-05 |
The ICE protocol |
| Description: |
Hydro is an independent implementation of ICE, the object-oriented RPC
protocol by ZeroC, for the O'Caml programming language. This is an
early, not yet complete release, but the code is already stable and
usable. For the restrictions of this release, see below.
Hydro (like ICE) allows you to bridge language barriers by letting
components written in different programming languages communicate with
each other. ZeroC's ICE product currently includes implementations for
C++, Java, C#, Python, Ruby, VB, and PHP. Hydro adds support for
O'Caml. The ICE protocol is rich enough to make the representation of
the data to communicate easy and convenient to use, and adopts an
object-oriented type system. ZeroC sees ICE as a superior successor to
CORBA.
Hydro includes a runtime, and a generator called hydrogen. The runtime
is fully asynchronous, based on Ocamlnet's event queues. The generator
is used to create a thin layer on top of the runtime that maps
abstract Hydro types to specific O'Caml types. The Hydro engine
therefore appears to the programmer as if it was typed using the input
IDL file. Unlike the generators shipped by ZeroC, hydrogen does not
create marshalling code -- we see this as the task of the runtime and
not of the language mapping layer. Because of this design decision we
have high confidence in the correctness of the generator.
Although we want Hydro to be an implementation whose protocol is fully
compatible with ICE and that can process all its IDL files, we take
some freedom to deviate from what is described in ZeroC's "ICE
manual". ICE was designed with mainstream object-oriented languages in
mind, and therefore lacks many of the advanced constructs available in
O'Caml (variants, for example). Conversely, ICE includes constructs
such as hierarchical exceptions and downcasts which do not exist in
O'Caml (and for good reason!). To deal with the "impedance mismatch,"
we implemented emulations for these concepts. On the other hand,
O'Caml offers advanced features which ought to be exploited by a good
implementation. For example, in O'Caml, asynchronous networking code
is quite natural, so we have chosen to make this the default style. So
while Hydro is quite straightforward, the O'Caml programmer should not
expect a design which is a perfect one-to-one translation of what
ZeroC describes.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://oss.wink.com/hydro/
|
| Released by: |
gerd
|
| Distfiles: |
hydro-0.7.1.tar.gz
|
| Docs: |
godi-hydro (link may be unavailable)
|
|
| godi-inifiles |
1.2 |
2012-06-19 |
ini format config file parsing |
| Description: |
This is a small library for reading .ini format config files
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://homepage.mac.com/letaris/
|
| Released by: |
gildor
|
| Distfiles: |
inifiles-1.2.tar.gz
|
| Docs: |
godi-inifiles (link may be unavailable)
|
|
| godi-janestreet-core |
107.01godi5 |
2011-11-10 |
Jane Street Capital standard library overlay |
|
|
| godi-janestreet-core-extended |
107.01godi3 |
2011-09-16 |
Jane Street Capital extended standard library overlay |
|
|
| godi-janestreet-fieldslib |
107.01godi3 |
2012-03-20 |
Jane Street Capital fieldslib library |
|
|
| godi-janestreet-patdiff |
107.01godi2 |
2011-09-09 |
Jane Street Capital patdiff implementation |
|
|
| godi-janestreet-variantslib |
107.01godi3 |
2012-03-20 |
Jane Street Capital variantslib library |
|
|
| godi-jsofocaml |
1.1.1 |
2012-03-17 |
Js_of_ocaml is a compiler of OCaml bytecode to Javascript |
| Description: |
Js_of_ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible
to run Ocaml programs in a Web browser.
Its key features are the following:
* The whole language, and most of the standard library are supported.
* The generated code is independant of Eliom and the Ocsigen server. You can
use it with any Web server.
* You can use a standard installation of OCaml to compile your programs. In
particular, you do not have to recompile a library to use it with Js_of_ocaml.
You just have to link your program with a specific library to interface with
the browser APIs.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org
|
| Released by: |
jmaloberti
|
| Distfiles: |
js_of_ocaml-1.1.1.tar.gz
|
| Docs: |
godi-jsofocaml (link may be unavailable)
|
|
| godi-json |
1.0godi2 |
2010-07-05 |
Data marshalling with JSON |
| Description: |
JSON (JavaScript Object Notation) is a lightweight data-interchange
format. It is easy for humans to read and write. It is easy for
machines to parse and generate. It is based on a subset of the
JavaScript Programming Language, Standard ECMA-262 3rd Edition -
December 1999. JSON is a text format that is completely language
independent but uses conventions that are familiar to programmers of
the C-family of languages, including C, C++, C#, Java, JavaScript,
Perl, Python, and many others. These properties make JSON an ideal
data-interchange language.
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://www.json.org/
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-json-1.0.tar.gz
|
| Docs: |
godi-json (link may be unavailable)
|
|
| godi-json-static |
0.9.8godi1 |
2011-05-26 |
JSON validator and converter for OCaml |
| Description: |
This is a Camlp4 syntax extension that reads special type definitions
representing the structure of JSON data (http://json.org/) and produces
conversion functions between those types and generic JSON data of type
Json_type.t. Type Json_type.t is defined by the json-wheel library which
provides parsing and printing functions for the JSON format.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/json-static.html
|
| Released by: |
mjambon
|
| Distfiles: |
json-static-0.9.8.tar.gz
|
| Docs: |
godi-json-static (link may be unavailable)
|
|
| godi-json-wheel |
1.0.6godi1 |
2011-05-26 |
Standard-compliant JSON implementation |
| Description: |
From http://www.json.org/: "JSON (JavaScript Object Notation) is a
lightweight data-interchange format. It is easy for humans to read and
write. It is easy for machines to parse and generate. It is based on a
subset of the JavaScript Programming Language, Standard ECMA-262 3rd
Edition - December 1999." This implementation follows RFC 4627. We use
key/value lists to represent JSON objects, and lists to represent JSON
arrays. The library also provides pretty-printing and optional support for
C-style comments.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/json-wheel.html
|
| Released by: |
mjambon
|
| Distfiles: |
json-wheel-1.0.6.tar.gz
|
| Docs: |
godi-json-wheel (link may be unavailable)
|
|
| godi-kaputt |
1.0godi1 |
2011-02-08 |
A unit testing tool. |
| Description: |
Kaputt is a testing tool for the Objective Caml language.
Features:
- assertion-based tests (xUnit-like)
- specification-based tests (QuickCheck-like)
- shell-based tests
- enumeration-based tests
- reports in bare text, CSV, HTML, and XML
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://kaputt.x9c.fr/index.html
|
| Released by: |
jmaloberti
|
| Distfiles: |
kaputt-1.0.tar.gz
|
| Docs: |
godi-kaputt (link may be unavailable)
|
|
| godi-lablgl |
1.04godi1 |
2010-07-05 |
OpenGL interface |
| Description: |
A type-safe binding for openGL, with labltk and lablgtk support.
Note Cygwin: Although they compile, the Togl bindings (and lablgl)
do not work. The Glut bindings (and lablglut) are functional, however.
Note OS X: Togl works only if labltk was linked against the X11 version
of tcl/tk, not the Aqua version. As the latter is currently not automatically
found, it is quite likely you get the right one.
|
| Maintainer: |
cauger@lri.fr
|
| Homepage: |
http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html
|
| Released by: |
gerd
|
| Distfiles: |
lablgl-1.04.tar.gz
|
| Docs: |
godi-lablgl (link may be unavailable)
|
|
| godi-lablgtk |
1.2.6godi6 |
2010-07-05 |
An object-oriented interface to GTK |
|
|
| godi-lablgtk2 |
20120823 |
2012-09-04 |
An object-oriented interface to GTK2 |
| Description: |
A full-fledge interface for GTK2.
Includes support for GtkGLarea, libglade2, librsvg2, gnomecanvas2...
Note about version numbers:
The GODI package prefers the date-based version string (e.g. 20040319)
over the release-based version string (e.g. 2.2.0). The former scheme
is applicable to both development and stable versions. Here is a table
how they map to each other:
20100909 = 2.14.2
20090925 = 2.14.0
20081220 = 2.12.0
20080226 = 2.10.1
20070927 = 2.10.0
20051028 = 2.6.0
20040716 = 2.4.0
20031010 = 2.2.0
|
| Maintainer: |
virgile.prevosto@m4x.org
|
| Homepage: |
http://lablgtk.forge.ocamlcore.org
|
| Released by: |
prevosto
|
| Distfiles: |
lablgtk-2.16.0.tar.gz
|
| Docs: |
godi-lablgtk2 (link may be unavailable)
|
|
| godi-lablgtk2-extras |
1.3 |
2012-12-15 |
libraries and modules useful when developing OCaml/LablGtk2 applications |
| Description: |
What is Lablgtk-extras ?
Lablgtk-extras is a collection of libraries and modules useful when
developing OCaml/LablGtk2 applications.
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
http://gtk-extras.forge.ocamlcore.org/
|
| Released by: |
andreas
|
| Distfiles: |
lablgtkextras-1.3.tar.gz
|
| Docs: |
godi-lablgtk2-extras (link may be unavailable)
|
|
| godi-lablgtksourceview |
0.2.1godi1 |
2010-07-05 |
bindings for the gtksourceview library. |
| Description: |
This packages provides bindings for the gtksourceview library
(http://gtksourceview.sourceforge.net/), an extension to the gtk text widget
that allows syntax highlighting for a variety of programming languages.
Note that you need to have gtksourceview installed before installing the
package.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://helm.cs.unibo.it/software/lablgtksourceview/
|
| Released by: |
gerd
|
| Distfiles: |
lablgtksourceview-0.2.1.tar.gz
|
| Docs: |
godi-lablgtksourceview (link may be unavailable)
|
|
| godi-lacaml |
7.0.0godi2 |
2012-05-04 |
Linear algebra library interfacing LAPACK and BLAS |
| Description: |
LACAML is a linear algebra library interfacing LAPACK, BLAS and some custom
C-functions for high-performance numerical computations on bigarrays.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
|
| Released by: |
mottl
|
| Distfiles: |
lacaml-7.0.0.tar.gz
|
| Docs: |
godi-lacaml (link may be unavailable)
|
|
| godi-lbfgs |
0.8.1godi1 |
2011-09-18 |
L-BFGS optimization algorithm |
|
|
| godi-lua-ml |
2.5_20060829 |
2010-07-05 |
Lua interpreter |
| Description: |
Lua-ML is an interpreter for version 2.5 of the Lua programming language.
Note that you need the Perl interpreter to build this package!
|
| Maintainer: |
Christian Lindig
|
| Homepage: |
http://www.cminusminus.org/code.html
|
| Released by: |
gerd
|
| Distfiles: |
lua-ml-20060829.tar.gz
|
| Docs: |
godi-lua-ml (link may be unavailable)
|
|
| godi-lwt |
2.3.2 |
2012-03-17 |
Light-weight threading library |
| Description: |
Lwt (the abbreviation stands for Light-Weight Threading) is a cooperative
threading library for Ocaml.
It required libev to be installed.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org/install/lwt
|
| Released by: |
jmaloberti
|
| Distfiles: |
lwt-2.3.2.tar.gz
|
| Docs: |
godi-lwt (link may be unavailable)
|
|
| godi-magic |
0.7.3 |
2012-12-15 |
binding for libmagic |
| Description: |
ocaml-magic is a binding to libmagic tries to classify files using
various tests (filesystem tests, magic number tests, and language
tests).
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
http://sourceforge.net/projects/ocaml-magic/
|
| Released by: |
andreas
|
| Distfiles: |
ocaml-magic-0.7.3.tar.gz
|
| Docs: |
godi-magic (link may be unavailable)
|
|
| godi-manual |
20110719 |
2011-07-20 |
The GODI manual for users and developers |
| Description: |
Contains:
- The GODI User's Guide
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://www.ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
godi-manual-20110719.tar.gz
|
| Docs: |
godi-manual (link may be unavailable)
|
|
| godi-menhir |
20130116 |
2013-01-16 |
A LR(1) parser generator for Objective Caml. |
| Description: |
Menhir compiles LR(1) grammar specifications down to Objective Caml code.
It accepts legacy ocamlyacc grammar specifications, with a few caveats. It
is superior to ocamlyacc in several ways. For instance, it offers a library
of standard parameterized definitions, including options, sequences, and
lists, and allows users to define their own parameterized nonterminal
symbols. It accepts LR(1) grammars, as opposed to only LALR(1) grammars,
and attempts to explain conflicts in a readable way. See the reference
manual for a more detailed overview of Menhir.
|
| Maintainer: |
François Pottier
|
| Homepage: |
http://gallium.inria.fr/~fpottier/menhir/
|
| Released by: |
fpottier
|
| Distfiles: |
menhir-20130116.tar.gz
|
| Docs: |
godi-menhir (link may be unavailable)
|
|
| godi-micmatch_pcre |
1.0.0 |
2010-08-17 |
Pattern matching extended with regexps in Ocamllex syntax |
| Description: |
Micmatch is a Camlp4-based syntax extension of OCaml which extends the
match-with construct with regexps for quick and simple text manipulation.
The syntax of the regexps is an extension of the syntax of OCamllex
regexps, which are easy to learn and OCaml-friendly. Micmatch_pcre takes
advantage of most of the advanced features of the PCRE library, including
laziness, possessiveness, and lookahead and lookbehind assertions. The
compilation of regexps is performed internally and once only. If the
program is compiled successfully, then your regexps are valid, as well as
the named captures, otherwise the preprocessor reports the error
accurately.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/micmatch.html
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
godi-micmatch_pcre (link may be unavailable)
|
|
| godi-mikmatch_pcre |
1.0.4godi1 |
2011-10-22 |
Pattern matching extended with regexps in Ocamllex syntax |
| Description: |
Mikmatch/Micmatch is a Camlp4-based syntax extension of OCaml which extends
the match-with construct with regexps for quick and simple text
manipulation. The syntax of the regexps is an extension of the syntax of
OCamllex regexps, which are easy to learn and OCaml-friendly. Mikmatch_pcre
takes advantage of most of the advanced features of the PCRE library,
including laziness, possessiveness, and lookahead and lookbehind
assertions. The compilation of regexps is performed internally and once
only. If the program is compiled successfully, then your regexps are valid,
as well as the named captures, otherwise the preprocessor reports the error
accurately. Mikmatch with a K is for the new Camlp4 while Micmatch with a C
is for Camlp5.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/micmatch.html
|
| Released by: |
mjambon
|
| Distfiles: |
mikmatch-1.0.4.tar.gz
|
| Docs: |
godi-mikmatch_pcre (link may be unavailable)
|
|
| godi-missinglib |
0.4.1godi2 |
2010-07-05 |
A collection of various utilities for O'Caml |
| Description: |
From a module for function composition to an implementation of "rm -rf",
missinglib is full of goodies.
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://quux.org/devel/missinglib
|
| Released by: |
gerd
|
| Distfiles: |
missinglib_0.4.1_repacked.tar.gz
|
| Docs: |
godi-missinglib (link may be unavailable)
|
|
| godi-mlgmp |
0.13 |
2010-07-05 |
an ocaml binding to the gnu gmp library |
| Description: |
GMP (GNU MP) is an extended precision computation library (integers, rationals, floats). I did the interface with O'Caml. It's used easily and transparently.
This program is free software.
|
| Maintainer: |
David Monniaux (packaging by C. Raffalli)
|
| Homepage: |
http://www-verimag.imag.fr/~monniaux/programmes.html.en
|
| Released by: |
gerd
|
| Distfiles: |
mlgmp.tar.gz
|
| Docs: |
godi-mlgmp (link may be unavailable)
|
|
| godi-mlpost |
0.8.1godi1 |
2012-09-04 |
ocaml interface for Metapost |
| Description: |
Mlpost is an Objective Caml interface to Metapost.
(texlive-metapost and texlive-context are required)
|
| Maintainer: |
Cedric AUGER
|
| Homepage: |
http://mlpost.lri.fr
|
| Released by: |
prevosto
|
| Distfiles: |
mlpost-0.8.1.tar.gz
|
| Docs: |
godi-mlpost (link may be unavailable)
|
|
| godi-netamqp |
1.0 |
2011-03-28 |
client for AMQP message-queue protocol |
| Description: |
This library implements an AMQP client for accessing a message broker.
The supported protocol version is 0-9-1, and successful tests have been
run against RabbitMQ. The library is designed as an extension to
Ocamlnet.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://oss.wink.com/netamqp/
|
| Released by: |
gerd
|
| Distfiles: |
netamqp-1.0.tar.gz
|
| Docs: |
godi-netamqp (link may be unavailable)
|
|
| godi-ocaml |
3.12.1godi3 |
2012-06-18 |
The core of the OCaml system (compiler, runtime) |
| Description: |
This is the core of the Objective Caml language environment.
It contains the runtime environment, the compilers, and the
core libraries unix, str, bigarray, nums, dbm, threads.
The thread model can be either "bthr" (bytecode threads) or
"pthr" (POSIX threads), depending on the configuration.
The dbm library is always linked against GDBM (the real GDBM,
not the compatibility NDBM layer).
The graphics library can be found in pkg godi-ocaml-graphics,
and the labltk library can be found in pkg godi-ocaml-labltk.
This package does not install the Emacs mode distributed
with OCaml.
ABOUT OBJECTIVE CAML:
Citing the homepage:
"Caml is a programming language, easy to learn, easy to use, and yet
amazingly powerful. -- It is developed and distributed by INRIA (the
main French research institute for computer science), since 1984. It
is freely available for Unix, PC or Macintosh. -- There exist two
flavors of Caml: Caml Light and Objective Caml. Caml Light is merely a
subset of Objective Caml, especially designed for teaching and
learning the art of programming. In addition to the Caml Light's core
language, Objective Caml features a powerful modules system, full
support to object-oriented paradigm, and an optimizing compiler."
"Objective Caml is the latest implementation of the Caml dialect of ML."
"Objective Caml is an implementation of the Caml dialect of ML extended
with class-based objects and a powerful module system in the style of
SML's. It continues the Caml Light effort in many ways (separate
compilation, low memory requirements, fast turnaround through bytecode
interpretation), but also significantly departs from Caml Light on
other points (objects, the module calculus, and a high-performance
native-code compiler).
Objective Caml continues an earlier implementation of Caml plus
modules, known as Caml Special Light. The only difference between
Objective Caml and Caml Special Light is the addition of objects."
"Objective Caml is a general purpose programming language that
combines functional, imperative, and object-oriented programming. The
language is statically typed; its type system ensures the correct
evaluation of programs. Types are automatically inferred. The language
offers powerful constructions such as user-definable data-types, the
ability to define functions by pattern-matching, and an exception
mechanism. Programming in the large is facilitated by a full-fledge
class-based object-oriented layer and an expressive module system."
------------------------------
Informal runtime dependencies:
- The C compiler is needed (same as at build time), and the tools
required by the C compiler (assembler, linker).
- Maybe objcopy is needed.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
godi-ocaml (link may be unavailable)
|
|
| godi-ocaml-all |
2 |
2010-07-05 |
Meta pkg for all of the ocaml distribution |
| Description: |
This is a meta package; install it to get all components
of the official O'Caml distribution at once.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
godi-ocaml-all (link may be unavailable)
|
|
| godi-ocaml-csv |
1.1.6 |
2010-07-05 |
CSV library for OCaml |
| Description: |
This library can write CSV files, including all extensions used by Excel -
eg. quotes, newlines, 8 bit characters in fields, "O etc.
|
| Maintainer: |
jaapb@kerguelen.org
|
| Homepage: |
http://merjis.com/developers/csv
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-csv-1.1.6.tar.gz
|
| Docs: |
godi-ocaml-csv (link may be unavailable)
|
|
| godi-ocaml-data-notation |
0.0.9 |
2012-05-22 |
Store data using OCaml notation |
| Description: |
This project uses type-conv to dump OCaml data structure using OCaml data
notation. This kind of data dumping helps to write OCaml code generator, like
OASIS.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/odn
|
| Released by: |
gildor
|
| Distfiles: |
ocaml-data-notation-0.0.9.tar.gz
|
| Docs: |
godi-ocaml-data-notation (link may be unavailable)
|
|
| godi-ocaml-dbm |
3.12.1 |
2011-07-21 |
The (G)DBM library of OCaml |
| Description: |
This package contains the NDBM library of Objective Caml.
It is linked with the GDBM C library.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
godi-ocaml-dbm (link may be unavailable)
|
|
| godi-ocaml-expect |
0.0.2godi1 |
2012-06-26 |
Expect-like framework |
| Description: |
This is a simple implementation of `expect` to help building unitary testing of
interactive program.
You can match the question using a regular expression or a timeout.
See the Expect manual for more information:
http://expect.nist.gov/
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocaml-expect/
|
| Released by: |
gildor
|
| Distfiles: |
ocaml-expect-0.0.2.tar.gz
|
| Docs: |
godi-ocaml-expect (link may be unavailable)
|
|
| godi-ocaml-fileutils |
0.4.2 |
2012-01-23 |
Library to provide pure OCaml functions to manipulate real file (POSIX like) and filename |
| Description: |
Le but de ocaml-fileutils est de fournir un ensemble de fonction OCaml afin de
permettre la manipulation de fichier directement en OCaml.
The goal of ocaml-fileutils is to provide a set of ocaml functions in order to
allow manipulation of files directly in ocaml.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocaml-fileutils/
|
| Released by: |
gildor
|
| Distfiles: |
ocaml-fileutils-0.4.2.tar.gz
|
| Docs: |
godi-ocaml-fileutils (link may be unavailable)
|
|
| godi-ocaml-gettext |
0.3.4godi2 |
2012-06-26 |
Library for i18n of OCaml libraries and programs using gettext |
| Description: |
Provides support for internationalization of OCaml program. It uses the gettext
convention and file format through a pure OCaml implementation or gettext C
library binding.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocaml-gettext/
|
| Released by: |
gildor
|
| Distfiles: |
ocaml-gettext-0.3.4.tar.gz
|
| Docs: |
godi-ocaml-gettext (link may be unavailable)
|
|
| godi-ocaml-graphics |
3.12.1 |
2011-07-21 |
The "graphics" library of OCaml |
| Description: |
This package contains the graphics library of Objective Caml.
From the manual:
"The graphics library provides a set of portable drawing
primitives. Drawing takes place in a separate window that is created
when open_graph is called. ... Unix: This library is implemented under
the X11 windows system."
------------------------------
Informal runtime dependencies:
- The X11 client libraries must be installed.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
godi-ocaml-graphics (link may be unavailable)
|
|
| godi-ocaml-http |
0.1.3godi1 |
2010-07-05 |
Do it yourself http daemon, like HTTP::Daemon in perl |
| Description: |
OCaml HTTP is a simple OCaml library for creating HTTP daemons, it is largely
inspired to the Perl's HTTP:: modules family.
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://www.csun.edu/~eric/
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-http-0.1.3.tar.gz
|
| Docs: |
godi-ocaml-http (link may be unavailable)
|
|
| godi-ocaml-inotify |
1.0 |
2012-06-14 |
Binding to inotify |
| Description: |
Inotify is a linux kernel subsystem, that notice changes to the filesystem, and
report those changes to applications.
The interface provide a OCaml program to use easily inotify.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://projects.snarc.org/ocaml-inotify/
|
| Released by: |
gildor
|
| Distfiles: |
ocaml_inotify-1.0.tar.bz2
|
| Docs: |
godi-ocaml-inotify (link may be unavailable)
|
|
| godi-ocaml-labltk |
3.12.1 |
2011-07-21 |
The labltk and camltk libraries, ocamlbrowser |
| Description: |
This package contains the labltk and camltk libraries of Objective Caml.
Furthermore, ocamlbrowser is included.
From the manual:
"The labltk library provides access to the Tcl/Tk GUI from Objective
Caml programs. This interface is generated in an automated way, and
you should refer to Tcl/Tk books and man pages for detailed
information on the behavior of the numerous functions. We also suggest
to use ocamlbrowser to see the types of the various functions, that
are the best documentation for the library itself. ... Unix: The
labltk library is available for any system with Tcl/Tk installed,
starting from Tcl 7.5/Tk 4.1 up to Tcl/Tk 8.3. Beware that some beta
versions may have compatibility problems."
For this version of OCaml the labltk library includes full support
for the older camltk interface (by a compatibility layer).
About ocamlbrowser:
"... OCamlBrowser, a source and compiled interface browser, written
using LablTk. This is a useful companion to the programmer.
Its functions are:
* navigation through Objective Caml's modules (using compiled interfaces).
* source editing, type-checking, and browsing.
* integrated Objective Caml shell, running as a subprocess."
------------------------------
Informal runtime dependencies:
- It is required that the X11 client libraries are installed.
- It is required that the tcl/tk libraries are installed.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
|
| Docs: |
godi-ocaml-labltk (link may be unavailable)
|
|
| godi-ocaml-mad |
0.4.3 |
2011-08-25 |
OCaml bindings for the mad library. |
| Description: |
OCaml-mad provides bindings for the mad library for decoding MP3 audio
data.
|
| Maintainer: |
Romain Beauxis
|
| Homepage: |
http://savonet.sf.net/
|
| Released by: |
toots
|
| Distfiles: |
ocaml-mad-0.4.3.tar.gz
|
| Docs: |
godi-ocaml-mad (link may be unavailable)
|
|
| godi-ocaml-manual |
3.12godi1 |
2011-10-23 |
The manual for OCaml |
| Description: |
The reference manual of Objective Caml, HTML-formatted
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr/
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-3.12-refman.html.tar.gz
|
| Docs: |
godi-ocaml-manual (link may be unavailable)
|
|
| godi-ocaml-markdown |
0.1.0godi1 |
2012-06-26 |
Markdown preprocessor |
|
|
| godi-ocaml-mysql |
1.0.4godi1 |
2010-07-05 |
Bindings for interacting with MySQL databases from ocaml. |
|
|
| godi-ocaml-sqlexpr |
0.4.1godi2 |
2012-06-26 |
Type-safe, convenient SQLite database access. |
| Description: |
Minimalistic library and syntax extension for type-safe, convenient execution of SQL statements. Currently compatible with Sqlite3.
Sqlexpr features:
* automated prepared statement caching, param binding, data extraction, error checking (including automatic stmt reset to avoid BUSY/LOCKED errors in
subsequent queries), stmt finalization on db close, etc.
* HOFs like iter, fold, transaction
* support for different concurrency models: everything is functorized over a THREAD monad, so you can for instance do concurrent folds/iters with Lwt
* support for SQL stmt syntax checks and some extra semantic checking (column
names, etc)
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocaml-sqlexpr/
|
| Released by: |
gildor
|
| Distfiles: |
ocaml-sqlexpr-0.4.1.tar.gz
|
| Docs: |
godi-ocaml-sqlexpr (link may be unavailable)
|
|
| godi-ocaml-src |
3.12.1godi5 |
2012-08-11 |
OCaml sources (required for GODI builds) |
| Description: |
This package contains the already configured but not yet
compiled sources of the Objective Caml system.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://caml.inria.fr
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-3.12.1.tar.gz
|
| Docs: |
godi-ocaml-src (link may be unavailable)
|
|
| godi-ocaml-ssl |
0.4.6 |
2012-03-17 |
The Secure Socket Layer |
| Description: |
This is a binding to OpenSSL for Ocaml, it allows to use both client and server side secure sockets.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://savonet.sourceforge.net/
|
| Released by: |
jmaloberti
|
| Distfiles: |
ocaml-ssl-0.4.6.tar.gz
|
| Docs: |
godi-ocaml-ssl (link may be unavailable)
|
|
| godi-ocaml-taglib |
2.0 |
2011-08-31 |
OCaml bindings for the taglib library. |
| Description: |
Foolib provides bindings for the tagliblibrary for reading and writing tags
from various audio formats.
|
| Maintainer: |
Romain Beauxis
|
| Homepage: |
http://savonet.sf.net/
|
| Released by: |
toots
|
| Distfiles: |
ocaml-taglib-0.2.0.tar.gz
|
| Docs: |
godi-ocaml-taglib (link may be unavailable)
|
|
| godi-ocaml-text |
0.5 |
2012-03-17 |
A library dealing with text as sequence of unicode characters. |
| Description: |
OCaml-Text is a library for dealing with ``text'', i.e. sequence of
unicode characters, in a convenient way.
It supports:
- character encoding/decoding using iconv
- manipulation of text as UTF-8 encoded strings
- localised text functions such as compare, upper, ...
- human readable regular expression inside patterns
In order to be the compatible with other ocaml library without pain,
OCaml-Text choose to use only regular strings for dealing with text.
* Requirement
OCaml-Text needs ocaml >= 3.11 and libiconv. It require also pcre
bindings for ocaml to have regular expression support.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://ocaml-text.forge.ocamlcore.org/
|
| Released by: |
jmaloberti
|
| Distfiles: |
ocaml-text-0.5.tar.gz
|
| Docs: |
godi-ocaml-text (link may be unavailable)
|
|
| godi-ocaml-uint |
1.0.2godi2 |
2012-04-11 |
Unsigned ints for OCaml |
|
|
| godi-ocaml-xdg-basedir |
0.0.2godi1 |
2012-06-26 |
XDG basedir location for data/cache/configuration files |
| Description: |
This library implements the xdg-basedir specification. It helps to define standard locations for configuration, cache and data files in the user directory and on the system.
It is a straightforward implementation on UNIX platform and try to apply consistent policies with regard to Windows directories.
It is inspired by the Haskell implementation of this specification, and it follows the same choices for Windows directories.
[The xdg-basedir specification](http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html).
and
[the Haskell implementation](http://github.com/willdonnelly/xdg-basedir)
and
[the API of this implementation](http://xdg-basedir.forge.ocamlcore.org/api).
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocaml-xdg-basedir
|
| Released by: |
gildor
|
| Distfiles: |
ocaml-xdg-basedir-0.0.2.tar.gz
|
| Docs: |
godi-ocaml-xdg-basedir (link may be unavailable)
|
|
| godi-ocaml-xml-rpc |
0.2.6 |
2010-07-05 |
xml rpc server and client library |
| Description: |
XML-RPC library for clients and servers. Stubs are generated from
.idl files.
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://www.csun.edu/~eric/
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-xml-rpc-0.2.6.tar.gz
|
| Docs: |
godi-ocaml-xml-rpc (link may be unavailable)
|
|
| godi-ocaml-zmq |
0pre20111029godi2 |
2012-04-17 |
OCaml bindings for ZMQ 2.1 |
| Description: |
OCaml bindings for ZMQ 2.1
Options:
GODI_ZMQ_INCPATH: The library where zmq.h resides
GODI_ZMQ_LIBPATH: The library where libzmq.a resides
GODI_ZMQ_USE_RPATH: Set to "yes" to embed the library path
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
https://github.com/pdhborges/ocaml-zmq
|
| Released by: |
gerd
|
| Distfiles: |
ocaml-zmq-0pre20111029.tar.gz
|
| Docs: |
godi-ocaml-zmq (link may be unavailable)
|
|
| godi-ocamlbdb |
4.3.21 |
2010-07-05 |
OCaml interface to Berkeley-DB |
| Description: |
This is an OCAML binding to the Berkely DB library.
|
| Maintainer: |
Jaap.Boender@pps.jussieu.fr
|
| Homepage: |
http://www.eecs.harvard.edu/~stein
|
| Released by: |
gerd
|
| Distfiles: |
ocamlbdb-4.3.21.tar.gz
|
| Docs: |
godi-ocamlbdb (link may be unavailable)
|
|
| godi-ocamlbuild-manual |
200702 |
2010-07-05 |
The manual for ocamlbuild |
|
|
| godi-ocamlcore-api |
0.0.3godi1 |
2012-06-26 |
Access to OCamlCore.org API |
| Description: |
Allow to integrate with ocamlcore.org (esp. the OCaml Forge), a web
service.
This package is especially useful to use the OCaml Forge as a SSO.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://forge.ocamlcore.org/projects/ocamlcore-api
|
| Released by: |
gildor
|
| Distfiles: |
ocamlcore-api-0.0.3.tar.gz
|
| Docs: |
godi-ocamlcore-api (link may be unavailable)
|
|
| godi-ocamldap |
2.1.8godi1 |
2010-07-05 |
LDAP network protocol |
| Description: |
Ocamldap is a toolkit for querying, and creating LDAP directory
services. It also contains useful modules for dealing with the data
once you get it.
|
| Maintainer: |
eric.stokes@csun.edu
|
| Homepage: |
http://ocamldap.sourceforge.net
|
| Released by: |
gerd
|
| Distfiles: |
ocamldap-2.1.8.tar.bz2
|
| Docs: |
godi-ocamldap (link may be unavailable)
|
|
| godi-ocamldbi |
0.9.11godi1 |
2010-07-05 |
Database access independent of DBMS type |
| Description: |
ocamldbi is a database independent layer for Objective CAML (OCaml)
patterned upon Perl DBI.
Copyright (C) 2003 Merjis Ltd. (http://www.merjis.com/)
The GODI version of ocamldbi supports drivers for: PostgreSQL, MySQL,
and generic access via ODBC.
ocamldbi is distributed under the GNU Library General Public License
(see file COPYING.LIB for terms and conditions).
ocamldbi was mainly written by Richard W.M. Jones
(rich@annexia.org). See file AUTHORS for other contributors.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://savannah.nongnu.org/projects/modcaml
|
| Released by: |
gerd
|
| Distfiles: |
ocamldbi-0.9.11.tar.gz
|
| Docs: |
godi-ocamldbi (link may be unavailable)
|
|
| godi-ocamlduce |
3.12.1.0 |
2012-06-06 |
OCaml-based compiler w/ XML types and patterns |
| Description: |
OCamlDuce is a modified OCaml compiler with built-in support for XML
types and patterns from CDuce.
|
| Maintainer: |
Mike Furr
|
| Homepage: |
http://www.cduce.org/ocaml
|
| Released by: |
gildor
|
| Distfiles: |
ocamlduce-3.12.1.0.tar.gz
|
| Docs: |
godi-ocamlduce (link may be unavailable)
|
|
| godi-ocamlgraph |
1.8.2 |
2012-05-14 |
ocamlgraph is a graph library for Objective Caml |
| Description: |
OcamlGraph is a graph library for Objective Caml.
|
| Maintainer: |
Virgile Prevosto
|
| Homepage: |
http://ocamlgraph.lri.fr/
|
| Released by: |
prevosto
|
| Distfiles: |
ocamlgraph-1.8.2.tar.gz
|
| Docs: |
godi-ocamlgraph (link may be unavailable)
|
|
| godi-ocamlgsl |
0.6.2godi1 |
2010-07-05 |
GSL bindings for OCaml |
| Description: |
The GNU Scientific Library (GSL) is a numerical library for C and C++ (and
now OCaml) programmers. The library provides a wide range of mathematical
routines such as random number generators, special functions and
least-squares fitting.
|
| Maintainer: |
Hezekiah M. Carty
|
| Homepage: |
http://oandrieu.nerim.net/ocaml/
|
| Released by: |
gerd
|
| Distfiles: |
ocamlgsl-0.6.2.tar.gz
|
| Docs: |
godi-ocamlgsl (link may be unavailable)
|
|
| godi-ocamlmakefile |
6.36.0godi2 |
2012-05-04 |
Generic Makefile to build OCaml projects |
| Description: |
This is Markus Mottl's OCamlMakefile, a generic Makefile for GNU make
one can include into one's own Makefile.
|
| Maintainer: |
markus.mottl@gmail.com
|
| Homepage: |
http://www.ocaml.info/home/ocaml_sources.html
|
| Released by: |
mottl
|
| Distfiles: |
ocaml-makefile-6.36.0.tar.gz
|
| Docs: |
godi-ocamlmakefile (link may be unavailable)
|
|
| godi-ocamlmpi |
1.01 |
2010-10-17 |
MPI bindings for OCaml. |
| Description: |
Caml bindings for a large subset of MPI functions. MPI is a standard
interface for distributed-memory parallel programming in SPMD (single
program, multiple data) style, offering both point-to-point message passing
and group communication operations.
|
| Maintainer: |
Hezekiah M. Carty
|
| Homepage: |
http://ocamlmpi.forge.ocamlcore.org/
|
| Released by: |
hcarty
|
| Distfiles: |
ocamlmpi-1.01.tar.gz
|
| Docs: |
godi-ocamlmpi (link may be unavailable)
|
|
| godi-ocamlnet |
3.7.4 |
2014-05-12 |
base library for network protocols |
| Description: |
Ocamlnet is an enhanced system platform library for Ocaml. As the name
suggests, large parts of it have to do with network programming, but
it is actually not restricted to this. Other parts deal with the
management of multiple worker processes, and the interaction with
other programs running on the same machine. You can also view Ocamlnet
as an extension of the system interface as provided by the [Unix]
module of the standard library.
So, which kind of applications can profit from Ocamlnet?
- Web applications can use the [netcgi2] library which provides
all core functionality like connecting to web servers, decomposing
web requests, and emitting web data. With the [nethttpd] library
Ocamlnet even includes a little web server of its own, so
stand-alone Ocaml programs can respond to HTTP requests. This is
especially interesting for providing high-speed HTTP-based APIs
like REST interfaces.
- Client/server architectures can be built with the included SunRPC
support. This is a very robust and mature implementation of this
binary RPC protocol, both on the client and the server side. It
is wire-compatible with C implementations of SunRPC. There is a
generator for transforming SunRPC IDL files into Ocaml
modules. Authentication and encryption are also supported (using
GSS-API, or the non-standard SSL extension).
- Compute jobs profit from Ocamlnet because the [netmulticore]
library allows it to run compute tasks on as many cores of the
machine as needed. The tasks can communicate with message passing
and exchange data via shared memory. Of course, [netmulticore] is
strictly typed.
- Any kind of application can cherry-pick the parts of Ocamlnet
that are considered useful. Especially, Ocamlnet includes a number
of network clients (for HTTP, FTP, Telnet, SMTP, POP), and a large
number of network-related string processing functions (e.g. for
URL's, Base64, UTF-8, mail headers). For interacting with the system
there are functions to invoke subcommands ([shell] library),
and also for globbing, sending email, and logging. Local and remote
filesystems can be accessed with the {!Netfs} framework. The
[netsys] library wraps lots of additional system calls that are
missing in the Ocaml standard library.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://projects.camlcity.org/projects/ocamlnet.html
|
| Released by: |
gerd
|
| Distfiles: |
ocamlnet-3.7.4.tar.gz
|
| Docs: |
godi-ocamlnet (link may be unavailable)
|
|
| godi-ocamlnet-crypto |
3.7.4 |
2014-05-12 |
crypto extension for ocamlnet |
|
|
| godi-ocamlnet-gtk1 |
3.7.4 |
2014-05-12 |
Glib/gtk1 extension for ocamlnet |
|
|
| godi-ocamlnet-gtk2 |
3.7.4 |
2014-05-12 |
Glib/gtk2 extension for ocamlnet |
|
|
| godi-ocamlnet-pcre |
3.7.4 |
2014-05-12 |
PCRE extension for ocamlnet |
|
|
| godi-ocamlnet-ssl |
3.7.4 |
2014-05-12 |
SSL extension for ocamlnet |
|
|
| godi-ocamlnet-tcl |
3.7.4 |
2014-05-12 |
tcl extension for ocamlnet |
|
|
| godi-ocamlnet-zip |
3.7.4 |
2014-05-12 |
zip extension for ocamlnet |
|
|
| godi-ocamlodbc-unixodbc |
2.10godi1 |
2010-07-05 |
Database access via ODBC |
| Description: |
O'Caml bindings for ODBC. This package is pre-configured for the
unixodbc library (ocamlodbc supports some direct database drivers
as well, but I have only chosen the unixodbc driver because of its
flexibility).
In order to connect to a database, you need not only the unixodbc
library but also an ODBC driver, and an ODBC configuration
(odbcinst.ini and odbc.ini). See http://www.unixodbc.org for
documentation.
Notes for package developers: ocamlodbc supports several database
systems directly, i.e. without unixodbc. When somebody wants to
make this code available for GODI, this should be done as a separate
package. For instance, a package directly connecting to a
MySQL database system could be named ocamlodbc-mysql. Please avoid
name conflicts, especially the .so stub library should have a
different name. It is ok that it is impossible to load two different
ocamlodbc instances into the same executable (because of symbol
conflicts on the C level).
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://home.gna.org/ocamlodbc/
|
| Released by: |
gerd
|
| Distfiles: |
ocamlodbc_2.10.tar.gz
|
| Docs: |
godi-ocamlodbc-unixodbc (link may be unavailable)
|
|
| godi-ocamlrss |
2.0godi1 |
2012-06-26 |
RSS 2.0 parser and printer |
| Description: |
OCaml-RSS is a small OCaml library providing functions to parse and print RSS 2.0 files. The parser can also parse some RDF files, but some fields are not taken into account. There is still some work to do (add missing RSS 2.0 attributes, add convenient functions).
OCaml-RSS was previously part of Cameleon but is now developped separately and is findlib compatible.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://zoggy.github.com/ocamlrss/
|
| Released by: |
gildor
|
| Distfiles: |
ocamlrss-2.0.tar.gz
|
| Docs: |
godi-ocamlrss (link may be unavailable)
|
|
| godi-ocamlscript |
2.0.2godi1 |
2011-05-26 |
native code scripts |
|
|
| godi-ocamlsdl |
0.7.2godi3 |
2010-07-05 |
SDL, the Simple Direct Layer for video, audio, input devices |
| Description: |
O'Caml bindings for SDL, the Simple Direct Layer. This is an API
to write games. It provides access to video, audio, and input
devices like joysticks.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocamlsdl.sourceforge.net/
|
| Released by: |
gerd
|
| Distfiles: |
ocamlsdl-0.7.2.tar.gz
|
| Docs: |
godi-ocamlsdl (link may be unavailable)
|
|
| godi-ocamlviz |
1.01 |
2011-02-07 |
A real-time profiling tool |
|
|
| godi-occduce |
0.2 |
2011-11-21 |
An extension for Ocsigen that allows webpages in CDuce. |
| Description: |
OcCDuce is an extension for the Web server Ocsigen that allows to
write webpages using CDuce.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://ocsigen.org/occduce
|
| Released by: |
jmaloberti
|
| Distfiles: |
occduce-0.2.tar.gz
|
| Docs: |
godi-occduce (link may be unavailable)
|
|
| godi-ocs |
1.0.1godi1 |
2011-07-13 |
Embeddable Scheme written in Ocaml |
| Description: |
Scheme interpreter written by OCaml. It can be used as an extension
language for an OCaml application.
|
| Maintainer: |
Eric Stokes
|
| Homepage: |
http://will.iki.fi/software/ocs/
|
| Released by: |
gerd
|
| Distfiles: |
ocs-1.0.1.tar.gz
|
| Docs: |
godi-ocs (link may be unavailable)
|
|
| godi-ocsigenserver |
2.0.4 |
2012-03-17 |
Web server in ocaml. |
| Description: |
Ocsigen is a programming framework providing a new way to create dynamic web
sites. Its goal is to offer an alternative to Apache/PHP, based on cutting-edge
technologies coming from research in programming languages. With Ocsigen, 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.
NOTE: This version corresponds to the development branch of ocsigen.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org
|
| Released by: |
jmaloberti
|
| Distfiles: |
ocsigenserver-2.0.4.tar.gz
|
| Docs: |
godi-ocsigenserver (link may be unavailable)
|
|
| godi-odisco |
0.1.1godi1 |
2011-07-22 |
Library for writing Disco map-reduce jobs in OCaml |
| Description: |
ODisco is a library for implementing Disco map-reduce jobs in OCaml.
It implements the Disco worker protocol, and provides the plumbing to
connect user-specified computations to Disco data sources and results.
More information on Disco is at http://discoproject.org.
|
| Maintainer: |
Prashanth Mundkur
|
| Homepage: |
http://discoproject.org
|
| Released by: |
pmundkur
|
| Distfiles: |
pmundkur-odisco-v0.1.1-0-g70b2714.tar.gz
|
| Docs: |
godi-odisco (link may be unavailable)
|
|
| godi-omake |
0.9.8.5godi8 |
2010-07-08 |
The OMake Build System. |
| Description: |
OMake is a build system designed for scalability and portability. It uses a
syntax similar to make utilities you may have used, but it features many
additional enhancements, including the following.
- Support for projects spanning several directories or directory hierarchies.
- Fast, reliable, automated, scriptable dependency analysis using MD5 digests,
with full support for incremental builds.
- Fully scriptable, includes a library that providing support for standard
tasks in C, C++, OCaml, and LaTeX projects, or a mixture thereof.
Often, a configuration file is as simple as a single line
.DEFAULT: $(OCamlProgram prog, foo bar baz)
which states that the program "prog" is built from the files foo.ml,
bar.ml, and baz.ml. This one line will also invoke the default standard
library scripts for discovering implicit dependencies in OCaml files
- Full native support for rules that build several files at once.
- Portability: omake provides a uniform interface on Linux/Unix (including
64-bit architectures), Win32, Cygwin, Mac OS X, and other platforms that are
supported by OCaml.
- Built-in functions that provide the most common features of programs like
grep, sed, find, and awk. These are especially useful on Win32.
- Active filesystem monitoring, where the build automatically restarts
whenever you modify a source file. This can be very useful during the
edit/compile cycle.
- A built-in command-interpreter osh that can be used interactively.
OMake preserves the style of syntax and rule definitions used in
Makefiles, making it easy to port your project to OMake. There is no need
to code in Perl (cons), or Python (scons). However, there are a few things
to keep in mind:
1. Indentation is significant, but tabs are not required.
2. The OMake language is functional: functions are first-class and there are no
side-effects apart from I/O.
3. Scoping is dynamic.
OMake is licensed under a mixture of the GNU GPL license (OMake engine
itself) and the MIT-like license (default configuration files).
To try it out, run the command "omake --install" in a project directory,
and modify the generated OMakefile.
OMake 0.9.8.5 is an alpha release. While we have made an effort to ensure
that it is bug-free, it is possible some functions may not behave as you
would expect. Please report any comments and/or bugs to the mailing
list omake@metaprl.org
|
| Maintainer: |
OMake Developers
|
| Homepage: |
http://omake.metaprl.org/
|
| Released by: |
mottl
|
| Distfiles: |
omake-0.9.8.5-3.tar.gz
|
| Docs: |
godi-omake (link may be unavailable)
|
|
| godi-oni |
1.00_rc8godi1 |
2011-07-13 |
Oni - assorted components for low-level networking |
| Description: |
===== Oni =====
Oni is an assortment of Objective Caml libraries of general interest and also
specifically for developing new Internet application layer protocols. (Formerly
known as OCaml NAE on sourceforge.net)
Highlighted features include:
- Functional streams and stream processors (extended).
- Functional bootstrapped skew-binomial heap.
- Functional red-black binary tree (associative array).
- Functional sets based on red-black binary tree.
- Functional real-time catenable deque.
- Functional LL(x) parsing using state-exception monad.
- Functional lazy deterministic finite automaton (DFA).
- Functional lexical analyzer (using lazy DFA and monadic parser).
- Functional substring list manipulation (message buffer chains).
- Gregorian calendar date manipulation.
- Standard time manipulation.
- System time in Temps Atomique International (TAI).
- Unicode transcoding.
- Universal resource identifier (URI) manipulation.
- Extended socket interface (supports more options, and UDP w/multicast).
- I/O event multiplexing (with Unix.select).
The distribution builds with OMake and includes the following subpackages:
oni.cf - Core foundation [included by default]
oni.nx - Extended socket interface
oni.iom - I/O event multiplexing
--j h woodyatt
San Francisco, CA
|
| Maintainer: |
james woodyatt
|
| Homepage: |
https://bitbucket.org/jhw/oni/
|
| Released by: |
gerd
|
| Distfiles: |
oni-1.00rc8.tar.bz2
|
| Docs: |
godi-oni (link may be unavailable)
|
|
| godi-orm |
0.5godi1 |
2012-03-20 |
Object Relational Mapper extension |
|
|
| godi-ott |
0.20.3 |
2011-07-22 |
Tool for the working semanticist. |
| Description: |
From the Ott website:
Ott is a tool for writing definitions of programming languages and
calculi. It takes as input a definition of a language syntax and
semantics, in a concise and readable ASCII notation that is close to
what one would write in informal mathematics. It generates LaTeX to
build a typeset version of the definition, and Coq, HOL, and Isabelle
versions of the definition. Additionally, it can be run as a filter,
taking a LaTeX/Coq/Isabelle/HOL source file with embedded (symbolic)
terms of the defined language, parsing them and replacing them by
target-system terms. For a simple example, here is an Ott source file
for an untyped call-by-value lambda calculus (test10.ott), and the
generated LaTeX (compiled to pdf) and (compiled to ps), Coq, Isabelle,
and HOL definitions.
Most simply, the tool can be used to aid completely informal LaTeX
mathematics. Here it permits the definition, and terms within proofs
and exposition, to be written in a clear, editable, ASCII notation,
without LaTeX noise. It generates good-quality typeset output. By
parsing (and so sort-checking) this input, it quickly catches a range
of simple errors, e.g. inconsistent use of judgement forms or
metavariable naming conventions.
That same input can be used to generate formal definitions, for Coq,
HOL, and Isabelle. It should thereby enable a smooth transition
between use of informal and formal mathematics. Additionally, the tool
can automatically generate definitions of functions for free
variables, single and multiple substitutions, subgrammar checks
(e.g. for value subgrammars), and binding auxiliary functions. (At
present only a fully concrete representation of binding is supported,
without quotienting by alpha equivalence.)
|
| Maintainer: |
Prashanth Mundkur
|
| Homepage: |
http://www.cl.cam.ac.uk/~pes20/ott/
|
| Released by: |
pmundkur
|
| Distfiles: |
ott_distro_0.20.3.tar.gz
|
| Docs: |
godi-ott (link may be unavailable)
|
|
| godi-ounit |
1.1.2godi2 |
2012-06-26 |
Unit test framework for OCaml |
| Description: |
OUnit is a unit test framework for OCaml by Maas-Maarten Zeeman and Sylvain Le Gall.
OUnit is based on HUnit, a unit testing framework for Haskell.
More information can be found at the homepage:
http://ounit.forge.ocamlcore.org/
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://ounit.forge.ocamlcore.org/
|
| Released by: |
gildor
|
| Distfiles: |
ounit-1.1.2.tar.gz
|
| Docs: |
godi-ounit (link may be unavailable)
|
|
| godi-pa_monad_custom |
6.0.0 |
2012-12-15 |
Syntactic Sugar for Monads |
|
|
| godi-parmap |
0.9.8godi100 |
2012-04-28 |
a minimalistic library for multicore programming. |
| Description: |
Parmap is a minimalistic library allowing to exploit multicore architecture for
OCaml programs with minimal modifications: if you want to use your many cores to
accelerate an operation which happens to be a map, fold or map/fold
(map-reduce), just use Parmap's parmap, parfold and parmapfold primitives in
place of the standard List.map and friends, and specify the number of
subprocesses to use by the optional parameter ~ncores.
|
| Maintainer: |
Jerome Maloberti
|
| Homepage: |
|
| Released by: |
jmaloberti
|
| Distfiles: |
|
| Docs: |
godi-parmap (link may be unavailable)
|
|
| godi-password_gen |
1.0 |
2010-07-05 |
Pronouncable password generator library |
| Description: |
This is a small library for generating English pronounceable, but
reasonably secure passwords.
|
| Maintainer: |
alicia.young@csun.edu
|
| Homepage: |
http://www.csun.edu/~eric/
|
| Released by: |
gerd
|
| Distfiles: |
password_gen-1.0.tar.gz
|
| Docs: |
godi-password_gen (link may be unavailable)
|
|
| godi-pcre |
6.2.5godi2 |
2012-06-18 |
Perl compatible regular expressions |
|
|
| godi-pgocaml |
1.4godi2 |
2011-02-04 |
type-safe interface to PostgreSQL |
| Description: |
PGOCaml is a type-safe library for accessing PostgreSQL databases.
It connects to the database at compile time to infer types of queries
so that programs can be type-checked against it.
|
| Maintainer: |
Michael Ekstrand
|
| Homepage: |
http://pgocaml.berlios.de
|
| Released by: |
elehack
|
| Distfiles: |
pgocaml-1.4.tgz
|
| Docs: |
godi-pgocaml (link may be unavailable)
|
|
| godi-plasma |
0.6.2godi3 |
2012-11-07 |
Distributed filesyste, key/value db, and map/reduce |
| Description: |
This package contains two applications:
- PlasmaFS is a distributed filesystem
- Plasma MapReduce is a Map/Reduce framework on top of PlasmaFS
PlasmaFS is deployed on an arbitrary number of namenodes and datanodes.
All data and metadata is replicated. ACID transactions provide data
safety and clear query semantics. PlasmaFS focuses on large files and
big blocksizes. It is error-resiliant and extensible.
PlasmaFS is accessible over a command-line client (plasma), NFS v3,
and over its own native network API.
The namenode data is stored in PostgreSQL so you also need to install
PostgreSQL servers on the namenodes.
Plasma MapReduce implements the Map/Reduce algorithm scheme. The
processed files are stored in PlasmaFS filesystems.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://projects.camlcity.org/projects/plasma.html
|
| Released by: |
gerd
|
| Distfiles: |
plasma-0.6.2.tar.gz
|
| Docs: |
godi-plasma (link may be unavailable)
|
|
| godi-pomap |
2.9.10 |
2012-05-04 |
OCaml library for manipulating partially ordered maps |
|
|
| godi-postgres-af |
20040120godi1 |
2010-07-05 |
Bindings for Postgres database clients |
| Description: |
This libraries allows an OCaml program to query a PostgreSQL database
backend.
THIS IS THE DEPRECATED VERSION PROVIDED BY ALAIN FRISCH! Well, there
is still software needing it...
|
| Maintainer: |
Gerd Stolpmann
|
| Homepage: |
http://www.eleves.ens.fr/home/frisch/soft
|
| Released by: |
gerd
|
| Distfiles: |
postgres-20040120.tar.gz
|
| Docs: |
godi-postgres-af (link may be unavailable)
|
|
| godi-postgresql |
1.18.0godi5 |
2012-05-04 |
Bindings for PostgreSQL database clients |
| Description: |
This library allows an OCaml program to query a PostgreSQL database
backend.
This is the version maintained by Markus Mottl.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
|
| Released by: |
mottl
|
| Distfiles: |
postgresql-ocaml-1.18.0.tar.gz
|
| Docs: |
godi-postgresql (link may be unavailable)
|
|
| godi-pxp |
1.2.4 |
2013-05-31 |
PXP is an advanced XML parser |
| Description: |
PXP is a validating parser for XML-1.0 which has been written entirely in
Objective Caml.
PXP means "Polymorphic XML parser" and emphasizes its most useful property:
that the API is polymorphic and can be configured such that different objects
are used to store different types of elements.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://www.ocaml-programing.de/
|
| Released by: |
gerd
|
| Distfiles: |
pxp-1.2.4.tar.gz
|
| Docs: |
godi-pxp (link may be unavailable)
|
|
| godi-pycaml |
20111005 |
2012-04-20 |
Embed Python interpreter |
| Description: |
Embed Python interpreter in OCaml, and allow cross-language calls.
This is the version provided by Thomas Fischbacher, which is derived
from Art Yerkes' original release.
Options:
GODI_PYCAML_PYTHON: The python interpreter
GODI_PYCAML_EXTRALIB: Extra flags passed to the linker
GODI_PYCAML_EXTRACFLAGS: Extra flags passed to the C compiler
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://www.southampton.ac.uk/~doctom/software/pycaml/index.html
|
| Released by: |
gerd
|
| Distfiles: |
pycaml-2011-10-05.tar.gz
|
| Docs: |
godi-pycaml (link may be unavailable)
|
|
| godi-qtest |
2.0.0 |
2013-01-20 |
Quick Unit Tests for OCaml |
| Description: |
In a nutshell, qtest is a small program which reads .ml and .mli
source file and extracts inline oUnit unit tests from them. It is used
internally by the OCaml Batteries project, and is shipped with it as
of version 2.0, but it does not depend on it and can be compiled and
used independently.
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
http://batteries.vhugot.com/qtest/
|
| Released by: |
andreas
|
| Distfiles: |
v2.0.0.tar.gz
|
| Docs: |
godi-qtest (link may be unavailable)
|
|
| godi-re |
0.1 |
2010-07-05 |
Regular expressions |
| Description: |
RE is a regular expression library for OCaml. It is still under
development, but is already rather usable.
The following styles of regular expressions are supported:
- Perl-style regular expressions (module Re_perl);
- Posix extended regular expressions (module Re_posix);
- Emacs-style regular expressions (module Re_emacs);
- Shell-style file globbing (module Re_glob).
It is also possible to build regular expressions by combining simpler
regular expressions (module Re)
The most notable missing features are back-references and
look-ahead/look-behind assertions.
The matches are performed by lazily building a DFA (deterministic
finite automata) from the regular expression. As a consequence,
matching takes linear time in the length of the matched string.
The compilation of patterns is slower than with libraries using
back-tracking, such as PCRE. But, once a large enough part of the
DFA is built, matching is extremely fast.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://sourceforge.net/projects/libre/
|
| Released by: |
gerd
|
| Distfiles: |
re.tar.gz
|
| Docs: |
godi-re (link may be unavailable)
|
|
| godi-react |
0.9.2 |
2011-01-04 |
A module for functional reactive programming (FRP). |
| Description: |
React is an OCaml module for functional reactive programming (FRP). It
provides support to program with time varying values : applicative
events and signals. React doesn't define any primitive event or
signal, this lets the client chooses the concrete timeline.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://erratique.ch/software/react
|
| Released by: |
jmaloberti
|
| Distfiles: |
react-0.9.2.tbz
|
| Docs: |
godi-react (link may be unavailable)
|
|
| godi-res |
3.2.0godi5 |
2012-05-04 |
OCaml library for resizable arrays and strings |
| Description: |
Res is a library for resizable arrays, strings, and generally contiguous
datastructures.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
|
| Released by: |
mottl
|
| Distfiles: |
res-3.2.0.tar.gz
|
| Docs: |
godi-res (link may be unavailable)
|
|
| godi-schoca |
0.2.3godi1 |
2010-07-05 |
Scheme interpreter written by OCaml. |
| Description: |
Scheme interpreter written by OCaml. It can be used for an extension
language for an OCaml application.
|
| Maintainer: |
Yamagata Yoriyuki
|
| Homepage: |
http://sourceforge.net/projects/chesslib/
|
| Released by: |
gerd
|
| Distfiles: |
schoca-0.2.3.tar.bz2
|
| Docs: |
godi-schoca (link may be unavailable)
|
|
| godi-sexplib |
108.00.01godi2 |
2012-06-04 |
Library for automated conversion of OCaml-values to and from S-expressions. |
| Description: |
Sexplib is a library for automated conversion of OCaml-values to and from
S-expressions. This is the version for OCaml 3.10 and later.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://bitbucket.org/yminsky/ocaml-core
|
| Released by: |
mottl
|
| Distfiles: |
sexplib-108.00.01.tar.gz
|
| Docs: |
godi-sexplib (link may be unavailable)
|
|
| godi-sha |
1.8 |
2012-12-15 |
binding for SHA interface code in OCaml |
| Description: |
General Information
===================
This is the binding for SHA interface code in OCaml. Offering the same
interface than the MD5 digest included in ocaml standard library.
It's currently providing SHA1, SHA256 and SHA512 hash functions.
Documentation
=============
the documentation can be found in mli files in ocamldoc format.
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
https://github.com/vincenthz/ocaml-sha
|
| Released by: |
andreas
|
| Distfiles: |
v1.8.tar.gz
|
| Docs: |
godi-sha (link may be unavailable)
|
|
| godi-shcaml |
0.1.3 |
2011-04-16 |
An Ocaml library for Unix shell programming |
| Description: |
Caml-Shcaml brings high-level abstractions for Unix systems and shell
programming to OCaml. In particular, it takes advantage of OCaml's type
system to offer statically-checked data pipelines. External Unix
processes and internal OCaml stream transducers communicate seamlessly
within these pipelines. Shcaml brings other essential systems concepts
into the world of typed functional programming as well, including
high-level interfaces to Unix facilities for I/O redirection, signal
handling, program execution, and subprocess reaping. For more
information, see http://www.ccs.neu.edu/home/tov/code/shcaml/.
|
| Maintainer: |
Jesse Tov
|
| Homepage: |
http://www.ccs.neu.edu/home/tov/code/shcaml/
|
| Released by: |
tov
|
| Distfiles: |
shcaml-0.1.3.tar.gz
|
| Docs: |
godi-shcaml (link may be unavailable)
|
|
| godi-sonet |
0.1.1godi2 |
2011-07-17 |
Simple asynchronous network programming library. |
| Description: |
Sonet is a collection of modules for asynchronous network
applications. The modules contain an eventloop implementation, and
parsers for some common protocols.
The eventloop module is based on epoll for Linux, and defaults to
OCaml's Unix.select on other platforms. It should be straightforward
to bind to alternatives like kqueue on other platforms.
Parsers and connection implementations exist for the HTTP/1.1 and
D-Bus protocols. Parsers also exist for the JSON, JSONRPC and Bencode
formats.
|
| Maintainer: |
Prashanth Mundkur
|
| Homepage: |
http://github.com/pmundkur/sonet
|
| Released by: |
pmundkur
|
| Distfiles: |
pmundkur-sonet-v0.1.1-1-g0d1baec.tar.gz
|
| Docs: |
godi-sonet (link may be unavailable)
|
|
| godi-sqlite3 |
1.6.3 |
2012-05-20 |
Bindings for SQLite3 database clients |
| Description: |
This library allows an OCaml program to query SQLite3 databases.
This is the version maintained by Markus Mottl.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
|
| Released by: |
mottl
|
| Distfiles: |
sqlite3-ocaml-1.6.3.tar.gz
|
| Docs: |
godi-sqlite3 (link may be unavailable)
|
|
| godi-syslog |
1.2godi1 |
2010-07-05 |
syslog client |
|
|
| godi-tools |
1.6.1godi1 |
2010-07-05 |
godi_console and other tools for GODI |
| Description: |
godi-tools currently only contains godi_console, the package
management utility.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
godi-tools-1.6.1.tar.gz
|
| Docs: |
godi-tools (link may be unavailable)
|
|
| godi-tools-gui |
0.2.1alpha |
2013-01-15 |
a gtk based gui for godi_console |
| Description: |
A gtk based interface for godi_console (godi_gui)
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
https://github.com/arirux/godigui
|
| Released by: |
andreas
|
| Distfiles: |
godi-gui-0.2.1alpha.tar.gz godi-tools-3.0.36.tar.gz
|
| Docs: |
godi-tools-gui (link may be unavailable)
|
|
| godi-tophide |
1.0.0godi1 |
2011-05-26 |
Hides toplevel values whose name starts with an underscore. |
| Description: |
Tophide hides toplevel values whose name starts with an underscore. This is
useful for some Camlp4 syntax extensions that produce lots of global
identifiers that should remain hidden.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/ocaml.html
|
| Released by: |
mjambon
|
| Distfiles: |
tophide-1.0.0.tar.gz
|
| Docs: |
godi-tophide (link may be unavailable)
|
|
| godi-type-conv |
3.0.4godi1 |
2011-09-15 |
Library factoring out common functionality for type converters. |
| Description: |
The type-conv mini library factors out functionality needed by different
preprocessors that generate code from type specifications, because this
functionality cannot be duplicated without losing the ability to use
these preprocessors simultaneously.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://www.janestcapital.com/ocaml
|
| Released by: |
mottl
|
| Distfiles: |
type-conv-3.0.4.tar.gz
|
| Docs: |
godi-type-conv (link may be unavailable)
|
|
| godi-type_conv |
108.00.01godi3 |
2012-12-21 |
Library factoring out common functionality for type converters. |
| Description: |
The type_conv mini library factors out functionality needed by different
preprocessors that generate code from type specifications, because this
functionality cannot be duplicated without losing the ability to use
these preprocessors simultaneously.
|
| Maintainer: |
Markus Mottl
|
| Homepage: |
http://bitbucket.org/yminsky/ocaml-core
|
| Released by: |
gerd
|
| Distfiles: |
type_conv-108.00.01.tar.gz
|
| Docs: |
godi-type_conv (link may be unavailable)
|
|
| godi-tyxml |
2.0.2 |
2012-03-17 |
A parser and printer for xml. |
| Description: |
TyXml is a parser and printer for xml, and a simple library for
building valid XHTML 1.1, HTML5 or SVG tree. The generic printer
allows a HTML compatible mode.
|
| Maintainer: |
jmaloberti@gmail.com
|
| Homepage: |
http://www.ocsigen.org/eliom/install/
|
| Released by: |
jmaloberti
|
| Distfiles: |
tyxml-2.0.2.tar.gz
|
| Docs: |
godi-tyxml (link may be unavailable)
|
|
| godi-ulex |
1.0 |
2010-07-05 |
Lexer generator with support for Unicode |
| Description: |
ulex is a lexer generator implemented as an OCaml syntax extension,
and with support for Unicode encodings.
|
| Maintainer: |
Alain.Frisch@inria.fr
|
| Homepage: |
http://www.cduce.org/download.html
|
| Released by: |
gerd
|
| Distfiles: |
ulex-1.0.tar.gz
|
| Docs: |
godi-ulex (link may be unavailable)
|
|
| godi-wdialog |
2.1.3godi2 |
2013-06-03 |
Framework for web applications |
| Description: |
WDialog is an advanced system to create dialog-centric web applications.
Feature list:
* Separation of the user interface (UI) definition from the
backend program, improving the structure of the application and
enabling advanced software engineering processes
* The UI definition is contained in an XML file, and it describes
the whole UI from the overall dialog structure to the style of
the individual HTML element
* The dialogs have built-in persistency for session state. The
HTML form elements can be tied to dialog variables reflecting
their current state
* A powerful template system manages the combination of individual
HTML fragments to whole pages
* The dialogs behave like GUI widgets. They visualize the state of
the session, and user clicks are treated like events that are
handled by programmable callback methods
* The callbacks are written in a real programming language
(Objective Caml, or Perl), making it possible to formulate all
algorithms and to use all system resources
* The application can run as CGI as well as application server
* The WDialog toolkit itself does not require any database as
backend store
* WDialog preprocesses all web inputs, and ensures that minimum
security standards are fulfilled
--
Note: This GODI package omits the Perl bindings.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://wdialog.sourceforge.net
|
| Released by: |
gerd
|
| Distfiles: |
wdialog-2.1.3.tar.gz
|
| Docs: |
godi-wdialog (link may be unavailable)
|
|
| godi-wdialog-manual |
2.1.1 |
2010-07-05 |
The manual for WDialog |
| Description: |
The reference manual of WDialog, HTML-formatted
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://wdialog.sourceforge.net
|
| Released by: |
gerd
|
| Distfiles: |
wdialog-manual-2.1.1-html.tar.gz
|
| Docs: |
godi-wdialog-manual (link may be unavailable)
|
|
| godi-webdav |
1.1godi3 |
2013-07-21 |
Client for WebDAV |
| Description: |
This library implements the client side of the WebDAV protocol (RFC
4918). The file locking part of WebDAV is omitted, though. The library
uses Ocamlnet's [netclient] library for client-side HTTP, and extends it
by providing the required access methods for WebDAV. Additionally, there
is also an implementation for Ocamlnet's Netfs.stream_fs abstraction
modelling a simple file system.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://oss.wink.com/webdav/
|
| Released by: |
gerd
|
| Distfiles: |
webdav-1.1.tar.gz
|
| Docs: |
godi-webdav (link may be unavailable)
|
|
| godi-xml-light |
2.2godi1 |
2010-07-05 |
minimal XML parser & pretty printer |
| Description: |
XML Light is a minimal XML parser & printer for OCaml. It provides
functions to parse an XML document into an OCaml data structure, work with
it, and print it back to an XML document.
|
| Maintainer: |
Owen Gunden
|
| Homepage: |
http://tech.motion-twin.com/xmllight
|
| Released by: |
gerd
|
| Distfiles: |
xml-light-2.2.tar.gz
|
| Docs: |
godi-xml-light (link may be unavailable)
|
|
| godi-xmlm |
1.1.0godi2 |
2012-06-26 |
Streaming XML IO for OCaml |
| Description: |
Xmlm is an OCaml module for streaming XML IO. It aims at making XML processing robust and painless. The streaming interface can process documents without building an in-memory representation. It lets the programmer translate its data structures to XML documents and vice-versa. Functions are provided to easily transform arborescent data structures to/from XML documents.
Xmlm is made of a single independent module and distributed under the BSD3 license.
|
| Maintainer: |
Sylvain Le Gall
|
| Homepage: |
http://erratique.ch/software/xmlm
|
| Released by: |
gildor
|
| Distfiles: |
xmlm-1.1.0.tbz
|
| Docs: |
godi-xmlm (link may be unavailable)
|
|
| godi-xstr |
0.2.1 |
2010-07-05 |
additional string functions |
| Description: |
String functions for O'Caml
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
xstr-0.2.1.tar.gz
|
| Docs: |
godi-xstr (link may be unavailable)
|
|
| godi-xstrp4 |
1.8 |
2010-11-30 |
camlp4 macros for inline expansion |
| Description: |
This is a camlp4 extension that expands brace expansions like a shell
does.
|
| Maintainer: |
gerd@gerd-stolpmann.de
|
| Homepage: |
http://ocaml-programming.de
|
| Released by: |
gerd
|
| Distfiles: |
xstrp4-1.8.tar.gz
|
| Docs: |
godi-xstrp4 (link may be unavailable)
|
|
| godi-yojson |
1.0.3 |
2011-12-29 |
JSON library succeeding to json-wheel |
| Description: |
Yojson is an optimized parsing and printing library for the JSON format.
It addresses a few shortcomings of json-wheel including 3x speed
improvement, polymorphic variants and optional syntax for tuples and
variants.
|
| Maintainer: |
Martin Jambon
|
| Homepage: |
http://martin.jambon.free.fr/yojson.html
|
| Released by: |
mjambon
|
| Distfiles: |
yojson-1.0.3.tar.gz
|
| Docs: |
godi-yojson (link may be unavailable)
|
|
| godi-zarith |
1.1godi1 |
2013-01-14 |
arithmetic operations over arbitrary-precision integers |
| Description: |
This library implements arithmetic and logical operations over
arbitrary-precision integers.
The module is simply named "Z". Its interface is similar to that of
the Int32, Int64 and Nativeint modules from the OCaml standard
library, with some additional functions. See the file z.mlip for
documentation.
The implementation uses GMP (the GNU Multiple Precision arithmetic
library) to compute over big integers.
However, small integers are represented as unboxed Caml integers, to save
space and improve performance. Big integers are allocated in the Caml heap,
bypassing GMP's memory management and achieving better GC behavior than e.g.
the MLGMP library.
Computations on small integers use a special, faster path (coded in assembly
for some platforms and functions) eschewing calls to GMP, while computations
on large intergers use the low-level MPN functions from GMP.
Arbitrary-precision integers can be compared correctly using OCaml's
polymorphic comparison operators (=, <, >, etc.).
This requires OCaml version 3.12.1 or later, though.
Additional features include:
- a module Q for rationals, built on top of Z (see q.mli)
- a compatibility layer Big_int_Z that implements the same API as Big_int,
but uses Z internally
|
| Maintainer: |
andreas@ml.ignorelist.com
|
| Homepage: |
http://forge.ocamlcore.org/projects/zarith/
|
| Released by: |
andreas
|
| Distfiles: |
zarith-1.1.tgz
|
| Docs: |
godi-zarith (link may be unavailable)
|
|
| godi-zip |
1.04godi2 |
2012-12-24 |
Bindings for zlib |
| Description: |
This library provides easy access to compressed files in ZIP and GZIP
format, as well as to Java JAR files. It provides functions for reading
from and writing to compressed files in these formats.
|
| Maintainer: |
Julien.Signoles@gmail.com
|
| Homepage: |
http://forge.ocamlcore.org/projects/camlzip
|
| Released by: |
gerd
|
| Distfiles: |
camlzip-1.04.tar.gz
|
| Docs: |
godi-zip (link may be unavailable)
|
|
