gpo.zugaina.org

Search Portage & Overlays:
Search:

Search Results

Results: 1 - 50 of 184 Page:  1  2  3  4 
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 (digital logic, hard-real-time software)
dev-util/omake
Make replacement
dev-scheme/schoca
Schoca is a Scheme implementation in OCaml
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
A constraint programming library on integer and integer set finite domains written in OCaml
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/bin-prot
A binary protocol generator
dev-ml/type-conv
Mini library required for some other preprocessing libraries
dev-ml/sexplib
Library for automated conversion of OCaml-values to and from S-expressions
dev-ml/react
OCaml module for functional reactive programming
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-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/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
Results: 1 - 50 of 184 Page:  1  2  3  4