sempiternal-aurora Myria Sarvay
github.com/sempiternal-aurora · maintains 34 packages (34 directly), sole maintainer of 18, member of 0 teams
18 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Decorate C/C++ source files with code coverage information generated by gcov |
0.6.0 |
1 | 2 | 0 | 0 | single | ||
Vampire Theorem Prover |
5.1.0 |
1 | 3 | 0 | 0 | single | ||
Standard ML compiler and interpreter |
5.9.2 |
1 | 6 | 1 | 1 | single | ||
Pluggable serialization and deserialization of ocaml data strucures based on type_conv |
5.2.3 |
1 | 10 | 1 | 1 | single | ||
Ppx deriver for json_encoding |
0.4.2 |
1 | 7 | 1 | 1 | single | ||
Some basic stuff that is used in some OCP libraries and applications |
0.4.0 |
1 | 7 | 4 | 5 | single | ||
OCaml bindings to the Monocypher crytographic library |
0.3.0 |
1 | 6 | 1 | 2 | single | ||
JSON library for Js_of_ocaml |
0.3.0 |
1 | 7 | 1 | 1 | single | ||
Front-end for the C programming language that facilitates program analysis and transformation |
2.1.1 |
1 | 14 | 1 | 1 | single | ||
Simple substitution module for OCaml |
0.2.1 |
1 | 7 | 2 | 4 | single | ||
Compatibility library for opam-file-format |
0.1.0 |
1 | 8 | 1 | 1 | single | ||
Library with helpers to manipulate files, read/write their content, search directories, etc |
0.5.0 |
1 | 8 | 3 | 3 | single | ||
Easy Cmdliner |
0.5.0 |
1 | 10 | 3 | 3 | single | ||
Easily build clients and servers on top of a common REST API, automatically derived from OCaml types |
3.0.0 |
1 | 8 | 1 | 1 | single | ||
Drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience |
0.9.3 |
1 | 21 | 0 | 0 | single | ||
Implementation of the Concise Binary Object Representation (CBOR) as specified by RFC 8949 for OCaml |
0.1.0 |
1 | 10 | 1 | 2 | single | ||
Base32 for Ocaml |
1.0.0 |
1 | 8 | 2 | 2 | single | ||
Modern runner for GNU Autoconf testsuites in m4 |
0.9-unstable-2026-06-25 |
1 | 13 | 0 | 0 | single |