gpo.zugaina.org

Search Portage & Overlays:
Search:

Search Results

Results: 1 - 50 of 145 Page:  1  2  3 
net-p2p/mldonkey
A multi-network P2P application written in Ocaml, with its own Gtk GUI, web and telnet interface
dev-ml/xml-light
Minimal Xml parser and printer for OCaml
sci-mathematics/frama-c
Framework for analysis of source codes written in C
net-misc/unison
Two-way cross-platform file synchronizer
dev-lang/ocaml
Fast modern type-inferring functional programming language descended from the ML family
dev-lang/confluence
Functional programming language for reactive system design
dev-util/omake
Make replacement
sci-mathematics/coq
Proof assistant written in O'Caml
app-text/active-dvi
A DVI previewer and a presenter for slides written in LaTeX
dev-ml/postgresql-ocaml
A package for ocaml that provides access to PostgreSQL databases
dev-ml/camlzip
Compressed file access ML library (ZIP, GZIP and JAR)
dev-ml/facile
An OCaml constraint programming library on integer & integer set finite domains
dev-ml/pxp
validating XML parser library for O'Caml
dev-ml/ocamlnet
Modules for OCaml application-level Internet protocols
dev-ml/lablgtk
Objective CAML interface for Gtk+2
dev-ml/camomile
Camomile is a comprehensive Unicode library for ocaml
dev-ml/pomap
Partially Ordered Map ADT for O'Caml
dev-ml/ulex
A lexer generator for unicode
dev-ml/lablgl
Objective CAML interface for OpenGL
dev-ml/camlp5
A preprocessor-pretty-printer of ocaml
dev-ml/findlib
OCaml tool to find/use non-standard packages
dev-ml/cryptokit
Cryptographic primitives library for Objective Caml
dev-ml/ocaml-sqlite3
A package for ocaml that provides access to SQLite databases
dev-ml/ounit
Unit testing framework for OCaml
dev-ml/ANSITerminal
Module which offers basic control of ANSI compliant terminals
dev-ml/ocamlsdl
OCaml SDL Bindings
dev-ml/pcre-ocaml
Perl Compatibility Regular Expressions for O'Caml
dev-ml/ocamlgraph
A graph library for Objective Caml
dev-ml/res
Resizable Array and Buffer modules for O'Caml
dev-ml/ocaml-mysql
A package for ocaml that provides access to mysql databases
dev-ml/ocaml-expat
OCaml bindings for expat
dev-ml/lwt
Cooperative light-weight thread library for OCaml
dev-tex/hevea
HeVeA is a quite complete and fast LaTeX to HTML translator
dev-tex/bibtex2html
A bibtex to HTML converter
app-misc/geneweb
Genealogy software program with a Web interface
app-misc/ledit
A line editor to be used with interactive commands
dev-ml/type-conv
Mini library required for some other preprocessing libraries
dev-ml/react
OCaml module for functional reactive programming
sci-misc/flashdot
Generator for psychophysical experiments
dev-util/coccinelle
Program matching and transformation engine
dev-ml/extlib
Standard library extensions for O'Caml
dev-ml/gd4o
OCaml interface to the GD graphics library
dev-ml/cppo
An equivalent of the C preprocessor for OCaml programs
dev-ml/gsl-ocaml
OCaml bindings for the GSL library
dev-ml/zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers
dev-ml/menhir
LR(1) parser generator for the OCaml language
dev-ml/ocaml-text
Library for dealing with 'text'
dev-ml/xmlm
Ocaml XML manipulation module
app-text/htmlc
HTML template files expander
app-text/llpp
graphical PDF viewer which aims to superficially resemble less(1)
Results: 1 - 50 of 145 Page:  1  2  3