Docs GODI Archive
Projects Blog Link DB

Look up function:

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

List of Packages

These packages are available in the GODI release line 3.09:

apps-aifad1.0.26+/-A machine learning tool for structured data.
apps-alt-ergo0.7.3+/-Automated first-order theorem prover
apps-bigbro2.0.4godi3+/-An http link checker.
apps-camlmix1.3.0+/-OCaml-stuffed templates
apps-cduce0.5.0godi1+/-XML-oriented functional language
apps-ceve1.0.1+/-Parser for many package formats
apps-cmigrep1.3+/-module exploration utility
apps-coq8.1pl3godi1+/-Interactive proof assistant
apps-ergo0.7.3+/-DEPRECATED: ergo is now called alt-ergo. This package is only here to ease the transisition.
apps-felix1.1.1+/-Felix Compiler
apps-frama-c20080502+/-Modular C/C++ static analyser
apps-godiva0.9.5.1+/-High-level tool for simplifying the creation of GODI packages.
apps-graph1.0+/-terminal graphing utility
apps-headache1.03+/-Tool for managing headers in source code files
apps-hevea1.10godi1+/-Latex-to-HTML converter
apps-ledit1.11godi1+/-Line editor wrapper
apps-nurpawiki1.1.2+/-Wiki + To-Do list
apps-ocamldsort0.14.3+/-Sort OCaml source files according to their dependencies
apps-ocamlweb1.36+/-literate programming tool for Objective Caml
apps-ocsigen1.0.0+/-Framework for web programming
apps-pkglab1.1+/-Distribution navigator
apps-planets0.1.12+/-Planet simulation
apps-tart1.0.1+/-Package distributor
apps-tdir1.1.1+/-Translation Directory
apps-umlmon1.0.4+/-A system monitor for User Mode Linux
apps-umlmon-web1.0.4+/-A system monitor for User Mode Linux
apps-unison2.27.29+/-File synchronizer
apps-why2.13+/-Verification condition generator for various systems
apps-wyrd1.4.1+/-Curses calendar app
apps-zenon0.5.0+/-"first-order automated theorem prover generating coq output"
base-curl7.14.0+/-The version of CURL for GODI
base-expat1.95.7godi3+/-The version of expat for GODI
base-gdbm1.8.3godi6+/-The GNU database manager
base-pcre6.7godi3+/-The version of PCRE for GODI
base-plan9-mk1.6+/-The make utility from Plan9
base-subversion-client1.0.6+/-The subversion client allows direct access to GODI repositories
conf-bdb1+/-Configures which bdb library to use
conf-curl3+/-Configures which curl library to use
conf-expat6+/-Configures which expat library to use
conf-freetype21godi3+/-Configures which freetype2 library to use
conf-gdbm3+/-Configures which gdbm library to use
conf-gdk-pixbuf11+/-Configures which gdk-pixbuf for gtk 1.x library to use
conf-gif1godi2+/-Configures which gif library to use
conf-glade11+/-Configures which glade for gtk 1.x library to use
conf-glut6+/-Configures which glut library to use
conf-gnome11+/-Configures which gnome 1.x library to use
conf-gs1godi1+/-Configures which Ghostscript interpreter to use
conf-gtk11+/-Configures which gtk 1.x library to use
conf-gtkgl11+/-Configures which gtkgl for gtk 1.x library to use
conf-jpeg2godi1+/-Configures which jpeg library to use
conf-lacaml1+/-Configures libraries needed by LACAML
conf-mysql2+/-Configures which mysql library to use
conf-ncurses1+/-Configures which ncurses library to use
conf-opengl6+/-Configures which opengl libraries to use
conf-pcre6+/-Configures which pcre library to use
conf-png1godi2+/-Configures which png library to use
conf-popt1+/-Configures which popt library to use
conf-postgres1+/-Configures which PostgreSQL client library to use
conf-rpm2+/-Configures which rpm library to use
conf-sdl3+/-Configures which SDL library to use
conf-sqlite31+/-Configures which SQLite3 library to use
conf-tcltk10+/-Configures which tcl/tk libraries to use
conf-tiff2godi1+/-Configures which tiff library to use
conf-unixodbc2+/-Configures which unixodbc library to use
conf-x113+/-Configures which X11 library to use
conf-xpm1godi1+/-Configures which xpm library to use
conf-zlib2+/-Configures which zlib library to use
godi-alphacaml20061214+/-A tool that helps deal with alpha-conversion issues.
godi-ancient0.8.0+/-adds a third generation to the memory manager
godi-annexlib0.13.5+/-a bunch of cool stuff
godi-ansicolor0.5+/-Simple ANSI terminal color library.
godi-ansiterminal0.3+/-ANSI terminal library.
godi-cache1.0+/-Distributed caching service
godi-calendar1.10+/-Operations over dates and times.
godi-caml2html1.3.1+/-HTML colored syntax from OCaml source files
godi-camlidl1.05godi1+/-Stub generator
godi-camlimages2.20godi4+/-Objective Caml image processing library
godi-camlp4-manual20051029+/-The manuals for Camlp4
godi-camlp55.08+/-pre-processor-pretty-printer for ocaml
godi-camltemplate1.0.1+/-A library for generating text from templates.
godi-camomile0.6.5+/-A comprehensive Unicode library for OCaml.
godi-cfg1.7.3+/-OCaml library for manipulating context-free grammars
godi-cil1.3.6godi1+/-C Intermediate Language
godi-col1.1.1+/-Automatic conversion between records and CSV files
godi-core-mk1.2.19godi1+/-The make framework of GODI
godi-core-pkgtools20050829+/-GODI package tools
godi-core-script0.5+/-Support library for GODI scripts
godi-crypt1.0godi1+/-crypt library binding
godi-cryptgps0.2.1+/-cryptographic algorithms DES, 3DES, Blowfish
godi-cryptokit1.2+/-Cryptographic primitives
godi-curl0.2.1+/-Bindings for libcurl
godi-dose21.1godi1+/-Libraries for package distribution management
godi-dum1.0.0godi1+/-Dumper supporting cyclic values.
godi-easy-format1.0.0+/-Indentation made easy(ier)
godi-equeue2.2godi1+/-Dummy package; Equeue is now part of godi-ocamlnet
godi-equeue-gtk12.2godi1+/-Dummy package; Equeue-gtk1 is now part of godi-ocamlnet-gtk1
godi-equeue-gtk22.2godi1+/-Dummy package; Equeue-gtk2 is now part of godi-ocamlnet-gtk2
godi-equeue-tcl2.2godi1+/-Dummy package; Equeue-tcl is now part of godi-ocamlnet-tcl
godi-expat0.9.1godi2+/-Bindings for the expat XML parser
godi-extlib1.5.1+/-User-supported Extended Standard Library
godi-facile1.1+/-A Functional Constraint Library
godi-fftw0.1godi1+/-Discrete Fourier Transform (FFTW version 2)
godi-findlib1.2.4+/-The findlib/ocamlfind package manager
godi-findlib-browser0.2.2+/-CGI to browse findlib-managed packages
godi-frontc3.1godi3+/-Parser for the C language
godi-galax0.7.2+/-XQuery 1.0 Implementation
godi-getopt20040420+/-Parsing of command line arguments
godi-heredoc20060107+/-syntactic sugar for text producing applications
godi-hweak1.1+/-Weak hash table and downcast.
godi-hydro0.6+/-The ICE protocol
godi-inifiles1.1+/-ini format config file parsing
godi-json1.0godi2+/-Data marshalling with JSON
godi-json-static0.9.5+/-JSON validator and converter for OCaml
godi-json-wheel1.0.6+/-Standard-compliant JSON implementation
godi-lablgl1.02+/-OpenGL interface
godi-lablgtk1.2.6godi3+/-An object-oriented interface to GTK
godi-lablgtk220080226godi1+/-An object-oriented interface to GTK2
godi-lablgtksourceview0.2.1godi1+/-bindings for the gtksourceview library.
godi-lacaml3.0.27godi1+/-Linear algebra library interfacing LAPACK and BLAS
godi-lua-ml2.5_20060829+/-Lua interpreter
godi-lwt1.1.0+/-Light-weight threading library
godi-manual20060404+/-The GODI manual for users and developers
godi-menhir20090204+/-A LR(1) parser generator for Objective Caml.
godi-micmatch_pcre0.700+/-Pattern matching extended with regexps in Ocamllex syntax
godi-missinglib0.4.1godi2+/-A collection of various utilities for O'Caml
godi-netclient2.2godi1+/-Dummy package; Netclient is now part of godi-ocamlnet
godi-ocaml3.09.3godi1+/-The core of the OCaml system (compiler, runtime)
godi-ocaml-all2+/-Meta pkg for all of the ocaml distribution
godi-ocaml-csv1.1.6+/-CSV library for OCaml
godi-ocaml-dbm3.09.3godi1+/-The (G)DBM library of OCaml
godi-ocaml-fileutils0.3.0godi1+/-Library for common file operations
godi-ocaml-graphics3.09.3godi1+/-The "graphics" library of OCaml
godi-ocaml-http0.1.3+/-Do it yourself http daemon, like HTTP::Daemon in perl
godi-ocaml-labltk3.09.3godi2+/-The labltk and camltk libraries, ocamlbrowser
godi-ocaml-manual3.09+/-The manual for OCaml
godi-ocaml-mysql1.0.4+/-Bindings for interacting with MySQL databases from ocaml.
godi-ocaml-src3.09.3godi3+/-OCaml sources (required for GODI builds)
godi-ocaml-ssl0.4.2+/-The Secure Socket Layer
godi-ocaml-xml-rpc0.2.6+/-xml rpc server and client library
godi-ocamlbdb4.3.21+/-OCaml interface to Berkeley-DB
godi-ocamldap2.1.8godi1+/-LDAP network protocol
godi-ocamldbi0.9.11godi1+/-Database access independent of DBMS type
godi-ocamlduce3.09.3pl1+/-OCaml-based compiler w/ XML types and patterns
godi-ocamlgraph0.99cgodi4+/-ocamlgraph is a graph library for Objective Caml
godi-ocamlmakefile6.24.8godi1+/-Generic Makefile to build OCaml projects
godi-ocamlnet2.2.9godi2+/-base library for network protocols
godi-ocamlnet-gtk12.2.9+/-Glib/gtk1 extension for ocamlnet
godi-ocamlnet-gtk22.2.9+/-Glib/gtk2 extension for ocamlnet
godi-ocamlnet-ssl2.2.9+/-SSL extension for ocamlnet
godi-ocamlnet-tcl2.2.9+/-tcl extension for ocamlnet
godi-ocamlodbc-unixodbc2.10+/-Database access via ODBC
godi-ocamlscript2.0.1+/-native code scripts
godi-ocamlsdl0.7.2godi2+/-SDL, the Simple Direct Layer for video, audio, input devices
godi-ocs1.0.1+/-Embeddable Scheme written in Ocaml
godi-omake0.9.8.5godi3+/-The OMake Build System.
godi-ounit1.0.1+/-Unit test framework for OCaml
godi-pa_arg0.2.3+/-A syntax-extension and library for parsing command-line arguments.
godi-password_gen1.0+/-Pronouncable password generator library
godi-pcre5.11.1godi10+/-Perl compatible regular expressions
godi-pomap2.9.7+/-OCaml library for manipulating partially ordered maps
godi-postgres-af20040120+/-Bindings for Postgres database clients
godi-postgresql1.7.0+/-Bindings for PostgreSQL database clients
godi-pxp1.2.1+/-PXP is an advanced XML parser
godi-re0.1+/-Regular expressions
godi-res2.2.4+/-OCaml library for resizable arrays and strings
godi-rpc2.2godi1+/-Dummy package; Rpc is now part of godi-ocamlnet
godi-schoca0.2.3godi1+/-Scheme interpreter written by OCaml.
godi-sexplib2.8.3godi1+/-Library for automated conversion of OCaml-values to and from S-expressions.
godi-shell1+/-Dummy package; Shell is now part of godi-equeue
godi-sqlite30.24.0+/-Bindings for SQLite3 database clients
godi-syslog1.4godi1+/-syslog client
godi-tools1.6.1godi1+/-godi_console and other tools for GODI
godi-tophide1.0.0+/-Hides toplevel values whose name starts with an underscore.
godi-ulex0.8+/-Lexer generator with support for Unicode
godi-wdialog2.1.2+/-Framework for web applications
godi-wdialog-manual2.1.1+/-The manual for WDialog
godi-wlex20051031godi1+/-Patched ocamllex to support wide-character lexing
godi-xml-light2.2godi1+/-minimal XML parser & pretty printer
godi-xstr0.2.1+/-additional string functions
godi-xstrp41.6+/-camlp4 macros for inline expansion
godi-zip1.01godi4+/-Bindings for zlib

Gerd Stolpmann and the GODI team Contact

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