Anton Kochkov (XVilka)

XVilka

Geek Repo

Company:Rizin.Org

Location:China, Shanghai

Home Page:http://www.xvilka.me/

Twitter:@akochkov

Github PK Tool:Github PK Tool


Organizations
KolibriOS
petgraph
rizinorg

Anton Kochkov's repositories

qemu-ia64

Intel Itanium (ia64) Linux user target for Qemu

Language:CLicense:NOASSERTIONStargazers:8Issues:4Issues:0

gentoo-overlay

Hardened LISP, reverse-engineering stuff

debian-oldies

Docker images to build and test Rizin reverse engineering framework and a toolset.

Language:DockerfileStargazers:1Issues:2Issues:5

qemu-static

build qemu-static binaries using Alpine Linux docker

Language:ShellLicense:MITStargazers:1Issues:1Issues:0

simh

The Computer History Simulation Project

Language:CStargazers:1Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

adapton.rust

General-purpose abstractions for incremental computing, in Rust

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0

awesome-alternatives-in-rust

A curated list of replacements for existing software written in Rust

License:MITStargazers:0Issues:0Issues:0

c-capnproto

C library/compiler for the Cap'n Proto serialization/RPC protocol

Language:CLicense:MITStargazers:0Issues:0Issues:0

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml, PowerShell)

Language:POV-Ray SDLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cctools-port

Apple cctools port for Linux and *BSD

Language:CStargazers:0Issues:0Issues:0

conan-center-index

Recipes for the ConanCenter repository

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

cwe_checker

cwe_checker finds vulnerable patterns in binary executables

Language:RustLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

ghidra

Ghidra is a software reverse engineering (SRE) framework

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ghidra-dark

Dark theme installer for Ghidra

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

intellij-ghidra

An IntelliJ IDEA plugin for working on Ghidra Extensions.

Language:KotlinStargazers:0Issues:0Issues:0

kremlin

KreMLin is a tool for extracting low-level F* programs to readable C code

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:1Issues:0

libuv

Cross-platform asynchronous I/O

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ManDrake

Native Mac man page editor with syntax coloring, mandoc syntax checking & live preview.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

ML-Coordination-Tracker

The FluxML Community Team repo

Stargazers:0Issues:0Issues:0

neovim.github.io

Neovim website

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

ocaml-lzo

OCaml bindings to LZO <http://www.oberhumer.com/opensource/lzo/> - a portable lossless data compression library.

Language:OCamlStargazers:0Issues:0Issues:0

qcow2-rs

Rust support for qcow2 virtual disk images.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rizin

UNIX-like reverse engineering framework and command-line toolset.

Language:CLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

rust-command-line-utilities

A curated list of command-line utilities written in Rust

License:CC0-1.0Stargazers:0Issues:0Issues:0

simh-1

The Open SIMH simulators package

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tree-sitter-c

C grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-cpp

C++ grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

void-packages

The Void source packages collection

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

zsign

Maybe is the most quickly codesign alternative for iOS12+ in the world, cross-platform ( macOS, Linux , Windows ), more features.

Language:C++Stargazers:0Issues:0Issues:0