Search:
Search Results
dev-ml/batteries
A community-maintained standard library extension
dev-ml/gen
Iterators for OCaml, both restartable and consumable
dev-ml/sedlex
An OCaml lexer generator for Unicode
dev-lang/haxe
Multi-target universal programming language
dev-ml/ocaml-process
Easy process control for OCaml
dev-ml/ocaml-stdint
Signed and unsigned integer types having specified widths
dev-ml/ptmap
Maps of integers implemented as Patricia trees
dev-ml/fix
Facilities for memoization and fixed points
dev-ml/charinfo_width
Determine column width for a character
dev-ml/lwt_log
Cooperative light-weight thread library for OCaml
dev-ml/mew
General modal editing engine generator
dev-ml/mew_vi
A vi-like modal editing engine generator
dev-ml/qcheck
QuickCheck inspired property-based testing for OCaml
dev-ml/qtest
Inline (Unit) Tests for OCaml
dev-ml/trie
Strict impure trie tree
dev-ml/zed
Abstract engine for text edition in OCaml
dev-ml/lambda-term
Terminal manipulation library for OCaml
dev-ml/reason
Simple, fast & type safe language that leverages JavaScript and OCaml
dev-ml/utop
Universal toplevel for OCaml
dev-lang/fstar
Verification system for effectful programs
dev-ml/dune-build-info
Embed locations informations inside executable and libraries
dev-ml/dune-site
Embed locations informations inside executable and libraries
dev-ml/ocaml-inifiles
A small OCaml library to read and write .ini files
sci-mathematics/easycrypt
Computer-Aided Cryptographic Proofs
dev-ml/ppx_import
A syntax extension for importing declarations from interface files
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
dev-ml/memtrace
Streaming client for OCaml's Memprof
dev-ml/ocaml-inotify
OCaml bindings for inotify
dev-ml/ocaml-lilv
OCaml bindings to lilv
dev-ml/ocaml-mem_usage
Cross-platform memory usage information
dev-ml/ocaml-posix
OCaml bindings for posix sockets
dev-ml/ocaml-srt
OCaml bindings for Secure, Reliable, Transport protocol library
dev-ml/ocaml-unix-errno
Unix errno types, maps, and support for OCaml
dev-ml/tsdl
Thin bindings to SDL for OCaml
dev-ml/curses
Bindings to ncurses
sci-misc/ocamorph
Hungarian morphological analyser written in ocaml
dev-ml/camlp-streams
Stream and Genlex libraries for use with Camlp4 and Camlp5
dev-ml/bheap
OCaml binary heap implementation by Jean-Christophe Filliatre
dev-ml/bigstringaf
Bigstring intrinsics and fast blits based on memcpy/memmove
dev-ml/domain-name
RFC 1035 Internet domain names
dev-ml/cstruct
Access C-like structures directly from OCaml
dev-ml/lwt-dllist
Mutable doubly-linked list with Lwt iterators
dev-ml/pecu
Implementation of quoted-printable encoder/decoder from RFC2045
dev-ml/ptime
POSIX time for OCaml
dev-ml/stringext
Extra string functions for OCaml
dev-ml/tyxml
A library for building correct HTML and SVG documents
dev-ml/cdrom
Query the state and contents of CDROM devices under Linux
dev-ml/core_unix
Unix-specific portions of Core
dev-ml/crowbar
Write tests, let a fuzzer find failing cases
dev-ml/expect_test_helpers_core
Helpers for writing expectation tests