Search:
Search Results
dev-ml/qtest
Inline (Unit) Tests for OCaml
dev-ml/re
Regular expression library for OCaml
dev-ml/reason
Simple, fast & type safe language that leverages JavaScript and OCaml
dev-ml/record_builder
A library which provides traversal of records with an applicative
dev-ml/result
Compat result type
dev-ml/sedlex
An OCaml lexer generator for Unicode
dev-ml/seq
Compatibility package for the standard OCaml iterator type
dev-ml/sexp_pretty
S-expression pretty-printer
dev-ml/sexplib
Library for automated conversion of OCaml-values to and from S-expressions
dev-ml/sexplib0
Library for automated conversion of OCaml-values to and from S-expressions
dev-ml/spawn
Spawning sub-processes
dev-ml/spdx_licenses
A library providing a strict SPDX License Expression parser
dev-ml/splittable_random
PRNG that can be split into independent streams
dev-ml/stdio
Standard IO Library for OCaml
dev-ml/stdlib-shims
Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08
dev-ml/stringext
Extra string functions for OCaml
dev-ml/swhid_core
OCaml library to work with swhids
dev-ml/textutils
Text output utilities
dev-ml/textutils_kernel
Text output utilities
dev-ml/time_now
Reports the current time
dev-ml/timezone
Time-zone handling for OCaml
dev-ml/tiny_httpd
Minimal HTTP server with a small request router
dev-ml/trie
Strict impure trie tree
dev-ml/typerep
Library for creating runtime representation of OCaml types
dev-ml/tyxml
A library for building correct HTML and SVG documents
dev-ml/unidecode
Convert unicode strings into its ASCII representation
dev-ml/uopt
An [option]-like type that incurs no allocation
dev-ml/uri
An RFC3986 URI/URL parsing library
dev-ml/utop
Universal toplevel for OCaml
dev-ml/variantslib
OCaml variants as first class values
dev-ml/xdg
XDG Base Directory Specification
dev-ml/xml-light
Minimal Xml parser and printer for OCaml
dev-ml/yojson
JSON parsing and pretty-printing library for OCaml
dev-ml/zed
Abstract engine for text edition in OCaml
dev-ml/zmq
OCaml bindings for ZeroMQ 4.x
dev-ml/zmq-async
Async-aware bindings to ZMQ for OCaml
dev-ml/zmq-lwt
Lwt-aware bindings to ZMQ for OCaml
dev-tex/hevea
HeVeA is a quite complete and fast LaTeX to HTML translator
dev-tex/bibtex2html
A bibtex to HTML converter
dev-util/omake
Make replacement
dev-util/coccinelle
Program matching and transformation engine
dev-util/patdiff
Colored patience diffs with word-level refinement
net-misc/unison
Two-way cross-platform file synchronizer
net-p2p/mldonkey
Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface
sci-calculators/orpie
A fullscreen RPN calculator for the console
sci-mathematics/proverif
Cryptographic protocol verifier in the formal model
sci-mathematics/why3
Platform for deductive program verification
sci-mathematics/why3-for-spark
SPARK 2014 repository for the Why3 verification platform
sci-mathematics/alt-ergo
Automatic theorem prover
sci-mathematics/coq
Proof assistant written in O'Caml