gpo.zugaina.org

Search Portage & Overlays:
Search:

Search Results

Results: 1 - 50 of 238 Page:  1  2  3  4  5 
net-p2p/mldonkey
Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface
dev-ml/xml-light
Minimal Xml parser and printer for OCaml
app-accessibility/brltty
Daemon that provides access to the Linux/Unix console for a blind person
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
Type-inferring functional programming language descended from the ML family
dev-util/omake
Make replacement
sci-mathematics/coq
Proof assistant written in O'Caml
dev-ml/camlimages
An image manipulation library for ocaml
dev-ml/camlzip
Compressed file access ML library (ZIP, GZIP and JAR)
dev-ml/facile
OCaml constraint programming library on integer & integer set finite domains
dev-ml/ocamlnet
Modules for OCaml application-level Internet protocols
dev-ml/ocurl
OCaml interface to the libcurl library
dev-ml/lablgtk
Objective CAML interface for Gtk+2
dev-ml/ocaml-ssl
OCaml bindings for OpenSSL
dev-ml/camomile
Camomile is a comprehensive Unicode library for ocaml
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
SQLite3 bindings for OCaml
dev-ml/ocamlsdl
OCaml SDL Bindings
dev-ml/pcre-ocaml
Perl Compatibility Regular Expressions for O'Caml
dev-ml/ocamlgraph
O'Caml Graph library
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/sexplib
Library for automated conversion of OCaml-values to and from S-expressions
dev-ml/fieldslib
Folding over record fields
dev-ml/core
Jane Street's alternative to the standard library
sci-misc/flashdot
Generator for psychophysical experiments
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
Arithmetic and logic operations over arbitrary-precision integers
dev-ml/menhir
LR(1) parser generator for the OCaml language
app-text/htmlc
HTML template files expander
app-text/llpp
Graphical PDF viewer which aims to superficially resemble less(1)
dev-ml/ocaml-gettext
Provides support for internationalization of OCaml program
dev-ml/ocaml-fileutils
Pure OCaml functions to manipulate real file (POSIX like) and filename
dev-ml/variantslib
OCaml variants as first class values
dev-lang/teyjus
Higher-order logic programming language Lambda Prolog
sci-mathematics/alt-ergo
Automatic theorem prover
dev-ml/async
Jane Street Capital's asynchronous execution library
dev-ml/async_extra
Jane Street Capital's asynchronous execution library (extra)
dev-ml/async_unix
Jane Street Capital's asynchronous execution library (unix)
Results: 1 - 50 of 238 Page:  1  2  3  4  5