This library provides minimal support for Canonical S-expressions. Canonical S-expressions are a binary encoding of S-expressions that is super simple and well suited for communication between programs.

This library only provides a few helpers for simple applications. If you need more advanced support, such as parsing from more fancy input sources, you should consider copying the code of this library given how simple parsing S-expressions in canonical form is.

To avoid a dependency on a particular S-expression library, the only module of this library is parameterised by the type of S-expressions.

Uutf is a non-blocking streaming codec to decode and encode the UTF-8, UTF-16, UTF-16LE and UTF-16BE encoding schemes. It can efficiently work character by character without blocking on IO. Decoders perform character position tracking and support newline normalization.

Functions are also provided to fold over the characters of UTF encoded OCaml string values and to directly encode characters in OCaml Buffer.t values.

This package provides a deprecated logging component for ocaml lwt.

This package is a collection of ppx rewriters that generate hash functions from type exrpessions and definitions.

Merlin is an editor service that provides modern IDE features for OCaml. Emacs and Vim support is provided out-of-the-box. External contributors added support for Visual Studio Code, Sublime Text and Atom.

Generate modules from OCaml source files.

Cubicle is a model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems.

This package provides OCaml bindings to the Linux io_uring kernel IO interfaces.

Repository contents:

• client library, a merge of the Mirage and XCP ones

• server library

• server instance which runs under Unix with libxc

• server instance which runs on mirage.

The client and the server libraries have sets of unit-tests.

Unison is a file-synchronization tool. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

Uses a Mirage CLOCK to write timestamped log messages. It can also log only important messages to the console, while writing all received messages to a ring buffer which is displayed if an exception occurs. If tracing is enabled (via mirage-profile), it also writes each log message to the trace buffer.

Eio_main selects an appropriate backend (e.g. eio_linux or eio_luv), depending on your platform.

This library helps embed location information inside executables and libraries

The subset of textutils using only core_kernel and working in javascript.

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

This ppx extension is used for deriving a witness that a type is intended to be stable. In this context, stable means that the serialization format will never change. This allows programs running at different versions of the code to safely communicate.

These libraries provides access to low-level compiler interfaces and the standard higher-level merlin protocol.

Bindings providing OCaml support for the seminal Fast Fourier Transform library FFTW.

GNU Ocrad is an optical character recognition program based on a feature extraction method. It can read images in PBM, PGM or PPM formats and it produces text in 8-bit or UTF-8 formats.

Tesseract is an optical character recognition (OCR) engine with very high accuracy. It supports many languages, output text formatting, hOCR positional information and page layout analysis. Several image formats are supported through the Leptonica library. It can also detect whether text is monospaced or proportional. Support for the English language is included by default. To add support for more languages, the tesseract-ocr-tessdata-fast package should be installed.

This repository contains fast integer versions of trained models for the Tesseract OCR Engine.

gImageReader is a Qt front-end to Tesseract optical character recognition (OCR) software.

gImageReader supports automatic page layout detection but the user can also manually define and adjust the recognition regions. It is possible to import images from disk, scanning devices, clipboard and screenshots. gImageReader also supports multipage PDF documents. Recognized text is displayed directly next to the image and basic text editing including search/replace and removing of line breaks is possible. Spellchecking for the output text is also supported if the corresponding dictionaries are installed.

Zinnia is a simple, customizable and portable online hand recognition system based on Support Vector Machines. Zinnia simply receives user pen strokes as a sequence of coordinate data and outputs n-best characters sorted by SVM confidence. To keep portability, Zinnia doesn't have any rendering functionality. In addition to recognition, Zinnia provides training module that allows us to create any hand-written recognition systems with low-cost.

This package provides a library that implements the Sun/ONC RPC (remote procedure calls) protocol in a transport-independent manner. It supports both IPv4 and IPv6. ONC RPC is notably used by the network file system (NFS).