cryptoverif

Extra Credit builds an outline of cryptoverif's docs the first time your work uses it. Until then, start at the official documentation.

• conf-libgccjit Virtual package relying on a libgccjit system installation
• SZXX Streaming ZIP XML XLSX parser
• xoshiro Xoshiro PRNGs as drop-in replacements for Stdlib.Random
• mimic-happy-eyeballs A happy-eyeballs integration into mimic
• diffast-langs-fortran Fortran parser plugin for Diff/AST
• json-derivers Common Derivers for Jsonm/Yjson
• vscoq-language-server Compatibility meta package for the VsRocq language server after the Rocq renaming
• quickjs Bindings for QuickJS (a Javascript Engine to be embedded https://bellard.org/quickjs)
• stdint-literals Small PPX for fixed size integer literals
• cpdf PDF command line tools
• host-system-msvc OCaml for Microsoft Visual Studio
• lablgtk3-goocanvas2 OCaml interface to GTK+ GooCanvas library