Packages

The categorization is explained in the GODI User's Manual:
  • apps: end-user software
  • base: software outside of WODI's scope, but required for some godi packages.
  • godi: software to build applications, i.e. libraries, generators,etc.
base is more important under windows, because many c libraries are already installed under *nix, but not under Windows. These packages are often not compiled from source, but taken from the openSUSE factory (32-bit / 64-bit).

  NameVersionDescription
apps
alt-ergo0.9.4Automated first-order theorem prover
cduce0.6.0XML-oriented functional language
console22.00z1.11.0Windows Command Prompt
coq8.4.3Interactive proof assistant
cppo0.9.4cpp for OCaml
eclipse4.3Eclipse with OcaIDE (requires installed java)
emacs24.3emacs for windows
godiva0.9.7High-level tool for simplifying the creation of GODI packages.
oasis0.4.4Architecture for building OCaml libraries and applications
ocaml-top1.1.2interactive editor for education
ocamleditor1.12.0ocaml source code editor and build tool
ocamlify0.0.2include files in OCaml code
ocamlmod0.0.7Generate OCaml modules from source files.
ocamltop-win0.1Gtk2 graphical interface for the OCaml toplevel
base
c-ares1.10.0library for asynchronous DNS requests
curl7.37.0multiprotocol file transfer library
expat2.0.1.4.384stream-oriented XML parser library
freeglut2.6.0.3.205open source alternative to the OpenGL Utility Toolkit
gmp6.0.0aGNU Multiple Precision Arithmetic Library
gtk2.24.18.1.58cross-platform widget toolkit for creating graphical user interfaces
gtkglarea2.0.2alphaOpenGL context provider for GTK+
gui0.2basic gtk runtime
libiconv1.14converting character strings from one character encoding to another
libpq9.3.3programmer\'s interface to PostgreSQL
magic5.04.4.195library to determine file type
pcre8.35regular expression pattern matching
sdl1.2.14.4.248cross-platform multimedia library
sqlite33.7.6.2.1.361a self-contained, embeddable, zero-configuration SQL database engine
ssl1.0.1hopen-source implementation of the SSL and TLS protocols
tcltk8.6.1scripting language with gui support
zlib0.18.1.1.13.356essential windows libraries and tools
godi
alcotest0.2.0Alcotest is a lightweight and colourful test framework
alphacaml20061214A tool that helps deal with alpha-conversion issues.
ansicolor0.5Simple ANSI terminal color library.
argot1.1enhanced ocamldoc generator
atd1.1.2Syntax for cross-language data types
atdgen1.3.1Code generator for biniou and JSON serialization
batteries2.2a community-maintained foundation library for OCaml
benchmark1.3simple benchmark functions
bes0.9.4.2simplify/minimize boolean expressions
bignum111.17.00Core-flavoured wrapper around zarith's arbitrary-precision rationals
bin_prot111.03.00A binary protocol generator
binary0.1Binary serialization of OCaml numeric types
biniou1.0.9Flexible binary data format
bisect1.3A code coverage tool.
bitmasks1.0.0BitMasks over int and int64 exposed as sets
bitstring2.0.4Erlang-style bitstrings and matching over bitstrings as a syntax extension
bitv1.1A bit vector library
bolt1.4logging tool for the OCaml
bytes1.1Transitional Bytes module to simplify adoption of -safe-string in 4.02.0
calendar2.03.2Operations over dates and times.
caml2html1.4.3Caml2html colorizes OCaml source files
camlidl1.05Stub generator
camlimages4.1.1Objective Caml image processing library
camlmix1.3.1OCaml-stuffed templates
camlp4-manual20051029The manuals for Camlp4
camlp56.11pre-processor-pretty-printer for ocaml
camomile0.8.5Camomile is a comprehensive Unicode library for OCaml.
cfg2.0.3OCaml library for manipulating context-free grammars
cmdliner0.9.4library for declarative definition of command line interfaces
cohttp0.11.2HTTP library for Lwt, Async and Mirage
comparelib109.60.00syntax extension to derive comparison functions from type representations
config-file1.2library used to manage the configuration file(s) of an application
core_kernel111.17.00Part of Jane Street’s Core library
cryptgps0.2.1cryptographic algorithms DES, 3DES, Blowfish
cryptokit1.9Cryptographic primitives
cstruct1.2.0access C structures via a camlp4 extension
csv1.3.3CSV library for OCaml
curl0.7.1Bindings for libcurl
custom_printf111.03.00Extension for printf format strings
cygwinpath0.1Translates cygwin paths to native Windows path
datalog0.5.1in-memory datalog implementation for OCaml
deriving-ocsigen0.6.2An extension for deriving functions from type declarations.
dolog0.5the dumb OCaml logger (lazy and optionally colorful)
dum1.0.1Dumper supporting cyclic values.
dyntype0.9.0syntax extension which makes OCaml types and values easier to manipulate programmatically
dypgen20120619dypgen is a GLR parser generator for Objective Caml, it is able to generate self-extensible parsers and extensible lexers for the parsers it produces.
easy-format1.0.2Indentation made easy(ier)
enumerate111.08.00Quotation expanders for enumerating finite types.
estring1.3Extension for string literals
expat0.9.1Bindings for the expat XML parser
extlib1.6.1User-supported Extended Standard Library
ezjsonm0.2.0An easy interface on top of the Jsonm library
faillib111.17.00Part of Jane Street’s Core library
fieldslib109.20.03OCaml record fields as first class values
fileutils0.4.5Library to provide pure OCaml functions to manipulate real file (POSIX like) and filename
findlib1.5.1The findlib/ocamlfind package manager
flexdll0.31flexdll emulates Unix-style dynamic linking on Win32
gapi-ocaml0.2.1A simple OCaml client for Google Services
gen0.2.1Iterators for OCaml, both restartable and consumable.
getopt20120615Parsing of command line arguments
herelib109.35.02Part of Jane Street’s Core library
inifiles1.2ini format config file parsing
integration1d0.4.1Integration of functions of one variable
ipaddr2.5.0IP (and MAC) address representation library
jsofocaml2.2Js_of_ocaml is a compiler of OCaml bytecode to Javascript
json1.0Data marshalling with JSON
jsonm0.9.1A non-blocking streaming JSON codec for OCaml
lablgl1.05OpenGL interface
lablgtk220131001An object-oriented interface to GTK2
lablgtk2-extras1.4useful libraries and modules for LablGtk2 applications
lambda-term1.6cross-platform library for manipulating the terminal
lazy-trie1.1.0Implementation of lazy prefix trees
lwt2.4.5Light-weight threading library
magic0.7.3binding for libmagic
menhir20140422A LR(1) parser generator for Objective Caml.
mikmatch_pcre1.0.7Pattern matching extended with regexps in Ocamllex syntax
monadlib0.1starter library for monads
mparser1.0.1monadic parser combinator library
mstruct1.3.0Mstruct is a thin mutable layer on top of cstruct
ocaml4.01.0The core of the OCaml system (compiler, runtime)
ocaml-data-notation0.0.11Store data using OCaml notation
ocaml-expect0.0.5Expect-like framework
ocaml-manual4.00The manual for OCaml
ocaml-src4.01.0OCaml sources (required for GODI builds)
ocaml-text0.7.1A library dealing with text as sequence of unicode characters.
ocamlgraph1.8.5ocamlgraph is a graph library for Objective Caml
ocamlmakefile6.37.0Generic Makefile to build OCaml projects
ocamlnet3.7.4base library for network protocols
ocamlnet-pcre3.7.4PCRE extension for ocamlnet
ocamlnet-ssl3.7.4SSL extension for ocamlnet
ocamlscript2.0.3native code scripts
ocamlsdl0.9.1SDL, the Simple Direct Layer for video, audio, input devices
ocp-build1.99.7betaProject manager for OCaml
ocp-indent1.4.1tool to indent OCaml programs
ocp-index1.0.1tool to index OCaml programs
ocplib-endian0.7read and write int16/32/64 from strings and bigarrays
odate0.5Date & Duration Library
omake0.9.8.6svnThe OMake Build System.
omd0.9.7a Markdown parser in OCaml
opam-installer1.1.1opam package manager installer
optcomp1.6optional compilation with cpp-like directives
optimization1d0.5.1Find extrema of 1D functions
orakuda1.2.0Perlish string literals in OCaml
ospec0.3.2Behavior-Driven Development tool for OCaml
ounit2.0.0Unit test framework for OCaml
pa_bench109.55.02Syntax extension for inline benchmarks
pa_do0.8.16Syntax extension to write arithmetic expressions
pa_monad_custom6.0.0Syntactic Sugar for Monads
pa_ounit109.53.02OCaml inline testing
pa_ovisitor1.0.0auto-generate visitor, folder, mapper from type definitions
pa_test111.08.00Quotation expander for assertions
pa_where0.4Backward declaration syntax
pcre7.1.0Perl Compatibility Regular Expressions
pgocaml2.1type-safe interface to PostgreSQL
pipebang110.01.00Syntax extension to transform x |! f into f x
planck2.1.1monadic parser combinator library
pomap3.0.3OCaml library for manipulating partially ordered maps
postgresql2.0.6PostgreSQL Bindings for OCaml
pxp1.2.4PXP is an advanced XML parser
qcheck0.2QuickCheck inspired property-based testing for OCaml
qtest2.0.1Quick Unit Tests for OCaml
re1.2.2Regular expressions
react1.1.0A module for functional reactive programming (FRP).
res4.0.4OCaml library for resizable arrays and strings
root1d0.3Find roots of 1D functions
rope0.5heavyweight strings
sequence0.4.1Simple and lightweight sequence abstract data type
sexplib111.17.00Automated S-expression conversion
sha1.9binding for SHA interface code in OCaml
should0.1.0Literate assertions
spotlib2.4.0Useful functions for OCaml programming used by @camlspotter
sqlite32.0.5Bindings for SQLite3 database clients
ssl0.4.7The Secure Socket Layer
stringext0.0.1Extra string functions for OCaml
textwrap0.1Text wrapping and filling library
tools3.0.37hgodi_console and other tools for GODI
tools-gui0.2.9a gtk based gui for godi_console
tophide1.0.1Hides toplevel values whose name starts with an underscore.
type_conv111.13.00Library factoring out common functionality for type converters.
typehashlib109.15.04Syntax extension for deriving typehash functions automatically
typerep111.17.00typerep is a library for runtime types
tyxml3.1.1A parser and printer for xml.
ucorelib0.2.0A light weight Unicode library for OCaml
uint1.1.1Unsigned ints for OCaml
ulex1.1Lexer generator with support for Unicode
uri1.7.0RFC3968 URI parsing library
utop1.12improved toplevel for OCaml
uucd2.0.0Unicode character database decoder for OCaml
uucp0.9.0Unicode character properties for OCaml
uuidm0.9.5An OCaml module for universally unique identifiers (UUIDs)
uunf0.9.3Unicode text normalization for OCaml
uutf0.9.3A non-blocking streaming Unicode codec for OCaml
variantslib109.15.03OCaml variants as first class values
webdav1.1Client for WebDAV
xml-light2.4minimal XML parser & pretty printer
xmlm1.2.0Streaming XML IO for OCaml
xstr0.2.1additional string functions
xstrp41.8camlp4 macros for inline expansion
yojson1.1.8JSON library succeeding to json-wheel
zarith1.2.1arithmetic operations over arbitrary-precision integers
zed1.3abstract engine for text edition
zip1.05Bindings for zlib