- Germany
-
15:06
(UTC +01:00) - https://gitlab.com/smheidrich
Starred repositories
A feature-rich command-line audio/video downloader
A crate implementing a synchronized map for memoization
Easy self-referential struct generation for Rust.
minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
Python grammar for tree-sitter
Create book from markdown files. Like Gitbook but implemented in Rust
mdbook-treesitter is an mdBook preprocessor for html adding tree-sitter highlighting support.
pandoc markdown syntax, to be installed alongside vim-pandoc
Visualize/analyze a Rust crate's internal structure
Unwrap infallible results with all convenience and no fear
Lean 4 programming language and theorem prover
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
A curated list with resources about node-based UIs
Neovim plugin to manage the file system and other tree like structures.
Static typing support for the array API standard
Strip ANSI escape sequences from a string
Pytest plugin for regression testing: https://pytest-regressions.readthedocs.io