Interactive quizzes for Markdown
☆150May 4, 2026Updated this week
Alternatives and similar repositories for mdbook-quiz
Users that are interested in mdbook-quiz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MDBook preprocessor for converting emojicodes (e.g. `: cat :`) into emojis 🐱☆14Sep 21, 2023Updated 2 years ago
- mdbook preprocessor to add a open-on-github link on every page☆31Nov 18, 2025Updated 5 months ago
- A rust based mdbook preprocessor that allows you to execute code in your mdbook without any server. Python, Typescript, Javascript etc.☆29Mar 18, 2026Updated last month
- ☆20Sep 30, 2022Updated 3 years ago
- mdbook preprocessor for generating checklists and indexes☆14Nov 29, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Libraries useful for Dafny programs☆50Aug 19, 2025Updated 8 months ago
- D2 diagram generator plugin for MdBook☆46May 1, 2026Updated last week
- mdBook preprocessor for indexing☆18Apr 21, 2026Updated 2 weeks ago
- ☆19Nov 19, 2025Updated 5 months ago
- ☆53Updated this week
- A preprocessor for mdbook to add mermaid support☆443Feb 5, 2026Updated 3 months ago
- ☆15Oct 9, 2025Updated 7 months ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs☆13Dec 17, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆22Oct 1, 2022Updated 3 years ago
- A mdbook preprocessor for runnning arbitrary (shell) commands in a markdown file☆42Aug 12, 2025Updated 8 months ago
- A backend for `mdbook` which will check your links for you.☆169Aug 15, 2024Updated last year
- Checker for translated mdbook☆15Feb 12, 2026Updated 2 months ago
- 🎊 Soothing pastel theme for mdBook☆220Apr 29, 2026Updated last week
- mdBook preprocessor to add GitHub Flavored Markdown's Alerts to your book☆65Nov 21, 2025Updated 5 months ago
- Interactive visualizations of Rust at compile-time and run-time☆3,028Updated this week
- ☆16Jun 22, 2024Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 11 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- Plugins for mdBook.☆19Updated this week
- ☆14Aug 19, 2025Updated 8 months ago
- mdBook preprocessor to render PlantUML diagrams to png images in the book output directory☆90May 1, 2026Updated last week
- Lean 4 library for pretty printing expressions as LaTeX☆36Mar 5, 2025Updated last year
- An mdbook preprocessing plugin to generate chess boards☆10Feb 24, 2026Updated 2 months ago
- Ingestion pipeline for blr.today☆13Updated this week
- Tooling to publish Rust releases.☆20Apr 18, 2026Updated 3 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Pretty Useful Pup let's you write assertions about the architecture of your Rust project☆44Apr 23, 2026Updated 2 weeks ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- computable implementation of real numbers in Lean4☆50Jul 6, 2025Updated 10 months ago
- Comparing Polars vs Pandas vs Rust native :)☆13Aug 25, 2021Updated 4 years ago
- Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git☆17Jan 23, 2024Updated 2 years ago
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago