Tim Carstens

Submit your extension to awesome-sphinxdoc

2

See https://github.com/yoloseem/awesome-sphinxdoc

At runtime, ZKVM should inform the guest of its MethodId

7

# Summary ZKVM uses `MethodId` to identify guest images. Mechanically, `MethodId` is the Merkle-root of a data structure that contains the guest's ELF image. It is therefore impossible for the...

vscoq cannot find coqtop when running in a "Remote Development using SSH" context

2

Briefly: vscoq works in Remote Development over SSH *out of the box* except for one little setting: the path to coqtop when coqtop is installed by opam. # Steps to...

Extract Constants [ ... ] fails if list contains unused constants

1

(I am working from the `prims` branch; apologies if this has been fixed in a later commit.) The issue is best illustrated by an example: ```coq From CertiCoq.Plugin Require Import...

Add dependencies to opam file

5

# The issue The opam file provided by the repo does not document the project's dependencies. This makes the installation process slightly harder than necessary. # Reproduction steps Clone the...

## Feature The ability to upload guest images to Bonsai from the command line. This could be a flag to the `build` command (ala `cargo risczero build --deploy`), or could...

sphinx-press-theme

2

https://sphinx-themes.org/sample-sites/sphinx-press-theme/

Sphinx theme, navigation, and accessibility (a11y)

7

We need to decide on a Sphinx theme for the guide. We also need to decide on the *requirements* for selecting a guide. Two obvious requirements stand out (please add/discuss...

Compatibility with existing guides

3

Many projects already have their own style guides. * How does vstyle compare? * What insights can vstyle get from these existing resources? Please link to existing guides in the...

The guide's front page includes a detailed table of contents. However, it is not clear which sections actually have any content. The front page should be updated in a way...