Plasma GitLab Archive
Projects Blog Knowledge

GODI Project:
Home 
Highlights 
Screenshots 
Get GODI 
Docs 
Mailing List 
Resources 
Packages 
Workgroups 
OASIS 
Why Ocaml? 
GODI is discontinued. This is the archived content of the former site godi.camlcity.org.
Sections
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 3.11.2.0 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 0.9.8.5godi7 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