mdBook preprocessor for indexing
☆18Feb 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for mdbook-indexing
Users that are interested in mdbook-indexing are comparing it to the libraries listed below
Sorting:
- ☆30Nov 22, 2025Updated 3 months ago
- A lexer and parser generator written in pure Go.☆27Nov 23, 2017Updated 8 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Table of contents for mdbook (in sidebar)☆48Nov 27, 2025Updated 3 months ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Aug 4, 2016Updated 9 years ago
- mdbook preprocessor to add a open-on-github link on every page☆31Nov 18, 2025Updated 3 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- A mdbook preprocessor for runnning arbitrary (shell) commands in a markdown file☆42Aug 12, 2025Updated 6 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- ☆12Apr 1, 2021Updated 4 years ago
- AXIS Virtual File System☆10Mar 31, 2017Updated 8 years ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Feb 18, 2026Updated 2 weeks ago
- ☆13Mar 6, 2010Updated 16 years ago
- A low-level, cross-platform port scanner and packet flooder written in Rust.☆14Mar 25, 2025Updated 11 months ago
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 6 years ago
- A simple, budget, DIY F16 ICP flight control panel for use with flight simulators such as DCS World☆13Jan 9, 2022Updated 4 years ago
- Never fill a sockaddr_in struct by hand again!☆13Apr 10, 2020Updated 5 years ago
- A Rust crate to parse EU Digital Green Certificates for COVID-19☆11Feb 2, 2022Updated 4 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 2 months ago
- Command line time tracking tool☆13Apr 14, 2020Updated 5 years ago
- Multiagent optimization system (MAOS) for solving the Traveling Salesman Problem (TSP).☆12Aug 7, 2019Updated 6 years ago
- ☆13Jan 12, 2018Updated 8 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Deep learning chat based on DL4J☆11Mar 31, 2017Updated 8 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- cli slideshows☆28Sep 29, 2025Updated 5 months ago
- ☆10Mar 6, 2023Updated 3 years ago
- ☆11Oct 16, 2023Updated 2 years ago
- Strip a path from a path☆18Aug 18, 2021Updated 4 years ago
- Service to update DNS blacklist in Unbound☆11Apr 17, 2021Updated 4 years ago
- A mdbook preprocessor that allows the re-usability of template files with dynamic arguments☆14Apr 8, 2024Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- An arena allocated tree structure for Rust with removal support☆11Dec 23, 2019Updated 6 years ago
- Direct Play Helper☆11Sep 9, 2021Updated 4 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- 🐦 spideog - Command line utility for Kraken2 reports.☆11Nov 30, 2020Updated 5 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Mar 3, 2026Updated last week