mdbook
Here are 304 public repositories matching this topic...
mdBook preprocessor for variable interpolation using the Fluent language
-
Updated
Mar 22, 2020 - Rust
Book for Quip, a proof format for first-order and higher-order theorem provers
-
Updated
Apr 7, 2023 - SMT
-
Updated
Jan 19, 2022 - JavaScript
-
Updated
Feb 13, 2024 - JavaScript
📄 study.dotnet : https://netpyoung.github.io/study.dotnet/
-
Updated
Mar 16, 2024 - C#
The Bash Tutorial mdbook preprocessor allows you to import a Bash script in your book
-
Updated
May 20, 2024 - Rust
A rust based mdbook preprocessor that allows you to execute code in your mdbook without any server. Python, Typescript, Javascript etc.
-
Updated
Apr 7, 2024 - TypeScript
Matemática Funcional em Scheme - SECCOM 2019
-
Updated
May 24, 2020 - Scheme
mdBook template integrated with GitHub Action + Pages
-
Updated
Feb 28, 2021
-
Updated
Jan 11, 2022 - JavaScript
Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples
-
Updated
Dec 31, 2023 - Agda
Improve this page
Add a description, image, and links to the mdbook topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mdbook topic, visit your repo's landing page and select "manage topics."