8000 vonavi (Vladimir Ivanov) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Showing results

Browse target page on github/bitbucket from emacs buffers

Emacs Lisp 243 55 Updated Feb 11, 2024

A minimal development of SSA theory

Lean 139 17 Updated May 25, 2025

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

Python 32,336 3,033 Updated May 25, 2025

Emacs minor mode for automatic clang-format application

Emacs Lisp 43 4 Updated Aug 24, 2019

Mini audio library

C 332 58 Updated Oct 22, 2024

An Emacs web feeds client

Emacs Lisp 1,584 126 Updated Dec 2, 2024

Generate PlantUML class diagrams to document your Python application.

Python 251 41 Updated May 20, 2025

2020 Autumn 1st place winners, O'Reilly Software Architecture Kata

7 6 Updated Nov 10, 2021

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

Java 1,566 181 Updated May 23, 2025

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

OCaml 1,796 167 Updated Feb 25, 2025

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

Python 1,681 340 Updated Mar 25, 2025

Readme for The Kata Log

9 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 438 46 Updated May 1, 2025

Odds and ends, collected together for convenience

TeX 4 2 Updated May 15, 2024

A feature-rich Hacker News client.

Dart 1,314 103 Updated Jan 25, 2025

make a game like tetris by flutter

Dart 30 Updated Feb 4, 2024
Emacs Lisp 63 5 Updated Mar 30, 2024

Mobilen Dergi

CSS 9 Updated Mar 28, 2025

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

Clojure 2,764 209 Updated May 22, 2024

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

161 6 Updated May 24, 2025

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

Java 298 67 Updated May 23, 2025

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

JavaScript 10 Updated Jun 7, 2020
C 9 1 Updated Oct 31, 2024

Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.

Java 140 33 Updated Jan 5, 2024

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

Python 2,184 245 Updated Dec 25, 2020

My personal Emacs config with any quirks, oddities, bugs, and man-eating errors I live with on a daily basis.

Emacs Lisp 125 8 Updated Mar 7, 2025

My Emacs settings

Emacs Lisp 18 3 Updated Oct 4, 2023

The Grand "Cathedral" Debugger rewrite

Emacs Lisp 905 85 Updated Jul 1, 2024

Awesome utilities for performance profiling

171 7 Updated Mar 5, 2025
Next
0