sempiternal-aurora Myria Sarvay
github.com/sempiternal-aurora · maintains 34 packages (34 directly), sole maintainer of 18, member of 0 teams
34 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Comprehensive e-book software |
9.15.0 |
2 | 35 | 2 | 2 | maintained | ||
Comprehensive e-book software |
9.15.0 |
2 | 33 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 5 | 5 | 5 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 12 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 8 | 0 | 0 | maintained | ||
VHDL 2008/93/87 simulator |
6.0.0 |
3 | 6 | 0 | 0 | maintained | ||
GNAT, the GNU Ada Translator (wrapper script) |
16.1.0-1 |
2 | 7 | 0 | 0 | maintained | ||
GNAT, the GNU Ada Translator (wrapper script) |
13.2.0-2 |
2 | 7 | 0 | 0 | maintained | ||
GNAT, the GNU Ada Translator (wrapper script) |
14.2.0-1 |
2 | 7 | 0 | 0 | maintained | ||
GNAT, the GNU Ada Translator (wrapper script) |
15.3.0-1 |
2 | 7 | 0 | 0 | maintained | ||
Free/libre COBOL compiler |
3.2 |
8 | 16 | 0 | 0 | maintained | ||
Generic proof assistant |
2025-2 |
2 | 13 | 2 | 2 | maintained | ||
Modern runner for GNU Autoconf testsuites in m4 |
0.9-unstable-2026-06-25 |
1 | 13 | 0 | 0 | single | ||
Base32 for Ocaml |
1.0.0 |
1 | 8 | 2 | 2 | single | ||
Implementation of the Concise Binary Object Representation (CBOR) as specified by RFC 8949 for OCaml |
0.1.0 |
1 | 10 | 1 | 2 | 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 | ||
OCaml implementation of the Encoding for Robust Immutable Storage (ERIS) |
1.0.0-unstable-2026-09-30 |
5 | 20 | 1 | 1 | maintained | ||
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 | ||
Easy Cmdliner |
0.5.0 |
1 | 10 | 3 | 3 | single | ||
Library with helpers to manipulate files, read/write their content, search directories, etc |
0.5.0 |
1 | 8 | 3 | 3 | single | ||
Compatibility library for opam-file-format |
0.1.0 |
1 | 8 | 1 | 1 | single | ||
Simple substitution module for OCaml |
0.2.1 |
1 | 7 | 2 | 4 | single | ||
Front-end for the C programming language that facilitates program analysis and transformation |
2.1.1 |
1 | 14 | 1 | 1 | single | ||
JSON library for Js_of_ocaml |
0.3.0 |
1 | 7 | 1 | 1 | single | ||
ERIS block storage and transport |
0.4.0 |
5 | 24 | 0 | 0 | maintained | ||
OCaml bindings to the Monocypher crytographic library |
0.3.0 |
1 | 6 | 1 | 2 | single | ||
Some basic stuff that is used in some OCP libraries and applications |
0.4.0 |
1 | 7 | 4 | 5 | single | ||
Ppx deriver for json_encoding |
0.4.2 |
1 | 7 | 1 | 1 | single | ||
Pluggable serialization and deserialization of ocaml data strucures based on type_conv |
5.2.3 |
1 | 10 | 1 | 1 | single | ||
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server |
1.0.0 |
5 | 33 | 0 | 0 | maintained | ||
Standard ML compiler and interpreter |
5.9.2 |
1 | 6 | 1 | 1 | single | ||
Vampire Theorem Prover |
5.1.0 |
1 | 3 | 0 | 0 | single | ||
Decorate C/C++ source files with code coverage information generated by gcov |
0.6.0 |
1 | 2 | 0 | 0 | single | ||
Visual Studio Code extension for COBOL |
1.0.0 |
5 | 2 | 0 | 0 | maintained |