Cloud Native Presentation Slides with Jupyter Notebook + Reveal.js
- jupyter-notebook
- nbconvert
- reveal-slide-decks
- reveal-js
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect