Skip to content
View smheidrich's full-sized avatar

Block or report smheidrich

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

697 results for source starred repositories
Clear filter

Minimal CLI coding agent by Mistral

Python 2,984 282 Updated Jan 30, 2026

A feature-rich command-line audio/video downloader

Python 146,011 11,830 Updated Feb 4, 2026

A crate implementing a synchronized map for memoization

Rust 31 5 Updated Jan 15, 2025

Easy self-referential struct generation for Rust.

Rust 691 38 Updated Jan 11, 2025

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

TeX 1,843 132 Updated May 15, 2025

Python grammar for tree-sitter

JavaScript 520 201 Updated Sep 15, 2025

Tree-sitter for d2lang

JavaScript 33 5 Updated Oct 22, 2025

Show code context

Janet 3,108 226 Updated Dec 6, 2025

Create book from markdown files. Like Gitbook but implemented in Rust

Rust 21,118 1,813 Updated Feb 4, 2026

mdbook-treesitter is an mdBook preprocessor for html adding tree-sitter highlighting support.

Rust 3 4 Updated Nov 30, 2025

A mdbook backend powered by Pandoc.

Rust 181 10 Updated Jan 7, 2026

pandoc markdown syntax, to be installed alongside vim-pandoc

Vim Script 424 63 Updated Sep 22, 2025

CLI testing utility

Rust 23 1 Updated Jan 20, 2026

Visualize/analyze a Rust crate's internal structure

Rust 1,204 56 Updated Feb 5, 2026

Cell compiler

117 4 Updated Jul 4, 2023

Unwrap infallible results with all convenience and no fear

Rust 9 Updated Dec 6, 2025

The pdfjam package for manipulating PDF files

Shell 457 33 Updated Nov 21, 2025

Create booklets from PDF files

Python 94 19 Updated Dec 29, 2023

Lean 4 programming language and theorem prover

Lean 7,252 750 Updated Feb 6, 2026

Functional Programming in Lean

Lean 140 54 Updated Jan 23, 2026

Neovim support for the Lean theorem prover

Lua 470 43 Updated Feb 6, 2026

A Rust compiler front-end for IDEs

Rust 16,018 1,937 Updated Feb 6, 2026

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Rust 12,367 314 Updated Feb 6, 2026

A curated list with resources about node-based UIs

3,428 185 Updated Jun 29, 2025

Neovim plugin to manage the file system and other tree like structures.

Lua 5,201 275 Updated Feb 2, 2026

Static typing support for the array API standard

Python 21 5 Updated Feb 2, 2026

Strip ANSI escape sequences from a string

Python 9 1 Updated Dec 4, 2024
Python 7 6 Updated Oct 25, 2025

A generic project skeleton for Python projects.

144 37 Updated Dec 21, 2025

Pytest plugin for regression testing: https://pytest-regressions.readthedocs.io

Python 213 42 Updated Jan 20, 2026
Next