Ainar Garipov's starred repositories
OpenAPI-Specification
The OpenAPI Specification Repository
difftastic
a structural diff that understands syntax 🟥🟩
functional-programming-jargon
Jargon from the functional programming world in simple terms!
swagger-editor
Swagger Editor
comic-mono-font
A legible monospace font... the very typeface you’ve been trained to recognize since childhood
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
AdGuardian-Term
🛡️ Terminal-based, real-time traffic monitoring and statistics for your AdGuard Home instance
markdownlint-cli
MarkdownLint Command Line Interface
firefox-translations
Firefox Translations is a webextension that enables client side translations for web browsers.
AdGuardExtra
AdGuard Extra is designed to solve complicated cases when regular ad blocking rules aren't enough.
casual-markdown-page
Markdown as Web Page/Site
AdGuardVPNCLI
AdGuard VPN command-line version
go-complexity-analysis
Calculate complexities of golang functions with static analysis