Plasma GitLab Archive
Projects Blog Knowledge

GODI Project:
Mailing List 
Why Ocaml? 
GODI is discontinued. This is the archived content of the former site
rocketboost 4.00 3.12 3.11

GODI Packages

Name Version Released Comment
apps-aifad 1.0.32 2010-01-22 A machine learning tool for structured data.
apps-alt-ergo 0.9.4 2012-01-27 Automated first-order theorem prover
apps-bigbro 2.0.4godi4 2009-01-12 An http link checker.
apps-camlmix 1.3.0godi1 2011-05-26 OCaml-stuffed templates
apps-cduce 0.5.4 2011-05-17 XML-oriented functional language
apps-ceve 1.0.1 2009-01-12 Parser for many package formats
apps-cmigrep 1.2 2009-01-12 module exploration utility
apps-coq 8.3.4godi1 2012-05-14 Interactive proof assistant
apps-cppo 0.9.2 2011-08-12 cpp for OCaml
apps-ergo 0.7.3 2009-01-12 DEPRECATED: ergo is now called alt-ergo. This package is only here to ease the transisition.
apps-felix 1.1.1godi1 2009-01-12 Felix Compiler
apps-frama-c 20111001godi2 2012-05-11 Modular C static analyser
apps-godiva 0.9.7 2009-01-12 High-level tool for simplifying the creation of GODI packages.
apps-headache 1.03 2009-01-12 Tool for managing headers in source code files
apps-hevea 1.10 2009-01-12 Latex-to-HTML converter
apps-jsondiff 0.0.1godi1 2011-01-20 JSON sensitive diff.
apps-ledit 2.03 2012-06-05 Line editor wrapper
apps-nurpawiki 1.2.2 2009-01-12 Wiki + To-Do list
apps-oasis 0.2.0 2011-04-06 Architecture for building OCaml libraries and applications
apps-obrowser 1.1godi4 2011-01-04 OCaml bytecode interpreter in Javascript
apps-ocamldsort 0.14.3 2009-01-12 Sort OCaml source files according to their dependencies
apps-ocamlify 0.0.1 2011-04-06 include files in OCaml code
apps-ocamlweb 1.36 2009-01-12 literate programming tool for Objective Caml
apps-ocsigen 1.3.4 2011-01-04 Framework for web programming
apps-ocsigen-dev 1.90.0 2011-02-02 Development version (v2) of Ocsigen
apps-oqamldebug 0.9.2 2013-01-14 Graphical front-end to ocamldebug
apps-pkglab 1.1 2009-01-12 Distribution navigator
apps-planets 0.1.12 2009-01-12 Planet simulation
apps-regstab 1.4.8 2010-11-21 A SAT-Solver able to deal with formulae patterns.
apps-tart 1.0.1 2009-01-12 Package distributor
apps-tdir 1.1.1godi5 2009-06-19 Translation Directory
apps-umlmon 1.0.5 2009-01-12 A system monitor for User Mode Linux
apps-umlmon-web 1.0.5 2009-01-12 A system monitor for User Mode Linux
apps-unison 2.40.63 2012-02-23 File synchronizer
apps-why 2.31 2012-07-20 Verification condition generator for various systems
apps-why3 0.73 2012-07-20 Next generation of software verification platform Why
apps-wyrd 1.4.1 2009-01-12 Curses calendar app
apps-zenon 0.5.0 2009-01-12 "first-order automated theorem prover generating coq output"
base-curl 7.14.0 2010-02-09 The version of CURL for GODI
base-expat 1.95.7godi3 2009-01-12 The version of expat for GODI
base-gdbm 1.8.3godi6 2009-01-12 The GNU database manager
base-pcre 7.7godi1 2009-01-12 The version of PCRE for GODI
base-plan9-mk 1.6 2009-01-12 The make utility from Plan9
base-subversion-client 1.0.6 2009-01-12 The subversion client allows direct access to GODI repositories
conf-bdb 1 2009-01-12 Configures which bdb library to use
conf-curl 3 2009-01-12 Configures which curl library to use
conf-expat 7 2010-07-01 Configures which expat library to use
conf-freetype2 1godi3 2009-01-12 Configures which freetype2 library to use
conf-gdbm 3 2009-01-12 Configures which gdbm library to use
conf-gdk-pixbuf1 1 2009-01-12 Configures which gdk-pixbuf for gtk 1.x library to use
conf-gif 1godi2 2009-01-12 Configures which gif library to use
conf-glade1 1 2009-01-12 Configures which glade for gtk 1.x library to use
conf-glut 6 2009-01-12 Configures which glut library to use
conf-gmp 1 2009-01-17 Configures which gmp library to use
conf-gnome1 1 2009-01-12 Configures which gnome 1.x library to use
conf-gs 1godi1 2009-01-12 Configures which Ghostscript interpreter to use
conf-gtk1 1 2009-01-12 Configures which gtk 1.x library to use
conf-gtkgl1 1 2009-01-12 Configures which gtkgl for gtk 1.x library to use
conf-jpeg 2godi1 2009-01-12 Configures which jpeg library to use
conf-lacaml 1 2009-01-12 Configures libraries needed by LACAML
conf-mysql 2 2009-01-12 Configures which mysql library to use
conf-ncurses 1 2009-01-12 Configures which ncurses library to use
conf-opengl 6 2009-01-12 Configures which opengl libraries to use
conf-pcre 6 2009-01-12 Configures which pcre library to use
conf-png 1godi2 2009-01-12 Configures which png library to use
conf-popt 1 2009-01-12 Configures which popt library to use
conf-postgres 1 2009-01-12 Configures which PostgreSQL client library to use
conf-rpm 2 2009-01-12 Configures which rpm library to use
conf-sdl 3 2009-01-12 Configures which SDL library to use
conf-tcltk 11 2009-06-09 Configures which tcl/tk libraries to use
conf-tiff 2godi1 2009-01-12 Configures which tiff library to use
conf-unixodbc 2 2009-01-12 Configures which unixodbc library to use
conf-x11 5 2012-02-24 Configures which X11 library to use
conf-xpm 1godi1 2009-01-12 Configures which xpm library to use
conf-zlib 2 2009-01-12 Configures which zlib library to use
godi-alphacaml 20061214 2009-01-12 A tool that helps deal with alpha-conversion issues.
godi-ancient 0.9.0 2010-03-16 adds a third generation to the memory manager
godi-annexlib 0.13.5 2009-01-12 a bunch of cool stuff
godi-ansicolor 0.5 2009-01-12 Simple ANSI terminal color library.
godi-ansiterminal 0.3 2009-01-12 ANSI terminal library.
godi-atd 1.0.1godi1 2011-05-26 Syntax for cross-language data types
godi-atdgen 1.2.2 2011-10-18 Code generator for biniou and JSON serialization
godi-batteries 1.4.1 2011-08-30 a community-maintained foundation library for OCaml
godi-bin-prot 1.2.23godi1 2010-04-03 Library for automated conversion of OCaml-values to and from an efficient binary protocol.
godi-bindlib 3.2 2009-01-12 library and camlp4 extension for data-structures with bound variables
godi-biniou 1.0.0godi1 2011-05-26 Flexible binary data format
godi-bitstring 2.0.3 2012-10-15 Erlang-style bitstrings and matching over bitstrings as a syntax extension
godi-cache 1.0 2009-01-12 Distributed caching service
godi-cairo 1.2godi1 2010-03-22 ocaml binding for cairo
godi-calendar 2.03.2godi1 2012-10-22 Operations over dates and times.
godi-caml2html 1.4.1godi1 2011-05-26 HTML and LaTeX colored syntax from OCaml source files
godi-camlidl 1.05godi1 2009-01-12 Stub generator
godi-camlimages 2.20godi6 2012-02-27 Objective Caml image processing library
godi-camlp4-manual 20051029godi1 2009-06-19 The manuals for Camlp4
godi-camlp5 6.06 2012-06-05 pre-processor-pretty-printer for ocaml
godi-camltemplate 1.0.2 2009-01-17 A library for generating text from templates.
godi-camomile 0.7.1godi7 2009-01-12 Camomile is a comprehensive Unicode library for OCaml.
godi-cfg 1.7.4 2009-01-12 OCaml library for manipulating context-free grammars
godi-cil 1.3.6godi2 2009-04-22 C Intermediate Language
godi-core-mk 1.2.19godi1 2009-01-12 The make framework of GODI
godi-core-pkgtools 20050829 2009-01-12 GODI package tools
godi-core-script 0.5 2009-01-12 Support library for GODI scripts
godi-crypt 1.0godi1 2009-01-12 crypt library binding
godi-cryptgps 0.2.1 2009-01-12 cryptographic algorithms DES, 3DES, Blowfish
godi-cryptokit 1.3 2009-01-12 Cryptographic primitives
godi-curl 0.5.3 2011-01-04 Bindings for libcurl
godi-dose2 1.1godi1 2009-01-12 Libraries for package distribution management
godi-dum 1.0.0godi2 2011-05-26 Dumper supporting cyclic values.
godi-dyntype 0.7godi1 2010-05-06 Dynamic types for OCaml
godi-dypgen 20090430 2009-06-11 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.
godi-easy-format 1.0.0godi1 2011-05-26 Indentation made easy(ier)
godi-expat 0.9.1godi2 2009-01-12 Bindings for the expat XML parser
godi-extlib 1.5.1 2009-01-12 User-supported Extended Standard Library
godi-facile 1.1 2009-01-12 A Functional Constraint Library
godi-fftw 0.1godi4 2011-05-26 Discrete Fourier Transform (FFTW version 2)
godi-findlib 1.2.8 2012-02-24 The findlib/ocamlfind package manager
godi-findlib-browser 0.2.3 2010-08-02 CGI to browse findlib-managed packages
godi-flexdll 0.25godi1 2010-08-25 flexdll emulates Unix-style dynamic linking on Win32
godi-frontc 3.1godi3 2009-01-12 Parser for the C language
godi-gallium-docs 20090112 2009-01-12 Docs from Gallium about camlp4 and ocamlbuild
godi-getopt 20040420 2009-01-12 Parsing of command line arguments
godi-gpr 0.9.6godi1 2010-02-08 Gaussian process regression in OCaml
godi-gsl 0.6.2godi1 2012-10-22 GSL bindings for OCaml
godi-hweak 1.1 2009-01-12 Weak hash table and downcast.
godi-hydro 0.7.1 2009-04-26 The ICE protocol
godi-inifiles 1.1 2009-01-12 ini format config file parsing
godi-janestreet-core 0.6.0godi4 2010-05-14 Jane Street Capital standard library overlay
godi-janestreet-fieldslib 0.1.0godi1 2009-10-08 Jane Street Capital fieldslib library
godi-jsofocaml 1.0.1 2011-01-31 Js_of_ocaml is a compiler of OCaml bytecode to Javascript
godi-json 1.0godi2 2009-01-12 Data marshalling with JSON
godi-json-static 0.9.8godi1 2011-05-26 JSON validator and converter for OCaml
godi-json-wheel 1.0.6godi1 2011-05-26 Standard-compliant JSON implementation
godi-kaputt 1.0godi1 2011-02-08 A unit testing tool.
godi-lablgl 1.04godi1 2009-12-20 OpenGL interface
godi-lablgtk 1.2.6godi6 2009-01-12 An object-oriented interface to GTK
godi-lablgtk2 20100909godi4 2012-06-07 An object-oriented interface to GTK2
godi-lablgtksourceview 0.2.1godi1 2009-01-12 bindings for the gtksourceview library.
godi-lacaml 5.4.8godi1 2010-11-22 Linear algebra library interfacing LAPACK and BLAS
godi-lua-ml 2.5_20060829 2009-01-12 Lua interpreter
godi-lwt 2.2.1 2011-01-31 Light-weight threading library
godi-manual 20110719 2011-07-20 The GODI manual for users and developers
godi-menhir 20120123 2012-01-23 A LR(1) parser generator for Objective Caml.
godi-micmatch_pcre 1.0.0 2010-08-17 Pattern matching extended with regexps in Ocamllex syntax
godi-mikmatch_pcre 1.0.2 2011-08-29 Pattern matching extended with regexps in Ocamllex syntax
godi-missinglib 0.4.1godi2 2009-01-12 A collection of various utilities for O'Caml
godi-mlgmp 0.13 2009-01-17 an ocaml binding to the gnu gmp library
godi-mlpost 0.8.1 2011-02-02 ocaml interface for Metapost
godi-ocaml 3.11.2godi1 2011-05-04 The core of the OCaml system (compiler, runtime)
godi-ocaml-all 2 2009-01-12 Meta pkg for all of the ocaml distribution
godi-ocaml-csv 1.1.6 2009-01-12 CSV library for OCaml
godi-ocaml-data-notation 0.0.3 2011-04-06 Store data using OCaml notation
godi-ocaml-dbm 3.11.2 2010-04-26 The (G)DBM library of OCaml
godi-ocaml-expect 0.0.2 2011-04-06 Expect-like framework
godi-ocaml-fileutils 0.4.2 2011-04-06 Library to provide pure OCaml functions to manipulate real file (POSIX like) and filename
godi-ocaml-graphics 3.11.2 2010-04-26 The "graphics" library of OCaml
godi-ocaml-http 0.1.3godi1 2009-01-12 Do it yourself http daemon, like HTTP::Daemon in perl
godi-ocaml-labltk 3.11.2 2010-04-26 The labltk and camltk libraries, ocamlbrowser
godi-ocaml-manual 3.11 2009-01-12 The manual for OCaml
godi-ocaml-mysql 1.0.4godi1 2009-01-12 Bindings for interacting with MySQL databases from ocaml.
godi-ocaml-src 3.11.2godi1 2011-05-04 OCaml sources (required for GODI builds)
godi-ocaml-ssl 0.4.4godi2 2011-11-01 The Secure Socket Layer
godi-ocaml-text 0.4 2011-01-04 A library dealing with text as sequence of unicode characters.
godi-ocaml-xml-rpc 0.2.6 2009-01-12 xml rpc server and client library
godi-ocamlbdb 4.3.21 2009-01-12 OCaml interface to Berkeley-DB
godi-ocamlbuild-manual 200702 2009-01-12 The manual for ocamlbuild
godi-ocamldap 2.1.8godi1 2009-01-12 LDAP network protocol
godi-ocamldbi 0.9.11godi1 2009-01-12 Database access independent of DBMS type
godi-ocamlduce 2010-07-06 OCaml-based compiler w/ XML types and patterns
godi-ocamlgraph 1.8.2 2012-05-14 ocamlgraph is a graph library for Objective Caml
godi-ocamlgsl 0.6.2godi1 2009-11-04 GSL bindings for OCaml
godi-ocamlmakefile 6.29.3godi1 2009-05-08 Generic Makefile to build OCaml projects
godi-ocamlmpi 1.01 2010-10-17 MPI bindings for OCaml.
godi-ocamlnet 2.2.9godi7 2009-04-21 base library for network protocols
godi-ocamlnet-gtk1 2.2.9godi1 2009-01-12 Glib/gtk1 extension for ocamlnet
godi-ocamlnet-gtk2 2.2.9godi1 2009-01-12 Glib/gtk2 extension for ocamlnet
godi-ocamlnet-ssl 2.2.9 2009-01-12 SSL extension for ocamlnet
godi-ocamlnet-tcl 2.2.9 2009-01-12 tcl extension for ocamlnet
godi-ocamlodbc-unixodbc 2.10godi1 2009-01-12 Database access via ODBC
godi-ocamlscript 2.0.2godi1 2011-05-26 native code scripts
godi-ocamlsdl 0.7.2godi3 2009-01-12 SDL, the Simple Direct Layer for video, audio, input devices
godi-ocamlviz 1.01 2011-02-02 A real-time profiling tool
godi-ocs 1.0.1godi1 2011-07-13 Embeddable Scheme written in Ocaml
godi-omake 2010-03-12 The OMake Build System.
godi-oni 1.00godi8 2010-11-22 Oni - assorted components for low-level networking
godi-onotify 0.6.2 2010-10-16 a binding for The Inotify Linux framework
godi-orm 0.5 2010-02-19 Object Relational Mapper extension
godi-ott 0.20.3 2011-07-22 Tool for the working semanticist.
godi-ounit 1.1.0 2011-04-06 Unit test framework for OCaml
godi-password_gen 1.0 2009-01-12 Pronouncable password generator library
godi-pcre 6.1.0godi1 2010-04-03 Perl compatible regular expressions
godi-pgocaml 1.4godi2 2011-02-04 type-safe interface to PostgreSQL
godi-pomap 2.9.8 2009-01-12 OCaml library for manipulating partially ordered maps
godi-postgres-af 20040120godi1 2009-01-12 Bindings for Postgres database clients
godi-postgresql 1.12.5godi1 2010-04-03 Bindings for PostgreSQL database clients
godi-pxp 1.2.1 2009-02-04 PXP is an advanced XML parser
godi-re 0.1 2009-01-12 Regular expressions
godi-react 0.9.2 2011-01-04 A module for functional reactive programming (FRP).
godi-res 3.2.0godi3 2009-06-01 OCaml library for resizable arrays and strings
godi-schoca 0.2.3godi1 2009-01-12 Scheme interpreter written by OCaml.
godi-sexplib 5.1.0godi1 2010-05-23 Library for automated conversion of OCaml-values to and from S-expressions.
godi-shcaml 0.1.3 2011-04-17 Caml-Shcaml is an Ocaml library for UNIX shell programming
godi-sqlite3 1.5.7godi1 2009-12-20 Bindings for SQLite3 database clients
godi-syslog 1.2godi1 2009-01-12 syslog client
godi-tools 1.6.1godi1 2009-01-12 godi_console and other tools for GODI
godi-tophide 1.0.0godi1 2011-05-26 Hides toplevel values whose name starts with an underscore.
godi-type-conv 1.7.1godi1 2010-06-06 Library factoring out common functionality for type converters.
godi-ulex 1.0 2009-01-12 Lexer generator with support for Unicode
godi-wdialog 2.1.3 2010-08-01 Framework for web applications
godi-wdialog-manual 2.1.1 2009-01-12 The manual for WDialog
godi-xml-light 2.2godi1 2009-01-12 minimal XML parser & pretty printer
godi-xstr 0.2.1 2009-01-12 additional string functions
godi-xstrp4 1.8 2010-11-30 camlp4 macros for inline expansion
godi-yojson 1.0.3 2011-12-29 JSON library succeeding to json-wheel
godi-zip 1.04 2010-04-14 Bindings for zlib
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml