Docs GODI Archive
Projects Blog Link DB

Look up function:

(e.g. "List.find" or "keysym")
More options

FREE SOFTWARE ON CAMLCITY.ORG

GODI Packages

Name Description
apps-aifad

A machine learning tool for structured data.

apps-alt-ergo

Automated first-order theorem prover

apps-bigbro

An http link checker.

apps-camlmix

OCaml-stuffed templates

apps-cduce

XML-oriented functional language

apps-cmigrep

module exploration utility

apps-coq

Interactive proof assistant

apps-ergo

DEPRECATED: ergo is now called alt-ergo. This package is only here to ease the transisition.

apps-felix

Felix Compiler

apps-frama-c

Modular C static analyser

apps-godiva

High-level tool for simplifying the creation of GODI packages.

apps-headache

Tool for managing headers in source code files

apps-hevea

Latex-to-HTML converter

apps-ledit

Line editor wrapper

apps-nurpawiki

Wiki + To-Do list

apps-ocamldsort

Sort OCaml source files according to their dependencies

apps-ocamlweb

literate programming tool for Objective Caml

apps-ocsigen

Framework for web programming

apps-planets

Planet simulation

apps-tart

Package distributor

apps-umlmon

A system monitor for User Mode Linux

apps-umlmon-web

A system monitor for User Mode Linux

apps-unison

File synchronizer

apps-why

Verification condition generator for various systems

apps-wyrd

Curses calendar app

apps-zenon

"first-order automated theorem prover generating coq output"

conf-bdb

Configures which bdb library to use

conf-curl

Configures which curl library to use

conf-expat

Configures which expat library to use

conf-freetype2

Configures which freetype2 library to use

conf-gdbm

Configures which gdbm library to use

conf-gif

Configures which gif library to use

conf-glut

Configures which glut library to use

conf-gs

Configures which Ghostscript interpreter to use

conf-gtk1

Configures which gtk 1.x library to use

conf-jpeg

Configures which jpeg library to use

conf-lacaml

Configures libraries needed by LACAML

conf-mysql

Configures which mysql library to use

conf-ncurses

Configures which ncurses library to use

conf-opengl

Configures which opengl libraries to use

conf-pcre

Configures which pcre library to use

conf-png

Configures which png library to use

conf-postgres

Configures which PostgreSQL client library to use

conf-sdl

Configures which SDL library to use

conf-tcltk

Configures which tcl/tk libraries to use

conf-tiff

Configures which tiff library to use

conf-unixodbc

Configures which unixodbc library to use

conf-x11

Configures which X11 library to use

conf-xpm

Configures which xpm library to use

conf-zlib

Configures which zlib library to use

godi-alphacaml

A tool that helps deal with alpha-conversion issues.

godi-annexlib

a bunch of cool stuff

godi-ansicolor

Simple ANSI terminal color library.

godi-bin-prot

Library for automated conversion of OCaml-values to and from an efficient binary protocol.

godi-bindlib

library and camlp4 extension for data-structures with bound variables

godi-cache

Distributed caching service

godi-calendar

Operations over dates and times.

godi-caml2html

HTML colored syntax from OCaml source files

godi-camlidl

Stub generator

godi-camlimages

Objective Caml image processing library

godi-camlp5

pre-processor-pretty-printer for ocaml

godi-camltemplate

A library for generating text from templates.

godi-camomile

Camomile is a comprehensive Unicode library for OCaml.

godi-cfg

OCaml library for manipulating context-free grammars

godi-cil

C Intermediate Language

godi-core-mk

This is a dummy package; godi-core-mk is now part of godi-tools

godi-core-script

This is a dummy package; godi-core-script is now part of godi-tools

godi-crypt

crypt library binding

godi-cryptgps

cryptographic algorithms DES, 3DES, Blowfish

godi-cryptokit

Cryptographic primitives

godi-curl

Bindings for libcurl

godi-dose2

Libraries for package distribution management

godi-expat

Bindings for the expat XML parser

godi-extlib

User-supported Extended Standard Library

godi-facile

A Functional Constraint Library

godi-fftw

Discrete Fourier Transform (FFTW version 2)

godi-findlib

The findlib/ocamlfind package manager

godi-findlib-browser

CGI to browse findlib-managed packages

godi-frontc

Parser for the C language

godi-getopt

Parsing of command line arguments

godi-hweak

Weak hash table and downcast.

godi-hydro

The ICE protocol

godi-inifiles

ini format config file parsing

godi-json

Data marshalling with JSON

godi-json-static

JSON validator and converter for OCaml

godi-json-wheel

Standard-compliant JSON implementation

godi-lablgl

OpenGL interface

godi-lablgtk

An object-oriented interface to GTK

godi-lablgtk2

An object-oriented interface to GTK2

godi-lacaml

Linear algebra library interfacing LAPACK and BLAS

godi-lua-ml

Lua interpreter

godi-lwt

Light-weight threading library

godi-manual

The GODI manual for users and developers

godi-menhir

A LR(1) parser generator for Objective Caml.

godi-missinglib

A collection of various utilities for O'Caml

godi-ocaml

The core of the OCaml system (compiler, runtime)

godi-ocaml-csv

CSV library for OCaml

godi-ocaml-dbm

The (G)DBM library of OCaml

godi-ocaml-fileutils

Library for common file operations

godi-ocaml-graphics

The "graphics" library of OCaml

godi-ocaml-http

Do it yourself http daemon, like HTTP::Daemon in perl

godi-ocaml-labltk

The labltk and camltk libraries, ocamlbrowser

godi-ocaml-manual

The manual for OCaml

godi-ocaml-mysql

Bindings for interacting with MySQL databases from ocaml.

godi-ocaml-src

OCaml sources (required for GODI builds)

godi-ocaml-ssl

The Secure Socket Layer

godi-ocaml-xml-rpc

xml rpc server and client library

godi-ocamlbdb

OCaml interface to Berkeley-DB

godi-ocamldap

LDAP network protocol

godi-ocamldbi

Database access independent of DBMS type

godi-ocamlgraph

ocamlgraph is a graph library for Objective Caml

godi-ocamlmakefile

Generic Makefile to build OCaml projects

godi-ocamlnet

base library for network protocols

godi-ocamlnet-gtk1

Glib/gtk1 extension for ocamlnet

godi-ocamlnet-gtk2

Glib/gtk2 extension for ocamlnet

godi-ocamlnet-ssl

SSL extension for ocamlnet

godi-ocamlnet-tcl

tcl extension for ocamlnet

godi-ocamlodbc-unixodbc

Database access via ODBC

godi-ocamlscript

native code scripts

godi-ocamlsdl

SDL, the Simple Direct Layer for video, audio, input devices

godi-ocs

Embeddable Scheme written in Ocaml

godi-omake

The OMake Build System.

godi-ott

Tool for the working semanticist.

godi-ounit

Unit test framework for OCaml

godi-password_gen

Pronouncable password generator library

godi-pcre

Perl compatible regular expressions

godi-pomap

OCaml library for manipulating partially ordered maps

godi-postgres-af

Bindings for Postgres database clients

godi-postgresql

Bindings for PostgreSQL database clients

godi-pxp

PXP is an advanced XML parser

godi-re

Regular expressions

godi-res

OCaml library for resizable arrays and strings

godi-schoca

Scheme interpreter written by OCaml.

godi-sexplib

Library for automated conversion of OCaml-values to and from S-expressions.

godi-sqlite3

Bindings for SQLite3 database clients

godi-syslog

syslog client

godi-tools

godi_console and other tools for GODI

godi-tophide

Hides toplevel values whose name starts with an underscore.

godi-type-conv

Library factoring out common functionality for type converters.

godi-ulex

Lexer generator with support for Unicode

godi-wdialog

Framework for web applications

godi-wdialog-manual

The manual for WDialog

godi-xml-light

minimal XML parser & pretty printer

godi-xstr

additional string functions

godi-xstrp4

camlp4 macros for inline expansion

godi-zip

Bindings for zlib

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml