Skip to content
View vonavi's full-sized avatar
  • Huawei Technologies Co. Ltd
  • Moscow, Russia

Block or report vonavi

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

216 results for source starred repositories
Clear filter

Like IntelliSense, but for shells

Rust 1,113 16 Updated Nov 25, 2025

An arctic, north-bluish clean and elegant Emacs theme.

Emacs Lisp 536 66 Updated Mar 12, 2025

markxiv - markdown arxiv papers

Rust 5 Updated Oct 4, 2025

Proving leftpad correct two-dozen different ways

SystemVerilog 714 65 Updated Apr 21, 2025

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

Python 72,966 16,368 Updated Dec 12, 2025

Embedded drawing tool for Emacs

Emacs Lisp 874 25 Updated Dec 17, 2025

Browse target page on github/bitbucket from emacs buffers

Emacs Lisp 253 61 Updated Sep 24, 2025

A minimal development of SSA theory

Lean 202 23 Updated Dec 19, 2025

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Python 34,381 3,316 Updated Dec 21, 2025

Emacs minor mode for automatic clang-format application

Emacs Lisp 44 4 Updated Aug 24, 2019

Mini audio library

C 368 62 Updated Nov 20, 2025

An Emacs web feeds client

Emacs Lisp 1,657 130 Updated Dec 2, 2024

Generate PlantUML class diagrams to document your Python application.

Python 261 42 Updated Dec 16, 2025

An easy-to-learn/use static analysis framework for Java

Java 1,727 193 Updated Dec 9, 2025

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

OCaml 1,837 169 Updated Feb 25, 2025

simplejson is a simple, fast, extensible JSON encoder/decoder for Python

Python 1,700 351 Updated Sep 26, 2025

Document conversion and processing engine

Python 45 8 Updated Feb 2, 2025

Readme for The Kata Log

12 Updated Mar 28, 2025

Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.

Go 475 46 Updated Jul 3, 2025

Odds and ends, collected together for convenience

TeX 4 3 Updated May 15, 2024

A feature-rich Hacker News client.

Dart 1,403 110 Updated Jun 30, 2025

make a game like tetris by flutter

Dart 31 Updated Feb 4, 2024
Emacs Lisp 68 4 Updated Mar 30, 2024

Mobilen Dergi

CSS 9 Updated Jul 23, 2025

A curated list of awesome Clojure libraries and resources. Inspired by awesome-... stuff

Clojure 2,797 213 Updated May 22, 2024

This is a space where I express my thoughts and opinions on mostly technical things

164 6 Updated May 26, 2025

Library to read, write, analyze, and process java bytecode

Java 332 71 Updated Dec 1, 2025

a hack way to communication d3.js with rust (WASM) for spike

JavaScript 10 Updated Jun 7, 2020

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Python 2,202 252 Updated Dec 25, 2020
Next