diff --git a/dev-ml/afl-persistent/metadata.xml b/dev-ml/afl-persistent/metadata.xml index f3e866eb3c..7397a6b77a 100644 --- a/dev-ml/afl-persistent/metadata.xml +++ b/dev-ml/afl-persistent/metadata.xml @@ -6,7 +6,15 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + afl-fuzz normally works by repeatedly fork()ing the program being +tested. using this package, you can run afl-fuzz in 'persistent mode', +which avoids repeated forking and is much faster. + https://github.com/stedolan/ocaml-afl-persistent/issues stedolan/ocaml-afl-persistent + + Stephen Dolan + stephen.dolan@cl.cam.ac.uk + diff --git a/dev-ml/alcotest-lwt/metadata.xml b/dev-ml/alcotest-lwt/metadata.xml index 0a1af60ecf..509b2891cd 100644 --- a/dev-ml/alcotest-lwt/metadata.xml +++ b/dev-ml/alcotest-lwt/metadata.xml @@ -1,4 +1,4 @@ - + @@ -7,6 +7,12 @@ Alessandro Barbieri + https://mirage.github.io/alcotest + https://github.com/mirage/alcotest/issues mirage/alcotest + + Thomas Gazagnaire + thomas@gazagnaire.org + diff --git a/dev-ml/angstrom/metadata.xml b/dev-ml/angstrom/metadata.xml index 8afdb71fe6..0387e67e7b 100644 --- a/dev-ml/angstrom/metadata.xml +++ b/dev-ml/angstrom/metadata.xml @@ -6,12 +6,24 @@ lssndrbarbieri@gmail.com Alessandro Barbieri - - inhabitedtype/angstrom - Async support for Angstrom Lwt_unix support for Angstrom Unix support for Angstrom + Angstrom is a parser-combinator library that makes it easy to write efficient, +expressive, and reusable parsers suitable for high-performance applications. It +exposes monadic and applicative interfaces for composition, and supports +incremental input through buffered and unbuffered interfaces. Both interfaces +give the user total control over the blocking behavior of their application, +with the unbuffered interface enabling zero-copy IO. Parsers are backtracking by +default and support unbounded lookahead. + + https://github.com/inhabitedtype/angstrom/issues + inhabitedtype/angstrom + + Spiros Eliopoulos + spiros@inhabitedtype.com + + diff --git a/dev-ml/arp/metadata.xml b/dev-ml/arp/metadata.xml index 6aae058a5e..a48df8ac96 100644 --- a/dev-ml/arp/metadata.xml +++ b/dev-ml/arp/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/arp - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + ARP is an implementation of the address resolution protocol (RFC826) purely in +OCaml. It handles IPv4 protocol addresses and Ethernet hardware addresses only. + + https://mirage.github.io/arp/ + https://github.com/mirage/arp/issues + mirage/arp + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/asn1-combinators/metadata.xml b/dev-ml/asn1-combinators/metadata.xml index 730bfe343c..3b78ec8d7b 100644 --- a/dev-ml/asn1-combinators/metadata.xml +++ b/dev-ml/asn1-combinators/metadata.xml @@ -1,12 +1,24 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirleft/ocaml-asn1-combinators - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + asn1-combinators is a library for expressing ASN.1 in OCaml. Skip the notation +part of ASN.1, and embed the abstract syntax directly in the language. These +abstract syntax representations can be used for parsing, serialization, or +random testing. + +The only ASN.1 encodings currently supported are BER and DER. + + https://mirleft.github.io/ocaml-asn1-combinators/doc + https://github.com/mirleft/ocaml-asn1-combinators/issues + mirleft/ocaml-asn1-combinators + + David Kaloper Meršinjak + dk505@cam.ac.uk + + diff --git a/dev-ml/async_find/metadata.xml b/dev-ml/async_find/metadata.xml index caace9866f..b822a37506 100644 --- a/dev-ml/async_find/metadata.xml +++ b/dev-ml/async_find/metadata.xml @@ -1,11 +1,13 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - janestreet/async_find - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://ocaml.janestreet.com/ocaml-core/latest/doc/async_find/index.html + https://github.com/janestreet/async_find/issues + janestreet/async_find + diff --git a/dev-ml/async_inotify/metadata.xml b/dev-ml/async_inotify/metadata.xml index 53514bc6d4..4b2cc03dbc 100644 --- a/dev-ml/async_inotify/metadata.xml +++ b/dev-ml/async_inotify/metadata.xml @@ -1,11 +1,13 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - janestreet/async_inotify - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://ocaml.janestreet.com/ocaml-core/latest/doc/async_inotify/index.html + https://github.com/janestreet/async_inotify/issues + janestreet/async_inotify + diff --git a/dev-ml/async_ssl/metadata.xml b/dev-ml/async_ssl/metadata.xml index 0c01f14467..779ff9d7a9 100644 --- a/dev-ml/async_ssl/metadata.xml +++ b/dev-ml/async_ssl/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,7 +6,11 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + This library allows you to create an SSL client and server, with +encrypted communication between both. + https://ocaml.janestreet.com/ocaml-core/latest/doc/async_ssl/index.html + https://github.com/janestreet/async_ssl/issues janestreet/async_ssl diff --git a/dev-ml/bheap/metadata.xml b/dev-ml/bheap/metadata.xml index 35f91fbce6..9c422a5a15 100644 --- a/dev-ml/bheap/metadata.xml +++ b/dev-ml/bheap/metadata.xml @@ -1,11 +1,17 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - backtracking/bheap - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://backtracking.github.io/bheap + https://github.com/backtracking/bheap/issues + backtracking/bheap + + Jean-Christophe Filliâtre + Jean-Christophe.Filliatre@lri.fr + + diff --git a/dev-ml/bigstringaf/metadata.xml b/dev-ml/bigstringaf/metadata.xml index 66a4dd2514..6449daf15a 100644 --- a/dev-ml/bigstringaf/metadata.xml +++ b/dev-ml/bigstringaf/metadata.xml @@ -6,7 +6,21 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + Bigstring intrinsics and fast blits based on memcpy/memmove + +The OCaml compiler has a bunch of intrinsics for Bigstrings, but they're not +widely-known, sometimes misused, and so programs that use Bigstrings are slower +than they have to be. And even if a library got that part right and exposed the +intrinsics properly, the compiler doesn't have any fast blits between +Bigstrings and other string-like types. + +So here they are. Go crazy. + https://github.com/inhabitedtype/bigstringaf/issues inhabitedtype/bigstringaf + + Spiros Eliopoulos + spiros@inhabitedtype.com + diff --git a/dev-ml/ca-certs-nss/metadata.xml b/dev-ml/ca-certs-nss/metadata.xml index 236246213e..86289ee076 100644 --- a/dev-ml/ca-certs-nss/metadata.xml +++ b/dev-ml/ca-certs-nss/metadata.xml @@ -6,6 +6,12 @@ Alessandro Barbieri + https://mirage.github.io/ca-certs-nss/doc + https://github.com/mirage/ca-certs-nss/issues mirage/ca-certs-nss + + Hannes Mehnert + hannes@mehnert.org + diff --git a/dev-ml/ca-certs/metadata.xml b/dev-ml/ca-certs/metadata.xml index 0ecf89340e..6a878ac37e 100644 --- a/dev-ml/ca-certs/metadata.xml +++ b/dev-ml/ca-certs/metadata.xml @@ -6,7 +6,16 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + TLS requires a set of root anchors (Certificate Authorities) to +authenticate servers. This library exposes this list so that it can be +registered with ocaml-tls. + https://mirage.github.io/ca-certs/doc + https://github.com/mirage/ca-certs/issues mirage/ca-certs + + Etienne Millon + me@emillon.org + diff --git a/dev-ml/cdrom/metadata.xml b/dev-ml/cdrom/metadata.xml index cb2143979a..7987c6c743 100644 --- a/dev-ml/cdrom/metadata.xml +++ b/dev-ml/cdrom/metadata.xml @@ -1,11 +1,12 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/cdrom - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/xapi-project/cdrom/issues + xapi-project/cdrom + diff --git a/dev-ml/cohttp/metadata.xml b/dev-ml/cohttp/metadata.xml index 49177d5b3c..663a78f003 100644 --- a/dev-ml/cohttp/metadata.xml +++ b/dev-ml/cohttp/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,9 +6,6 @@ lssndrbarbieri@gmail.com Alessandro Barbieri - - mirage/ocaml-cohttp - CoHTTP implementation for the Async concurrency library Benchmarks binaries for Cohttp @@ -22,4 +19,28 @@ Lightweight Cohttp plus Lwt based HTTP server CoHTTP toplevel pretty printers for HTTP types + Cohttp is an OCaml library for creating HTTP daemons. It has a portable +HTTP parser, and implementations using various asynchronous programming +libraries. + +See the cohttp-async, cohttp-lwt, cohttp-lwt-unix, cohttp-lwt-jsoo and +cohttp-mirage libraries for concrete implementations for particular +targets. + +You can implement other targets using the parser very easily. Look at the `IO` +signature in `lib/s.mli` and implement that in the desired backend. + +You can activate some runtime debugging by setting `COHTTP_DEBUG` to any +value, and all requests and responses will be written to stderr. Further +debugging of the connection layer can be obtained by setting `CONDUIT_DEBUG` +to any value. + + https://mirage.github.io/ocaml-cohttp/ + https://github.com/mirage/ocaml-cohttp/issues + mirage/ocaml-cohttp + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/conduit/metadata.xml b/dev-ml/conduit/metadata.xml index 818fe748bb..5666346a7b 100644 --- a/dev-ml/conduit/metadata.xml +++ b/dev-ml/conduit/metadata.xml @@ -1,17 +1,42 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-conduit - - - A network connection establishment library for Async - A portable network connection establishment library using Lwt - A network connection establishment library for Lwt_unix - A network connection establishment library for MirageOS - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + A network connection establishment library for Async + A portable network connection establishment library using Lwt + A network connection establishment library for Lwt_unix + A network connection establishment library for MirageOS + + The `conduit` library takes care of establishing and listening for +TCP and SSL/TLS connections for the Lwt and Async libraries. + +The reason this library exists is to provide a degree of abstraction +from the precise SSL library used, since there are a variety of ways +to bind to a library (e.g. the C FFI, or the Ctypes library), as well +as well as which library is used (just OpenSSL for now). + +By default, OpenSSL is used as the preferred connection library, but +you can force the use of the pure OCaml TLS stack by setting the +environment variable `CONDUIT_TLS=native` when starting your program. + +The useful opam packages available that extend this library are: + +- `conduit`: the main `Conduit` module +- `conduit-lwt`: the portable Lwt implementation +- `conduit-lwt-unix`: the Lwt/Unix implementation +- `conduit-async` the Jane Street Async implementation +- `conduit-mirage`: the MirageOS compatible implementation + + https://mirage.github.io/ocaml-conduit/ + https://github.com/mirage/ocaml-conduit/issues + mirage/ocaml-conduit + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/configurator/metadata.xml b/dev-ml/configurator/metadata.xml index 666c314ee5..8732967fc1 100644 --- a/dev-ml/configurator/metadata.xml +++ b/dev-ml/configurator/metadata.xml @@ -1,11 +1,21 @@ - + lssndrbarbieri@gmail.com Alessandro Barbieri + Configurator is a small library that helps writing OCaml scripts that +test features available on the system, in order to generate config.h +files for instance. + +Configurator allows one to: +- test if a C program compiles +- query pkg-config +- import #define from OCaml header files +- generate config.h file + https://github.com/janestreet/configurator/issues janestreet/configurator diff --git a/dev-ml/core_unix/metadata.xml b/dev-ml/core_unix/metadata.xml index 8551609050..5cee9e0baa 100644 --- a/dev-ml/core_unix/metadata.xml +++ b/dev-ml/core_unix/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,6 +6,8 @@ Alessandro Barbieri + https://ocaml.janestreet.com/ocaml-core/latest/doc/core_unix/index.html + https://github.com/janestreet/core_unix/issues janestreet/core_unix diff --git a/dev-ml/cow/metadata.xml b/dev-ml/cow/metadata.xml index 06464e3692..4b9daf2fe9 100644 --- a/dev-ml/cow/metadata.xml +++ b/dev-ml/cow/metadata.xml @@ -1,11 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-cow - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + Writing web-applications requires a lot of skills: HTML, XML, JSON and +Markdown, to name but a few! This library provides OCaml combinators +for these web formats. + + http://mirage.github.io/ocaml-cow/ + https://github.com/mirage/ocaml-cow/issues + mirage/ocaml-cow + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/crc/metadata.xml b/dev-ml/crc/metadata.xml index 7853df327d..2bbaad06fa 100644 --- a/dev-ml/crc/metadata.xml +++ b/dev-ml/crc/metadata.xml @@ -1,11 +1,12 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/ocaml-crc - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/xapi-project/ocaml-crc/issues + xapi-project/ocaml-crc + diff --git a/dev-ml/crowbar/metadata.xml b/dev-ml/crowbar/metadata.xml index ef71756ba3..af0b0000fb 100644 --- a/dev-ml/crowbar/metadata.xml +++ b/dev-ml/crowbar/metadata.xml @@ -6,7 +6,15 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + Crowbar is a library for testing code, combining QuickCheck-style +property-based testing and the magical bug-finding powers of +[afl-fuzz](http://lcamtuf.coredump.cx/afl/). + https://github.com/stedolan/crowbar/issues stedolan/crowbar + + Stephen Dolan + stephen.dolan@cl.cam.ac.uk + diff --git a/dev-ml/cstruct/metadata.xml b/dev-ml/cstruct/metadata.xml index 0f3f50ae21..08687284a9 100644 --- a/dev-ml/cstruct/metadata.xml +++ b/dev-ml/cstruct/metadata.xml @@ -1,19 +1,28 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-cstruct - - - provide Async Pipe and Bigstring support - provide Lwt variants of read/write functions - a PPX syntax extension - serialisers into s-expression format of Cstructs - provide Unix variations of the read/write functions using file descriptors - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + provide Async Pipe and Bigstring support + provide Lwt variants of read/write functions + a PPX syntax extension + serialisers into s-expression format of Cstructs + provide Unix variations of the read/write functions using file descriptors + + Cstruct is a library and syntax extension to make it easier to access C-like +structures directly from OCaml. It supports both reading and writing to these +structures, and they are accessed via the `Bigarray` module. + + https://mirage.github.io/ocaml-cstruct/ + https://github.com/mirage/ocaml-cstruct/issues + mirage/ocaml-cstruct + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/diet/metadata.xml b/dev-ml/diet/metadata.xml index 836835d2fd..360ef5b052 100644 --- a/dev-ml/diet/metadata.xml +++ b/dev-ml/diet/metadata.xml @@ -1,11 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-diet - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This data structure is based on the +[Functional Pearls: Diets for Fat Sets](https://web.engr.oregonstate.edu/~erwig/papers/Diet_JFP98.pdf) +by Martin Erwig. + + https://mirage.github.io/ocaml-diet/ + https://github.com/mirage/ocaml-diet/issues + mirage/ocaml-diet + + David Scott + dave@recoil.org + + diff --git a/dev-ml/dns/metadata.xml b/dev-ml/dns/metadata.xml index 57d04d4a5c..e49cb457de 100644 --- a/dev-ml/dns/metadata.xml +++ b/dev-ml/dns/metadata.xml @@ -1,23 +1,37 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-dns - - - MirageOS let's encrypt certificate retrieval - Unix command line utilities using uDNS - DNS resolver API - DNSSec support for OCaml-DNS - An opinionated Domain Name System (DNS) library - DNS resolver business logic - DNS server, primary and secondary - DNS stub resolver - TSIG support for DNS - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + MirageOS let's encrypt certificate retrieval + Unix command line utilities using uDNS + DNS resolver API + DNSSec support for OCaml-DNS + An opinionated Domain Name System (DNS) library + DNS resolver business logic + DNS server, primary and secondary + DNS stub resolver + TSIG support for DNS + + µDNS supports most of the domain name system used in the wild. It adheres to +strict conventions. Failing early and hard. It is mostly implemented in the +pure fragment of OCaml (no mutation, isolated IO, no exceptions). + +Legacy resource record types are not dealt with, and there is no plan to support +`ISDN`, `MAILA`, `MAILB`, `WKS`, `MB`, `NULL`, `HINFO`, ... . `AXFR` is only +handled via TCP connections. The only resource class supported is `IN` (the +Internet). Truncated hmac in `TSIG` are not supported (always the full length +of the hash algorithm is used). + +Please read [the blog article](https://hannes.nqsb.io/Posts/DNS) for a more +detailed overview. + + https://mirage.github.io/ocaml-dns/ + https://github.com/mirage/ocaml-dns/issues + mirage/ocaml-dns + diff --git a/dev-ml/domain-name/metadata.xml b/dev-ml/domain-name/metadata.xml index 9d8dba8df9..9df790c3ac 100644 --- a/dev-ml/domain-name/metadata.xml +++ b/dev-ml/domain-name/metadata.xml @@ -1,12 +1,24 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - hannesm/domain-name - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + A domain name is a sequence of labels separated by dots, such as `foo.example`. +Each label may contain any bytes. The length of each label may not exceed 63 +charactes. The total length of a domain name is limited to 253 (byte +representation is 255), but other protocols (such as SMTP) may apply even +smaller limits. A domain name label is case preserving, comparison is done in a +case insensitive manner. + + https://hannesm.github.io/domain-name/doc + https://github.com/hannesm/domain-name/issues + hannesm/domain-name + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/emile/metadata.xml b/dev-ml/emile/metadata.xml index a1a030d7ab..fc8d09944e 100644 --- a/dev-ml/emile/metadata.xml +++ b/dev-ml/emile/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/emile - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + A parser of email address according RFC822, RFC2822, RFC5321 and RFC6532. +It handles UTF-8 email addresses and encoded-word according RFC2047. + + https://dinosaure.github.io/emile/ + https://github.com/dinosaure/emile/issues + dinosaure/emile + + Romain Calascibetta + romain.calascibetta@gmail.com + + diff --git a/dev-ml/eqaf/metadata.xml b/dev-ml/eqaf/metadata.xml index fbe05ef42f..b7de0410ec 100644 --- a/dev-ml/eqaf/metadata.xml +++ b/dev-ml/eqaf/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,7 +6,14 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + This package provides an equal function on string in constant-time to avoid timing-attack with crypto stuff. + https://mirage.github.io/eqaf/ + https://github.com/mirage/eqaf/issues mirage/eqaf + + Romain Calascibetta + romain.calascibetta@gmail.com + diff --git a/dev-ml/ethernet/metadata.xml b/dev-ml/ethernet/metadata.xml index e23736c96c..952d79ff4e 100644 --- a/dev-ml/ethernet/metadata.xml +++ b/dev-ml/ethernet/metadata.xml @@ -1,11 +1,16 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ethernet - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + `ethernet` provides an [Ethernet](https://en.wikipedia.org/wiki/Ethernet) +(specified by IEEE 802.3) layer implementation for the +[Mirage operating system](https://mirage.io). + + https://mirage.github.io/ethernet/ + https://github.com/mirage/ethernet/issues + mirage/ethernet + diff --git a/dev-ml/expect_test_helpers/metadata.xml b/dev-ml/expect_test_helpers/metadata.xml index a3344688f1..37880b36ae 100644 --- a/dev-ml/expect_test_helpers/metadata.xml +++ b/dev-ml/expect_test_helpers/metadata.xml @@ -6,7 +6,13 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + This library provides helper functions for writing expect tests. + +Note that this library uses Async, for helpers that don't use Async, +look at expect_test_helpers_kernel. + https://ocaml.janestreet.com/ocaml-core/latest/doc/expect_test_helpers/index.html + https://github.com/janestreet/expect_test_helpers/issues janestreet/expect_test_helpers diff --git a/dev-ml/expect_test_helpers_core/metadata.xml b/dev-ml/expect_test_helpers_core/metadata.xml index 5eda91b647..b63296e94f 100644 --- a/dev-ml/expect_test_helpers_core/metadata.xml +++ b/dev-ml/expect_test_helpers_core/metadata.xml @@ -6,7 +6,13 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + This library provides helper functions for writing expect tests. + +If you want helpers for writing expect tests using the Async library, +look at expect_test_helpers_async. + https://ocaml.janestreet.com/ocaml-core/latest/doc/expect_test_helpers_core/index.html + https://github.com/janestreet/expect_test_helpers_core/issues janestreet/expect_test_helpers_core diff --git a/dev-ml/expect_test_helpers_kernel/metadata.xml b/dev-ml/expect_test_helpers_kernel/metadata.xml index fd41099998..43b6393fb9 100644 --- a/dev-ml/expect_test_helpers_kernel/metadata.xml +++ b/dev-ml/expect_test_helpers_kernel/metadata.xml @@ -6,7 +6,13 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + This library provides helper functions for writing expect tests. + +If you want helpers for writing expect tests using the Async library, +look at expect_test_helpers. + https://ocaml.janestreet.com/ocaml-core/latest/doc/expect_test_helpers_kernel/index.html + https://github.com/janestreet/expect_test_helpers_kernel/issues janestreet/expect_test_helpers_kernel diff --git a/dev-ml/ezjsonm/metadata.xml b/dev-ml/ezjsonm/metadata.xml index a9cdbcbd46..f91fa129fd 100644 --- a/dev-ml/ezjsonm/metadata.xml +++ b/dev-ml/ezjsonm/metadata.xml @@ -1,15 +1,28 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ezjsonm - - - Simple Lwt-based interface to the Jsonm JSON library - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Simple Lwt-based interface to the Jsonm JSON library + + Ezjsonm provides more convenient (but far less flexible) +input and output functions that go to and from `string` values. +This avoids the need to write signal code, which is useful for +quick scripts that manipulate JSON. + +More advanced users should go straight to the Jsonm library and +use it directly, rather than be saddled with the Ezjsonm interface. + + https://mirage.github.io/ezjsonm/ + https://github.com/mirage/ezjsonm/issues + mirage/ezjsonm + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/fd-send-recv/metadata.xml b/dev-ml/fd-send-recv/metadata.xml index c9f3e00010..bd08251264 100644 --- a/dev-ml/fd-send-recv/metadata.xml +++ b/dev-ml/fd-send-recv/metadata.xml @@ -1,11 +1,13 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/ocaml-fd-send-recv - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/xapi-project/ocaml-fd-send-recv/blob/master/lib/fd_send_recv.mli + https://github.com/xapi-project/ocaml-fd-send-recv/issues + xapi-project/ocaml-fd-send-recv + diff --git a/dev-ml/gmap/metadata.xml b/dev-ml/gmap/metadata.xml index f7c50c5687..9a86141a3f 100644 --- a/dev-ml/gmap/metadata.xml +++ b/dev-ml/gmap/metadata.xml @@ -1,12 +1,24 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - hannesm/gmap - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + Gmap exposes the functor `Make` which takes a key type (a +[GADT](https://en.wikipedia.org/wiki/Generalized_algebraic_data_type) 'a key) +and outputs a type-safe Map where each 'a key is associated with a 'a value. +This removes the need for additional packing. It uses OCaml's stdlib +[Map](http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html) data +structure. + + https://hannesm.github.io/gmap/doc + https://github.com/hannesm/gmap/issues + hannesm/gmap + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/happy-eyeballs/metadata.xml b/dev-ml/happy-eyeballs/metadata.xml index 50a217c443..4e2d981e7a 100644 --- a/dev-ml/happy-eyeballs/metadata.xml +++ b/dev-ml/happy-eyeballs/metadata.xml @@ -1,15 +1,22 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - roburio/happy-eyeballs - - - Connecting to a remote host via IP version 4 or 6 using Lwt_unix - Connecting to a remote host via IP version 4 or 6 using Mirage - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Connecting to a remote host via IP version 4 or 6 using Lwt_unix + Connecting to a remote host via IP version 4 or 6 using Mirage + + Happy eyeballs is an implementation of +[RFC 8305](https://datatracker.ietf.org/doc/html/rfc8305) which specifies how +to connect to a remote host using either IP protocol version 4 or IP protocol +version 6. This is the core of the algorithm in value passing style, with a +slick dependency cone. + + https://roburio.github.io/happy-eyeballs/ + https://github.com/roburio/happy-eyeballs/issues + roburio/happy-eyeballs + diff --git a/dev-ml/hex/metadata.xml b/dev-ml/hex/metadata.xml index d343e1f4e1..ce2e365636 100644 --- a/dev-ml/hex/metadata.xml +++ b/dev-ml/hex/metadata.xml @@ -1,12 +1,18 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-hex - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://mirage.github.io/ocaml-hex/ + https://github.com/mirage/ocaml-hex/issues + mirage/ocaml-hex + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/hkdf/metadata.xml b/dev-ml/hkdf/metadata.xml index 78153fde6a..c78a8cabda 100644 --- a/dev-ml/hkdf/metadata.xml +++ b/dev-ml/hkdf/metadata.xml @@ -1,12 +1,20 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - hannesm/ocaml-hkdf - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + An implementation of [HKDF](https://tools.ietf.org/html/rfc5869) using +[nocrypto](https://github.com/mirleft/ocaml-nocrypto). + + https://hannesm.github.io/ocaml-hkdf/doc + https://github.com/hannesm/ocaml-hkdf/issues + hannesm/ocaml-hkdf + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/inotify/metadata.xml b/dev-ml/inotify/metadata.xml index b420263b84..88413f94be 100644 --- a/dev-ml/inotify/metadata.xml +++ b/dev-ml/inotify/metadata.xml @@ -1,11 +1,13 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - whitequark/ocaml-inotify - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + http://whitequark.github.io/ocaml-inotify + https://github.com/whitequark/ocaml-inotify/issues + whitequark/ocaml-inotify + diff --git a/dev-ml/ipaddr/metadata.xml b/dev-ml/ipaddr/metadata.xml index edd708d239..86787e6422 100644 --- a/dev-ml/ipaddr/metadata.xml +++ b/dev-ml/ipaddr/metadata.xml @@ -1,18 +1,40 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-ipaddr - - - A library for manipulation of IP address representations using Cstructs - A library for manipulation of IP address representations using sexp - A library for manipulation of MAC address representations using Cstructs - A library for manipulation of MAC address representations using sexp - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + A library for manipulation of IP address representations using Cstructs + A library for manipulation of IP address representations using sexp + A library for manipulation of MAC address representations using Cstructs + A library for manipulation of MAC address representations using sexp + + Features: +* Depends only on sexplib (conditionalization under consideration) +* oUnit-based tests +* IPv4 and IPv6 support +* IPv4 and IPv6 CIDR prefix support +* IPv4 and IPv6 [CIDR-scoped address](http://tools.ietf.org/html/rfc4291#section-2.3) support +* `Ipaddr.V4` and `Ipaddr.V4.Prefix` modules are `Map.OrderedType` +* `Ipaddr.V6` and `Ipaddr.V6.Prefix` modules are `Map.OrderedType` +* `Ipaddr` and `Ipaddr.Prefix` modules are `Map.OrderedType` +* `Ipaddr_unix` in findlib subpackage `ipaddr.unix` provides compatibility with the standard library `Unix` module +* `Ipaddr_top` in findlib subpackage `ipaddr.top` provides top-level pretty printers (requires compiler-libs default since OCaml 4.0) +* IP address scope classification +* IPv4-mapped addresses in IPv6 (::ffff:0:0/96) are an embedding of IPv4 +* MAC-48 (Ethernet) address support +* `Macaddr` is a `Map.OrderedType` +* All types have sexplib serializers/deserializers + + https://mirage.github.io/ocaml-ipaddr/ + https://github.com/mirage/ocaml-ipaddr/issues + mirage/ocaml-ipaddr + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/js_of_ocaml/metadata.xml b/dev-ml/js_of_ocaml/metadata.xml index 28d8e7f626..05f2b40311 100644 --- a/dev-ml/js_of_ocaml/metadata.xml +++ b/dev-ml/js_of_ocaml/metadata.xml @@ -1,19 +1,22 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - ocsigen/js_of_ocaml - - - lwt support - a ppx syntax extension - ppx_deriving_json - lib and tools to build an ocaml toplevel to javascript - tyxml support - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + lwt support + a ppx syntax extension + ppx_deriving_json + lib and tools to build an ocaml toplevel to javascript + tyxml support + + Js_of_ocaml is a compiler from OCaml bytecode to JavaScript. It makes it possible to run pure OCaml programs in JavaScript environment like browsers and Node.js + + https://ocsigen.org/js_of_ocaml/latest/manual/overview + https://github.com/ocsigen/js_of_ocaml/issues + ocsigen/js_of_ocaml + diff --git a/dev-ml/lru/metadata.xml b/dev-ml/lru/metadata.xml index e7e365d7b1..defd874811 100644 --- a/dev-ml/lru/metadata.xml +++ b/dev-ml/lru/metadata.xml @@ -6,7 +6,15 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + Lru provides weight-bounded finite maps that can remove the least-recently-used +(LRU) bindings in order to maintain a weight constraint. + https://pqwy.github.io/lru/doc + https://github.com/pqwy/lru/issues pqwy/lru + + David Kaloper Meršinjak + dk505@cam.ac.uk + diff --git a/dev-ml/lwt-dllist/metadata.xml b/dev-ml/lwt-dllist/metadata.xml index f9b5363d59..484231ac32 100644 --- a/dev-ml/lwt-dllist/metadata.xml +++ b/dev-ml/lwt-dllist/metadata.xml @@ -1,11 +1,24 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/lwt-dllist - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + A sequence is an object holding a list of elements which support +the following operations: + +- adding an element to the left or the right in time and space O(1) +- taking an element from the left or the right in time and space O(1) +- removing a previously added element from a sequence in time and space O(1) +- removing an element while the sequence is being transversed. + + https://mirage.github.io/lwt-dllist/ + https://github.com/mirage/lwt-dllist/issues + mirage/lwt-dllist + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/magic-mime/metadata.xml b/dev-ml/magic-mime/metadata.xml index 42a4f93bd9..02a56e20f8 100644 --- a/dev-ml/magic-mime/metadata.xml +++ b/dev-ml/magic-mime/metadata.xml @@ -1,11 +1,30 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-magic-mime - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This library contains a database of MIME types that maps filename extensions +into MIME types suitable for use in many Internet protocols such as HTTP or +e-mail. It is generated from the `mime.types` file found in Unix systems, but +has no dependency on a filesystem since it includes the contents of the +database as an ML datastructure. + +For example, here's how to lookup MIME types in the [utop] REPL: + + #require "magic-mime";; + Magic_mime.lookup "/foo/bar.txt";; + - : bytes = "text/plain" + Magic_mime.lookup "bar.css";; + - : bytes = "text/css" + + https://mirage.github.io/ocaml-magic-mime/ + https://github.com/mirage/ocaml-magic-mime/issues + mirage/ocaml-magic-mime + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/metrics/metadata.xml b/dev-ml/metrics/metadata.xml index 4e8d5310f2..adaea289d7 100644 --- a/dev-ml/metrics/metadata.xml +++ b/dev-ml/metrics/metadata.xml @@ -1,18 +1,36 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/metrics - - - Influx reporter for the Metrics library - Lwt backend for the Metrics library - Resource usage (getrusage) sources for the Metrics library - Unix backend for the Metrics library - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Influx reporter for the Metrics library + Lwt backend for the Metrics library + Resource usage (getrusage) sources for the Metrics library + Unix backend for the Metrics library + + Metrics provides a basic infrastructure to monitor and gather runtime +metrics for OCaml program. Monitoring is performed on sources, indexed +by tags, allowing users to enable or disable at runtime the gathering +of data-points. As disabled metric sources have a low runtime cost +(only a closure allocation), the library is designed to instrument +production systems. + +Metric reporting is decoupled from monitoring and is handled by a +custom reporter. A few reporters are (will be) provided by default. + +Metrics is heavily inspired by +[Logs](http://erratique.ch/software/logs). + + https://mirage.github.io/metrics/ + https://github.com/mirage/metrics/issues + mirage/metrics + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/mirage-block-unix/metadata.xml b/dev-ml/mirage-block-unix/metadata.xml index e0c0fc9945..9db2eb0a38 100644 --- a/dev-ml/mirage-block-unix/metadata.xml +++ b/dev-ml/mirage-block-unix/metadata.xml @@ -1,11 +1,21 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-block-unix - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + Unix implementation of the Mirage `BLOCK_DEVICE` interface. + +This module provides raw I/O to files and block devices with as little +caching as possible. + + https://mirage.github.io/mirage-block-unix/ + https://github.com/mirage/mirage-block-unix/issues + mirage/mirage-block-unix + + David Scott + dave@recoil.org + + diff --git a/dev-ml/mirage-block/metadata.xml b/dev-ml/mirage-block/metadata.xml index f1b9cef231..e92ec5d71a 100644 --- a/dev-ml/mirage-block/metadata.xml +++ b/dev-ml/mirage-block/metadata.xml @@ -1,14 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-block - - - Build the package specialised to the Lwt concurrency library for IO - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Build the package specialised to the Lwt concurrency library for IO + + + https://mirage.github.io/mirage-block/ + https://github.com/mirage/mirage-block/issues + mirage/mirage-block + + David Scott + dave@recoil.org + + diff --git a/dev-ml/mirage-clock-unix/metadata.xml b/dev-ml/mirage-clock-unix/metadata.xml index 5c0849326b..005a1def71 100644 --- a/dev-ml/mirage-clock-unix/metadata.xml +++ b/dev-ml/mirage-clock-unix/metadata.xml @@ -1,12 +1,21 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-clock - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + The Unix implementation of the MirageOS Clock interface uses +`gettimeofday` or `clock_gettime`, depending on +which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)). + + https://mirage.github.io/mirage-clock/ + https://github.com/mirage/mirage-clock/issues + mirage/mirage-clock + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/mirage-crypto/metadata.xml b/dev-ml/mirage-crypto/metadata.xml index e05bee98be..30ca9c803c 100644 --- a/dev-ml/mirage-crypto/metadata.xml +++ b/dev-ml/mirage-crypto/metadata.xml @@ -1,19 +1,27 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-crypto - - - Elliptic Curve Cryptography with primitives taken from Fiat - Simple public-key cryptography for the modern age - A cryptographically secure PRNG - Feed the entropy source in an Async-friendly way - Entropy collection for a cryptographically secure PRNG - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Elliptic Curve Cryptography with primitives taken from Fiat + Simple public-key cryptography for the modern age + A cryptographically secure PRNG + Feed the entropy source in an Async-friendly way + Entropy collection for a cryptographically secure PRNG + + Mirage-crypto provides symmetric ciphers (DES, AES, RC4, ChaCha20/Poly1305), and +hashes (MD5, SHA-1, SHA-2). + + https://mirage.github.io/mirage-crypto/doc + https://github.com/mirage/mirage-crypto/issues + mirage/mirage-crypto + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/mirage-flow/metadata.xml b/dev-ml/mirage-flow/metadata.xml index c94d178337..264c03b977 100644 --- a/dev-ml/mirage-flow/metadata.xml +++ b/dev-ml/mirage-flow/metadata.xml @@ -1,15 +1,24 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-flow - - - Flow implementations and combinators for MirageOS specialized to lwt - Flow implementations and combinators for MirageOS on Unix - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Flow implementations and combinators for MirageOS specialized to lwt + Flow implementations and combinators for MirageOS on Unix + + This repo contains generic operations over Mirage `FLOW` implementations. + +Please consult [the API documentation](https://mirage.github.io/mirage-flow/index.html). + + https://mirage.github.io/mirage-flow/ + https://github.com/mirage/mirage-flow/issues + mirage/mirage-flow + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/mirage-kv/metadata.xml b/dev-ml/mirage-kv/metadata.xml index 69b772df1c..28f3c8379e 100644 --- a/dev-ml/mirage-kv/metadata.xml +++ b/dev-ml/mirage-kv/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-kv - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + mirage-kv provides the `Mirage_kv.RO` and `Mirage_kv.RW` +signatures the MirageOS key/value devices should implement. + + https://mirage.github.io/mirage-kv/ + https://github.com/mirage/mirage-kv/issues + mirage/mirage-kv + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/mirage-net/metadata.xml b/dev-ml/mirage-net/metadata.xml index dae051bbbf..d888bcfde4 100644 --- a/dev-ml/mirage-net/metadata.xml +++ b/dev-ml/mirage-net/metadata.xml @@ -1,11 +1,17 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-net - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://mirage.github.io/mirage-net/ + https://github.com/mirage/mirage-net/issues + mirage/mirage-net + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/mirage-profile/metadata.xml b/dev-ml/mirage-profile/metadata.xml index d19645d326..c7ae49dd04 100644 --- a/dev-ml/mirage-profile/metadata.xml +++ b/dev-ml/mirage-profile/metadata.xml @@ -1,15 +1,34 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-profile - - - Adds a Unix backend collector - - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Adds a Unix backend collector + + + This library can be used to trace execution of OCaml/Lwt programs (such as +Mirage unikernels) at the level of Lwt threads. The traces can be viewed using +JavaScript or GTK viewers provided by [mirage-trace-viewer][] or processed by +tools supporting the [Common Trace Format (CTF)][ctf]. Some example traces can +be found in the blog post [Visualising an Asynchronous +Monad](http://roscidus.com/blog/blog/2014/10/27/visualising-an-asynchronous-monad/). + +Libraries can use the functions mirage-profile provides to annotate the traces +with extra information. When compiled against a normal version of Lwt, +mirage-profile's functions are null-ops (or call the underlying untraced +operation, as appropriate) and OCaml's cross-module inlining will optimise +these calls away, meaning there should be no overhead in the non-profiling +case. + + https://mirage.github.io/mirage-profile/ + https://github.com/mirage/mirage-profile/issues + mirage/mirage-profile + + Thomas Leonard + talex5@gmail.com + + diff --git a/dev-ml/mirage-random-test/metadata.xml b/dev-ml/mirage-random-test/metadata.xml index f71fbc3cbb..265197fba8 100644 --- a/dev-ml/mirage-random-test/metadata.xml +++ b/dev-ml/mirage-random-test/metadata.xml @@ -1,11 +1,17 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-random-test - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://mirage.github.io/mirage-random-test/ + https://github.com/mirage/mirage-random-test/issues + mirage/mirage-random-test + + Hannes Menhert + hannes@mehnert.org + + diff --git a/dev-ml/mirage-random/metadata.xml b/dev-ml/mirage-random/metadata.xml index dd61869c6c..309636eae3 100644 --- a/dev-ml/mirage-random/metadata.xml +++ b/dev-ml/mirage-random/metadata.xml @@ -1,11 +1,17 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-random - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://mirage.github.io/mirage-random/ + https://github.com/mirage/mirage-random/issues + mirage/mirage-random + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/mirage-time/metadata.xml b/dev-ml/mirage-time/metadata.xml index a721ce060b..3634ef8744 100644 --- a/dev-ml/mirage-time/metadata.xml +++ b/dev-ml/mirage-time/metadata.xml @@ -1,14 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-time - - - Time operations for MirageOS on Unix - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Time operations for MirageOS on Unix + + + https://mirage.github.io/mirage-time/ + https://github.com/mirage/mirage-time/issues + mirage/mirage-time + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/mirage-unix/metadata.xml b/dev-ml/mirage-unix/metadata.xml index e213abe988..188ab9f7d8 100644 --- a/dev-ml/mirage-unix/metadata.xml +++ b/dev-ml/mirage-unix/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-unix - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This package provides the MirageOS `OS` library for +Unix targets, which handles the main loop and timers. + + https://mirage.github.io/mirage-unix/doc + https://github.com/mirage/mirage-unix/issues/ + mirage/mirage-unix + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/mirage-vnetif/metadata.xml b/dev-ml/mirage-vnetif/metadata.xml index 6d156933bb..59cf6b270c 100644 --- a/dev-ml/mirage-vnetif/metadata.xml +++ b/dev-ml/mirage-vnetif/metadata.xml @@ -1,14 +1,24 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-vnetif - - - Vnetif implementation of mirage-stack for Mirage TCP/IP - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Vnetif implementation of mirage-stack for Mirage TCP/IP + + Provides the module `Vnetif` which can be used as a replacement for the regular +`Netif` implementation in Xen and Unix. Stacks built using `Vnetif` are +connected to a software switch that allows the stacks to communicate as if they +were connected to the same LAN. + + https://mirage.github.io/mirage-vnetif/ + https://github.com/mirage/mirage-vnetif/issues/ + mirage/mirage-vnetif + + Magnus Skjegstad + magnus@skjegstad.com + + diff --git a/dev-ml/mirage-xen/metadata.xml b/dev-ml/mirage-xen/metadata.xml index 7ea63047a4..ca51a85f46 100644 --- a/dev-ml/mirage-xen/metadata.xml +++ b/dev-ml/mirage-xen/metadata.xml @@ -1,11 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-xen - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This package provides the MirageOS `OS` library for +Xen targets, which handles the main loop and timers. It also provides +the low level C startup code and C stubs required by the OCaml code. + + https://mirage.github.io/mirage-xen/ + https://github.com/mirage/mirage-xen/issues/ + mirage/mirage-xen + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/mirage/metadata.xml b/dev-ml/mirage/metadata.xml index 5e2dbfb0b5..e7a2f51deb 100644 --- a/dev-ml/mirage/metadata.xml +++ b/dev-ml/mirage/metadata.xml @@ -1,11 +1,31 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + MirageOS is a library operating system that constructs unikernels for +secure, high-performance network applications across a variety of +cloud computing and mobile platforms. Code can be developed on a +normal OS such as Linux or MacOS X, and then compiled into a +fully-standalone, specialised unikernel that runs under the Xen +hypervisor. + +Since Xen powers most public cloud computing infrastructure such as +Amazon EC2 or Rackspace, this lets your servers run more cheaply, +securely and with finer control than with a full software stack. + + https://mirage.github.io/mirage/ + https://github.com/mirage/mirage/issues/ + mirage/mirage + + Thomas Gazagnaire + thomas@gazagnaire.org + + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/mustache/metadata.xml b/dev-ml/mustache/metadata.xml index 97dc892423..ff29314470 100644 --- a/dev-ml/mustache/metadata.xml +++ b/dev-ml/mustache/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - rgrinberg/ocaml-mustache - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + Read and write mustache templates, and render them by providing a json object. +Contains the `mustache` command line utility for driving logic-less templates. + + http://rgrinberg.github.io/mustache/ + https://github.com/rgrinberg/ocaml-mustache/issues + rgrinberg/ocaml-mustache + + Rudi Grinberg + rudi.grinberg@gmail.com + + diff --git a/dev-ml/nbd/metadata.xml b/dev-ml/nbd/metadata.xml index 560dfe8550..19adb82a26 100644 --- a/dev-ml/nbd/metadata.xml +++ b/dev-ml/nbd/metadata.xml @@ -1,15 +1,23 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/nbd - - - command line helper for serving and mirroring disks over NBD, and getting information about the disks exported by an NBD server - Lwt_unix implementation - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + command line helper for serving and mirroring disks over NBD, and getting information about the disks exported by an NBD server + Lwt_unix implementation + + This library allows applications to export and consume block +devices using the NBD protocol (as used by Linux, qemu etc) + + https://xapi-project.github.io/nbd/nbd/index.html + https://github.com/xapi-project/nbd/issues + xapi-project/nbd + + Jonathan Ludlam + jonathan.ludlam@citrix.com + + diff --git a/dev-ml/netlink/metadata.xml b/dev-ml/netlink/metadata.xml index 1b255a1433..842d79f725 100644 --- a/dev-ml/netlink/metadata.xml +++ b/dev-ml/netlink/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/ocaml-netlink - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + The Netlink Protocol Library Suite (libnl, see +http://www.infradead.org/~tgr/libnl/) provides APIs to the netlink +protocol, allowing you to interact with network devices in the Linux kernel. + + https://github.com/xapi-project/ocaml-netlink/issues + xapi-project/ocaml-netlink + + Rob Hoes + rob.hoes@citrix.com + + diff --git a/dev-ml/ocaml_intrinsics/metadata.xml b/dev-ml/ocaml_intrinsics/metadata.xml index d9584e431e..067b5b7f8d 100644 --- a/dev-ml/ocaml_intrinsics/metadata.xml +++ b/dev-ml/ocaml_intrinsics/metadata.xml @@ -1,11 +1,15 @@ - + lssndrbarbieri@gmail.com Alessandro Barbieri + Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) +when available, or compatible software implementation on other targets. - janestreet/async_ssl + https://ocaml.janestreet.com/ocaml-core/latest/doc/ocaml_intrinsics/index.html + https://github.com/janestreet/ocaml_intrinsics/issues + janestreet/ocaml_intrinsics diff --git a/dev-ml/omd/metadata.xml b/dev-ml/omd/metadata.xml index 4e95d066b3..3d7f298d1d 100644 --- a/dev-ml/omd/metadata.xml +++ b/dev-ml/omd/metadata.xml @@ -1,11 +1,26 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - ocaml/omd - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This Markdown library is implemented using only pure OCaml (including +I/O operations provided by the standard OCaml compiler distribution). +OMD is meant to be as faithful as possible to the original Markdown. +Additionally, OMD implements a few Github markdown features, an +extension mechanism, and some other features. Note that the opam +package installs both the OMD library and the command line tool `omd`. + + https://github.com/ocaml/omd/issues + ocaml/omd + + Shon Feder + shon.feder@gmail.com + + + Raphael Sousa Santos + contact@raphaelss.com + + diff --git a/dev-ml/pbkdf/metadata.xml b/dev-ml/pbkdf/metadata.xml index d5235e07b9..924ec0f1c0 100644 --- a/dev-ml/pbkdf/metadata.xml +++ b/dev-ml/pbkdf/metadata.xml @@ -6,7 +6,14 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + An implementation of PBKDF 1 and 2 as defined by [PKCS#5](https://tools.ietf.org/html/rfc2898) using [mirage-crypto](https://github.com/mirage/mirage-crypto) + https://abeaumont.github.io/ocaml-pbkdf/ + https://github.com/abeaumont/ocaml-pbkdf/issues abeaumont/ocaml-pbkdf + + Alfredo Beaumont + alfredo.beaumont@gmail.com + diff --git a/dev-ml/pcap-format/metadata.xml b/dev-ml/pcap-format/metadata.xml index 39e9c8c14e..c3c2259ec6 100644 --- a/dev-ml/pcap-format/metadata.xml +++ b/dev-ml/pcap-format/metadata.xml @@ -1,12 +1,20 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-pcap - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + pcap-format provides an interface to encode and decode pcap files, dealing with +both endianess, including endianess detection. + + https://mirage.github.io/ocaml-pcap/ + https://github.com/mirage/ocaml-pcap/issues + mirage/ocaml-pcap + + David Scott + dave@recoil.org + + diff --git a/dev-ml/pci/metadata.xml b/dev-ml/pci/metadata.xml index 784a8e785a..973463c147 100644 --- a/dev-ml/pci/metadata.xml +++ b/dev-ml/pci/metadata.xml @@ -1,11 +1,16 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - simonjbeaumont/ocaml-pci - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/simonjbeaumont/ocaml-pci/issues + simonjbeaumont/ocaml-pci + + Simon Beaumont + simonjbeaumont@gmail.com + + diff --git a/dev-ml/pecu/metadata.xml b/dev-ml/pecu/metadata.xml index 97ab8e76f9..2ce1744ffb 100644 --- a/dev-ml/pecu/metadata.xml +++ b/dev-ml/pecu/metadata.xml @@ -1,11 +1,19 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/pecu - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + A non-blocking encoder/decoder of Quoted-Printable according to +RFC2045 and RFC2047 (about encoded-word). Useful to translate contents of emails. + + https://mirage.github.io/pecu/ + https://github.com/mirage/pecu/issues + mirage/pecu + + Romain Calascibetta + romain.calascibetta@gmail.com + + diff --git a/dev-ml/polly/metadata.xml b/dev-ml/polly/metadata.xml index 08de9a72fc..cc6dd45857 100644 --- a/dev-ml/polly/metadata.xml +++ b/dev-ml/polly/metadata.xml @@ -1,11 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - lindig/polly - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + Bindings for the Linux epoll system call. The binding avoids + most allocation in the event loop by iterating over all file + descriptors that are reported as ready. + + https://github.com/lindig/polly + https://github.com/lindig/polly/issues + lindig/polly + + Christian Lindig + christian.lindig@citrix.com + + diff --git a/dev-ml/psq/metadata.xml b/dev-ml/psq/metadata.xml index 14405eed69..fec9fb0b15 100644 --- a/dev-ml/psq/metadata.xml +++ b/dev-ml/psq/metadata.xml @@ -6,7 +6,15 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + Typical applications are searches, schedulers and caches. If you ever scratched +your head because that A* didn't look quite right, a PSQ is what you needed. + https://pqwy.github.io/psq/doc + https://github.com/pqwy/psq/issues pqwy/psq + + David Kaloper Meršinjak + dk505@cam.ac.uk + diff --git a/dev-ml/ptime/metadata.xml b/dev-ml/ptime/metadata.xml index 21ffb848fd..3b61f34bd4 100644 --- a/dev-ml/ptime/metadata.xml +++ b/dev-ml/ptime/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,7 +6,31 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + Ptime has platform independent POSIX time support in pure OCaml. It +provides a type to represent a well-defined range of POSIX timestamps +with picosecond precision, conversion with date-time values, +conversion with [RFC 3339 timestamps][rfc3339] and pretty printing to +a human-readable, locale-independent representation. + +The additional Ptime_clock library provides access to a system POSIX +clock and to the system's current time zone offset. + +Ptime is not a calendar library. + +Ptime has no dependency. Ptime_clock depends on your system library or +JavaScript runtime system. Ptime and its libraries are distributed +under the ISC license. + +[rfc3339]: http://tools.ietf.org/html/rfc3339 + +Home page: http://erratique.ch/software/ptime + https://erratique.ch/software/ptime/doc/ + https://github.com/dbuenzli/ptime/issues dbuenzli/ptime + + Daniel Bünzli + daniel.buenzli@erratique.ch + diff --git a/dev-ml/qmp/metadata.xml b/dev-ml/qmp/metadata.xml index d4b0d7732a..fc71a33f5e 100644 --- a/dev-ml/qmp/metadata.xml +++ b/dev-ml/qmp/metadata.xml @@ -1,11 +1,15 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/ocaml-qmp - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + xen-org/ocaml-qmp + + David Scott + dave.scott@eu.citrix.com + + diff --git a/dev-ml/randomconv/metadata.xml b/dev-ml/randomconv/metadata.xml index 0f5d9b8708..ba622827a8 100644 --- a/dev-ml/randomconv/metadata.xml +++ b/dev-ml/randomconv/metadata.xml @@ -1,12 +1,20 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - hannesm/randomconv - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + Given a function which produces random byte vectors, convert it to +a number of your choice (int8/int16/int32/int64/int/float). + + https://hannesm.github.io/randomconv/doc + https://github.com/hannesm/randomconv/issues + hannesm/randomconv + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/rpc/metadata.xml b/dev-ml/rpc/metadata.xml index a938097597..3ed6a77de9 100644 --- a/dev-ml/rpc/metadata.xml +++ b/dev-ml/rpc/metadata.xml @@ -1,16 +1,31 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-rpc - - - Async interface - html documentation generator - Bindings for js_of_ocaml - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Async interface + html documentation generator + Bindings for js_of_ocaml + + `ocaml-rpc` is a library that provides remote procedure calls (RPC) +using XML or JSON as transport encodings, and multiple generators +for documentations, clients, servers, javascript bindings, python +bindings, ... + +The transport mechanism itself is outside the scope of this library +as all conversions are from and to strings. + +This is a dummy package installing the main library components. + + https://mirage.github.io/ocaml-rpc/rpc + https://github.com/mirage/ocaml-rpc/issues + mirage/ocaml-rpc + + Thomas Gazagnaire + thomas@gazagnaire.org + + diff --git a/dev-ml/sexp_pretty/metadata.xml b/dev-ml/sexp_pretty/metadata.xml index 418a0ad297..2b479d5071 100644 --- a/dev-ml/sexp_pretty/metadata.xml +++ b/dev-ml/sexp_pretty/metadata.xml @@ -6,7 +6,11 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + A library for pretty-printing s-expressions, using better indentation rules than +the default pretty printer in Sexplib. + https://ocaml.janestreet.com/ocaml-core/latest/doc/sexp_pretty/index.html + https://github.com/janestreet/sexp_pretty/issues janestreet/sexp_pretty diff --git a/dev-ml/shared-block-ring/metadata.xml b/dev-ml/shared-block-ring/metadata.xml index 393a3ec738..e4c6bd7b6d 100644 --- a/dev-ml/shared-block-ring/metadata.xml +++ b/dev-ml/shared-block-ring/metadata.xml @@ -1,11 +1,17 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/shared-block-ring - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This is a simple queue containing variable-length items stored on a disk, in the style of Xen shared-memory-ring. + + https://github.com/mirage/shared-block-ring/issues/ + mirage/shared-block-ring + + Jonathan Ludlam + jonathan.ludlam@citrix.com + + diff --git a/dev-ml/shared-memory-ring/metadata.xml b/dev-ml/shared-memory-ring/metadata.xml index 7cd2f0428f..79b80613e0 100644 --- a/dev-ml/shared-memory-ring/metadata.xml +++ b/dev-ml/shared-memory-ring/metadata.xml @@ -1,11 +1,31 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/shared-memory-ring - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This package contains a set of libraries for creating shared memory +producer/consumer rings. The rings follow the Xen ABI and may be used +to create or implement Xen virtual devices. + +Example use: + +One program wishes to create data records and push them efficiently +to a second process on the same physical machine for +sampling/analysis/archiving. + +Example use: + +A Xen virtual machine wishes to send and receive network packets to +and from a backend driver domain. + + https://mirage.github.io/shared-memory-ring/ + https://github.com/mirage/shared-memory-ring/issues + mirage/shared-memory-ring + + David Scott + dave@recoil.org + + diff --git a/dev-ml/stringext/metadata.xml b/dev-ml/stringext/metadata.xml index cb6c50f93c..d8ce6fb86b 100644 --- a/dev-ml/stringext/metadata.xml +++ b/dev-ml/stringext/metadata.xml @@ -1,12 +1,17 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - rgrinberg/stringext - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/rgrinberg/stringext/issues + rgrinberg/stringext + + Rudi Grinberg + rudi.grinberg@gmail.com + + diff --git a/dev-ml/systemd/metadata.xml b/dev-ml/systemd/metadata.xml index e4a496827d..31ef5b3831 100644 --- a/dev-ml/systemd/metadata.xml +++ b/dev-ml/systemd/metadata.xml @@ -1,11 +1,16 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - juergenhoetzel/ocaml-systemd - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + + Jürgen Hötzel + juergen@archlinux.org + + juergenhoetzel/ocaml-systemd + https://github.com/juergenhoetzel/ocaml-systemd/issues + diff --git a/dev-ml/tar/metadata.xml b/dev-ml/tar/metadata.xml index 76d46cfa29..715ccecd35 100644 --- a/dev-ml/tar/metadata.xml +++ b/dev-ml/tar/metadata.xml @@ -1,15 +1,25 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-tar - - - Read and write tar format files via MirageOS interfaces - Decode and encode tar format files from Unix - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Read and write tar format files via MirageOS interfaces + Decode and encode tar format files from Unix + + tar is a simple library to read and write tar files with an emphasis on +streaming. + +This is pure OCaml code, no C bindings. + + https://mirage.github.io/ocaml-tar/ + https://github.com/mirage/ocaml-tar/issues + mirage/ocaml-tar + + David Scott + dave@recoil.org + + diff --git a/dev-ml/tcpip/metadata.xml b/dev-ml/tcpip/metadata.xml index ee477510cb..77eba99613 100644 --- a/dev-ml/tcpip/metadata.xml +++ b/dev-ml/tcpip/metadata.xml @@ -1,11 +1,25 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/mirage-tcpip - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + `mirage-tcpip` provides a networking stack for the [Mirage operating +system](https://mirage.io). It provides implementations for the following module types +(which correspond with the similarly-named protocols): + +* IP (via the IPv4 and IPv6 modules) +* ICMP +* UDP +* TCP + + https://mirage.github.io/mirage-tcpip/ + https://github.com/mirage/mirage-tcpip/issues + mirage/mirage-tcpip + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/tls/metadata.xml b/dev-ml/tls/metadata.xml index ec20f745d5..a56f291fe7 100644 --- a/dev-ml/tls/metadata.xml +++ b/dev-ml/tls/metadata.xml @@ -6,11 +6,34 @@ lssndrbarbieri@gmail.com Alessandro Barbieri - - mirleft/ocaml-tls - Async laye MirageOS layer + Transport Layer Security (TLS) is probably the most widely deployed security +protocol on the Internet. It provides communication privacy to prevent +eavesdropping, tampering, and message forgery. Furthermore, it optionally +provides authentication of the involved endpoints. TLS is commonly deployed for +securing web services ([HTTPS](http://tools.ietf.org/html/rfc2818)), emails, +virtual private networks, and wireless networks. + +TLS uses asymmetric cryptography to exchange a symmetric key, and optionally +authenticate (using X.509) either or both endpoints. It provides algorithmic +agility, which means that the key exchange method, symmetric encryption +algorithm, and hash algorithm are negotiated. + +Read [further](https://nqsb.io) and our [Usenix Security 2015 paper](https://usenix15.nqsb.io). + + https://mirleft.github.io/ocaml-tls/doc + https://github.com/mirleft/ocaml-tls/issues + mirleft/ocaml-tls + + Hannes Mehnert + hannes@mehnert.org + + + David Kaloper + david@numm.org + + diff --git a/dev-ml/tuntap/metadata.xml b/dev-ml/tuntap/metadata.xml index 271e2046e6..105127cab0 100644 --- a/dev-ml/tuntap/metadata.xml +++ b/dev-ml/tuntap/metadata.xml @@ -1,11 +1,25 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-tuntap - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This is an OCaml library for handling TUN/TAP devices. TUN refers to layer 3 +virtual interfaces whereas TAP refers to layer 2 Ethernet ones. + +See <http://en.wikipedia.org/wiki/TUN/TAP> for more information. + +Linux, FreeBSD, OpenBSD and macOS should all be supported. You will need +to install the third-party <http://tuntaposx.sourceforge.net/> on macOS before +using this library. + + https://mirage.github.io/ocaml-tuntap/ + https://github.com/mirage/ocaml-tuntap/issues + mirage/ocaml-tuntap + + Vincent Bernardoff + vb@luminar.eu.org + + diff --git a/dev-ml/tyxml/metadata.xml b/dev-ml/tyxml/metadata.xml index 15bf217281..50c6bb86df 100644 --- a/dev-ml/tyxml/metadata.xml +++ b/dev-ml/tyxml/metadata.xml @@ -1,12 +1,15 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - ocsigen/tyxml - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + TyXML provides a set of convenient combinators that uses the OCaml type system to ensure the validity of the generated documents. TyXML can be used with any representation of HTML and SVG: the textual one, provided directly by this package, or DOM trees (`js_of_ocaml-tyxml`) virtual DOM (`virtual-dom`) and reactive or replicated trees (`eliom`). You can also create your own representation and use it to instantiate a new set of combinators. + + https://ocsigen.org/tyxml/latest/manual/intro + https://github.com/ocsigen/tyxml/issues + ocsigen/tyxml + diff --git a/dev-ml/uri/metadata.xml b/dev-ml/uri/metadata.xml index 57acd83577..01730e29b4 100644 --- a/dev-ml/uri/metadata.xml +++ b/dev-ml/uri/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,11 +6,19 @@ lssndrbarbieri@gmail.com Alessandro Barbieri - - mirage/ocaml-uri - This is an OCaml implementation of the RFC3986 specification for parsing URI or URLs ocaml-uri with sexp support + This is an OCaml implementation of the [RFC3986](http://tools.ietf.org/html/rfc3986) specification +for parsing URI or URLs. + + https://mirage.github.io/ocaml-uri/ + https://github.com/mirage/ocaml-uri/issues + mirage/ocaml-uri + + Anil Madhavapeddy + anil@recoil.org + + diff --git a/dev-ml/vchan/metadata.xml b/dev-ml/vchan/metadata.xml index 19eeb5aaef..07445614df 100644 --- a/dev-ml/vchan/metadata.xml +++ b/dev-ml/vchan/metadata.xml @@ -1,15 +1,24 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/vchan - - - Unix support - Xen support - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Unix support + Xen support + + This is an implementation of the Xen "libvchan" or "vchan" communication +protocol in OCaml. It allows fast inter-domain communication using shared +memory. + + https://mirage.github.io/ocaml-vchan + https://github.com/mirage/ocaml-vchan/issues + mirage/ocaml-vchan + + Jonathan Ludlam + jonathan.ludlam@eu.citrix.com + + diff --git a/dev-ml/vhd/metadata.xml b/dev-ml/vhd/metadata.xml index 909764cf19..8c8513b8c0 100644 --- a/dev-ml/vhd/metadata.xml +++ b/dev-ml/vhd/metadata.xml @@ -1,14 +1,20 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-vhd - - - provide an Lwt compatible interface to the library - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/ocaml-vhd + + David Scott + dave@recoil.orj + + https://mirage.github.io/ocaml-vhd/ + https://github.com/mirage/ocaml-vhd/issues + + + provide an Lwt compatible interface to the library + diff --git a/dev-ml/x509/metadata.xml b/dev-ml/x509/metadata.xml index 973e19557b..91bc0b3e0d 100644 --- a/dev-ml/x509/metadata.xml +++ b/dev-ml/x509/metadata.xml @@ -1,12 +1,25 @@ - - co-maintainers welcome - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirleft/ocaml-x509 - + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + X.509 is a public key infrastructure used mostly on the Internet. It consists +of certificates which include public keys and identifiers, signed by an +authority. Authorities must be exchanged over a second channel to establish the +trust relationship. This library implements most parts of RFC5280 and RFC6125. +The Public Key Cryptography Standards (PKCS) defines encoding and decoding +(in ASN.1 DER and PEM format), which is also implemented by this library - +namely PKCS 1, PKCS 5, PKCS 7, PKCS 8, PKCS 9, PKCS 10, and PKCS 12. + + https://mirleft.github.io/ocaml-x509/doc + https://github.com/mirleft/ocaml-x509/issues + mirleft/ocaml-x509 + + Hannes Mehnert + hannes@mehnert.org + + diff --git a/dev-ml/xapi-backtrace/metadata.xml b/dev-ml/xapi-backtrace/metadata.xml index f658b38402..f2f4790176 100644 --- a/dev-ml/xapi-backtrace/metadata.xml +++ b/dev-ml/xapi-backtrace/metadata.xml @@ -1,11 +1,12 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/backtrace - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/xapi-project/backtrace/issues + xapi-project/backtrace + diff --git a/dev-ml/xapi-stdext/metadata.xml b/dev-ml/xapi-stdext/metadata.xml index 2b8c3392c6..e9ef0d3871 100644 --- a/dev-ml/xapi-stdext/metadata.xml +++ b/dev-ml/xapi-stdext/metadata.xml @@ -1,11 +1,16 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/stdext - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + https://github.com/xapi-project/stdext/issues + xapi-project/stdext + + Jonathan Ludlam + jonathan.ludlam@citrix.com + + diff --git a/dev-ml/xapi-test-utils/metadata.xml b/dev-ml/xapi-test-utils/metadata.xml index 70ada5d582..32ea0e3796 100644 --- a/dev-ml/xapi-test-utils/metadata.xml +++ b/dev-ml/xapi-test-utils/metadata.xml @@ -1,11 +1,16 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/xapi-test-utils - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + + Rob Hoes + rob.hoes@citrix.com + + https://github.com/xapi-project/xapi-test-utils/issues + xapi-project/xapi-test-utils + diff --git a/dev-ml/xcp-inventory/metadata.xml b/dev-ml/xcp-inventory/metadata.xml index 58f4c13580..ecb3b07168 100644 --- a/dev-ml/xcp-inventory/metadata.xml +++ b/dev-ml/xcp-inventory/metadata.xml @@ -1,11 +1,12 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/xcp-inventory - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + xapi-project/xcp-inventory + https://github.com/xapi-project/xcp-inventory/issues + diff --git a/dev-ml/xcp-rrd/metadata.xml b/dev-ml/xcp-rrd/metadata.xml index 9024faf70d..bd49d243c6 100644 --- a/dev-ml/xcp-rrd/metadata.xml +++ b/dev-ml/xcp-rrd/metadata.xml @@ -1,11 +1,12 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/xcp-rrd - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + xapi-project/xcp-rrd + https://github.com/xapi-project/xcp-rrd/issues + diff --git a/dev-ml/xen-evtchn/metadata.xml b/dev-ml/xen-evtchn/metadata.xml index d19b9659ba..c970d3c671 100644 --- a/dev-ml/xen-evtchn/metadata.xml +++ b/dev-ml/xen-evtchn/metadata.xml @@ -1,14 +1,27 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/evtchn - - - Xen event channel interface for Linux - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + Xen event channel interface for Linux + + Event channels are the Xen equivalent of interrupts, used to signal +when data (or space) is available for processing. There are 2 distinct +implementations: + + 1. a Xen shared-memory + hypercall protocol for kernelspace + 2. a binding to a set of libxc functions which access /dev/xen/evtchn + for userspace (see `xen-evtchn-unix` opam package). + + https://mirage.github.io/ocaml-evtchn/ + https://github.com/mirage/ocaml-evtchn/issues + mirage/ocaml-evtchn + + dave@recoil.org + David Scott + + diff --git a/dev-ml/xen-gnt/metadata.xml b/dev-ml/xen-gnt/metadata.xml index ad55fc5375..87c5cd3543 100644 --- a/dev-ml/xen-gnt/metadata.xml +++ b/dev-ml/xen-gnt/metadata.xml @@ -1,14 +1,26 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-gnt - - - build the userspace library - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + build the userspace library + + These are used to create Xen device driver "backends" (servers) +and "frontends" (clients). + +This library can be used in both kernelspace (via Mirage) or in userspace +(on Linux) via the xen-gnt-unix library. +To see a concrete example, have a look at [mirage/ocaml-vchan] + + https://mirage.github.io/ocaml-gnt/ + https://github.com/mirage/ocaml-gnt/issues + mirage/ocaml-gnt + + John Else + john.else@citrix.com + + diff --git a/dev-ml/xenstore-clients/metadata.xml b/dev-ml/xenstore-clients/metadata.xml index 83e2a09343..ec425a1b26 100644 --- a/dev-ml/xenstore-clients/metadata.xml +++ b/dev-ml/xenstore-clients/metadata.xml @@ -1,11 +1,16 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - xapi-project/ocaml-xenstore-clients - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + xapi-project/ocaml-xenstore-clients + + David Scott + dave@recoil.org + + https://github.com/xapi-project/ocaml-xenstore-clients/issues + diff --git a/dev-ml/xenstore/metadata.xml b/dev-ml/xenstore/metadata.xml index bd5a462c29..3c9e34c675 100644 --- a/dev-ml/xenstore/metadata.xml +++ b/dev-ml/xenstore/metadata.xml @@ -1,11 +1,24 @@ - - lssndrbarbieri@gmail.com - Alessandro Barbieri - - - mirage/ocaml-xenstore - + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + This repo contains: +1. a xenstore client library, a merge of the Mirage and XCP ones +2. a xenstore server library +3. a xenstore server instance which runs under Unix with libxc +4. a xenstore server instance which runs on mirage. + +The client and the server libraries have sets of unit-tests. + + https://mirage.github.io/ocaml-xenstore/ + https://github.com/mirage/ocaml-xenstore/issues + mirage/ocaml-xenstore + + David Scott + dave@recoil.org + + diff --git a/dev-ml/xmlm/metadata.xml b/dev-ml/xmlm/metadata.xml index 10aa1be475..7532c42d13 100644 --- a/dev-ml/xmlm/metadata.xml +++ b/dev-ml/xmlm/metadata.xml @@ -1,4 +1,4 @@ - + @@ -6,7 +6,21 @@ lssndrbarbieri@gmail.com Alessandro Barbieri + Xmlm is a streaming codec to decode and encode the XML data format. It +can process XML documents without a complete in-memory representation of the +data. + +Xmlm is made of a single independent module and distributed +under the ISC license. + +Home page: http://erratique.ch/software/xmlm + https://erratique.ch/software/xmlm/doc/ + https://github.com/dbuenzli/xmlm/issues dbuenzli/xmlm + + Daniel Bünzli + daniel.buenzli@erratique.ch +