daviddrysdale / mdbook-indexingView external linksLinks
mdBook preprocessor for indexing
☆18Updated this week
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 2 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 2 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 2 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- A mdbook preprocessor for runnning arbitrary (shell) commands in a markdown file☆41Aug 12, 2025Updated 6 months ago
- ☆13Mar 6, 2010Updated 15 years ago
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months 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☆10Dec 27, 2025Updated last month
- ☆12Apr 1, 2021Updated 4 years ago
- Strip a path from a path☆18Aug 18, 2021Updated 4 years ago
- Have been searching for Kaggle profile card for long? Here is what you need to showcase your ML/DL achievements!☆12Jun 5, 2023Updated 2 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆32Feb 9, 2026Updated last week
- High-level Rust library that binds to Poppler to extract text from a PDF☆11Dec 16, 2020Updated 5 years ago
- Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)☆12Dec 22, 2025Updated last month
- JSON event parser is a simple streaming JSON parser and serializer implementation in Rust.☆14Feb 6, 2026Updated last week
- 🐦 spideog - Command line utility for Kraken2 reports.☆11Nov 30, 2020Updated 5 years ago
- Xenon is a WebDriver proxy, for running multiple WebDriver sessions through a single hub☆12Jun 30, 2022Updated 3 years ago
- ☆10Apr 23, 2017Updated 8 years ago
- DEPRECATED: please use https://github.com/purescript-contrib/purescript-argonaut☆14Feb 7, 2017Updated 9 years ago
- Multiagent optimization system (MAOS) for solving the Traveling Salesman Problem (TSP).☆12Aug 7, 2019Updated 6 years ago
- ☆14Mar 18, 2020Updated 5 years ago
- Redis cluster library for Rust☆15Jan 28, 2024Updated 2 years ago
- Write JXA using typescript 🚀!☆12Jan 10, 2020Updated 6 years ago
- Service to update DNS blacklist in Unbound☆11Apr 17, 2021Updated 4 years ago
- An arena allocated tree structure for Rust with removal support☆11Dec 23, 2019Updated 6 years ago
- STORM is Semantically Terse Object Relational Mapping for Go☆27Jan 22, 2014Updated 12 years ago
- ☆12Jul 15, 2024Updated last year
- ☆11Sep 29, 2017Updated 8 years ago
- 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
- Direct Play Helper☆11Sep 9, 2021Updated 4 years ago
- Test-driven data pipelines in pure Go☆11Jul 16, 2020Updated 5 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- Command line time tracking tool☆13Apr 14, 2020Updated 5 years ago