GODI Packages

A machine learning tool for structured data.

Automated first-order theorem prover

An http link checker.

OCaml-stuffed templates

XML-oriented functional language

Interactive proof assistant

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

Felix Compiler

Modular C static analyser

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

Tool for managing headers in source code files

Latex-to-HTML converter

Line editor wrapper

Sort OCaml source files according to their dependencies

literate programming tool for Objective Caml

Planet simulation

Package distributor

Translation Directory

A system monitor for User Mode Linux

A system monitor for User Mode Linux

File synchronizer

Verification condition generator for various systems

Curses calendar app

"first-order automated theorem prover generating coq output"

Configures which bdb library to use

Configures which curl library to use

Configures which expat library to use

Configures which freetype2 library to use

Configures which gdbm library to use

Configures which gif library to use

Configures which glut library to use

Configures which Ghostscript interpreter to use

Configures which gtk 1.x library to use

Configures which jpeg library to use

Configures libraries needed by LACAML

Configures which mysql library to use

Configures which ncurses library to use

Configures which opengl libraries to use

Configures which pcre library to use

Configures which png library to use

Configures which PostgreSQL client library to use

Configures which SDL library to use

Configures which tcl/tk libraries to use

Configures which tiff library to use

Configures which unixodbc library to use

Configures which X11 library to use

Configures which xpm library to use

Configures which zlib library to use

A tool that helps deal with alpha-conversion issues.

a bunch of cool stuff

Simple ANSI terminal color library.

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

library and camlp4 extension for data-structures with bound variables

Distributed caching service

Operations over dates and times.

HTML colored syntax from OCaml source files

Stub generator

Objective Caml image processing library

The manuals for Camlp4

pre-processor-pretty-printer for ocaml

A library for generating text from templates.

Camomile is a comprehensive Unicode library for OCaml.

OCaml library for manipulating context-free grammars

C Intermediate Language

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

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

crypt library binding

cryptographic algorithms DES, 3DES, Blowfish

Cryptographic primitives

Bindings for libcurl

Libraries for package distribution management

Bindings for the expat XML parser

User-supported Extended Standard Library

A Functional Constraint Library

Discrete Fourier Transform (FFTW version 2)

The findlib/ocamlfind package manager

CGI to browse findlib-managed packages

Parser for the C language

Parsing of command line arguments

Weak hash table and downcast.

The ICE protocol

ini format config file parsing

Jane Street Capital fieldslib library

Data marshalling with JSON

JSON validator and converter for OCaml

Standard-compliant JSON implementation

OpenGL interface

An object-oriented interface to GTK

An object-oriented interface to GTK2

Linear algebra library interfacing LAPACK and BLAS

Lua interpreter

Light-weight threading library

The GODI manual for users and developers

A LR(1) parser generator for Objective Caml.

A collection of various utilities for O'Caml

The core of the OCaml system (compiler, runtime)

CSV library for OCaml

The (G)DBM library of OCaml

Library for common file operations

The "graphics" library of OCaml

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

The labltk and camltk libraries, ocamlbrowser

The manual for OCaml

Bindings for interacting with MySQL databases from ocaml.

OCaml sources (required for GODI builds)

The Secure Socket Layer

xml rpc server and client library

OCaml interface to Berkeley-DB

LDAP network protocol

Database access independent of DBMS type

ocamlgraph is a graph library for Objective Caml

Generic Makefile to build OCaml projects

base library for network protocols

Glib/gtk1 extension for ocamlnet

Glib/gtk2 extension for ocamlnet

SSL extension for ocamlnet

tcl extension for ocamlnet

Database access via ODBC

native code scripts

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

Embeddable Scheme written in Ocaml

The OMake Build System.

Tool for the working semanticist.

Unit test framework for OCaml

Pronouncable password generator library

Perl compatible regular expressions

OCaml library for manipulating partially ordered maps

Bindings for Postgres database clients

Bindings for PostgreSQL database clients

PXP is an advanced XML parser

Regular expressions

OCaml library for resizable arrays and strings

Scheme interpreter written by OCaml.

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

Bindings for SQLite3 database clients

syslog client

godi_console and other tools for GODI

Hides toplevel values whose name starts with an underscore.

Library factoring out common functionality for type converters.

Lexer generator with support for Unicode

Framework for web applications

The manual for WDialog

minimal XML parser & pretty printer

additional string functions

camlp4 macros for inline expansion

Bindings for zlib