Anton Kochkov

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

The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support of colorschemes and lua scripting

Motorola Milestone second bootloader from running kernel without reboot

OCaml bindings for YARA

New generation of transset utility, to make X11 windows transparent

No description.

Parser of C-syntax data definitions, C-syntax function definitions

Intel Itanium (ia64) Linux user target for Qemu

Port of powertop utility to arm

Some useful hacking tools for embbed systems

Open firmware for the EC (Embedded Controllers)

Heavily patched qemu to debug ARM bootroms

coreboot port for Vortex86

Hardened LISP, reverse-engineering stuff

List of awesome reverse engineering resources

OCaml Ctypes bindings for 7zip LZMA SDK

Radare theme for beamer LaTeX package

OCaml implementation of the Interactive Brokers TWS API (fork of https://bitbucket.org/ogu/ibx)

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Evolutionary Chamber for the ROP chains

Syncs Markdown files to Confluence

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

build qemu-static binaries using Alpine Linux docker

The Computer History Simulation Project

The Z3 Theorem Prover

History of `librz/magic` from the moment of import from OpenBSD

unix-like reverse engineering framework and commandline tools

Display information about files in different file formats and find gadgets to build rop chains for different architectures (x86/x86_64, ARM/ARM64, MIPS, PowerPC, SPARC64). For disassembly ropper uses the awesome Capstone Framework.

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Abstract Language Tree

Tools to help with Reverse Engineering UEFI-based firmware

simple preprocessor

Firmware Analysis Tool

Alpine Ports Development Environment in Docker

Simple tool to import bitbucket exported issues into gitlab projects.

A curated list of awesome decompilation resources and projects.

a mirror of http://bisect.x9c.fr/ converted using purcell/darcs-to-git

No description.

Getting Widespread OCaml Adoption

The radare2 blog, available on radare.today

A curated list of replacements for existing software written in Rust

Prolog bindings to radare2

OCaml bindings for Python

Enhanced GNU Make - tracing, error reporting, debugging, profiling and more

matrix.org public website

🍻 Default formulae for the missing package manager for macOS (or Linux)

SFTP subsystem supported server and client for Russh

A simple library that implements Android Fastboot protocol.

A Rust crate for ECU diagnostic protocols (UDS / KWP)

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

Rust support for qcow2 virtual disk images.

Recipes for the ConanCenter repository

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

The Open SIMH simulators package

C++ grammar for tree-sitter

A curated list of command-line utilities written in Rust

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

Fast, small, webkit based browser framework extensible by Lua.

The Void source packages collection

Cross-platform asynchronous I/O

Neovim website

The FluxML Community Team repo

Dark theme installer for Ghidra

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

cwe_checker finds vulnerable patterns in binary executables

An IntelliJ IDEA plugin for working on Ghidra Extensions.

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

Apple cctools port for Linux and *BSD

Render and publish your Quarto projects.

r2pipe-api repo

Plugins to clang-analyzer and clang-frontend

C grammar for tree-sitter

WIP C/C++ parser for Rizin

Geometric Deep Learning for Flux

Ghidra is a software reverse engineering (SRE) framework

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

No description.

No description.

Multi-format archive and compression library

No description.

Extremely Fast Compression algorithm

An incremental parsing system for programming tools

No description.

A list of IDA Plugins

Tup is a file-based build system.

An implementation of the Language Server Protocol for LaTeX

BAP python bindings

OCaml grammar for tree-sitter

Haskell bindings for tree-sitter

Rust crate for r2pipe

No description.

Static analysis tools for all programming languages, build tools, config files and more.

Experiment on how to bootstrap the OCaml compiler

A tool to ease contributions to opam repositories

A pure rust YAML implementation.

Kaitai Struct: compiler to translate .ksy => .cpp / .cs / .dot / .java / .js / .php / .pm / .py / .rb

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

[Neo]Vim concealments for functional languages

Reverse engineering framework in Python

Vim filetype plugin for SWI-Prolog, GNU-Prolog and more…

No description.

Source code of the Coccinelle project

http://www.radare.org/

ncnn is a high-performance neural network inference framework optimized for the mobile platform

A cross platform framework designed for Web developer. Introduction video - https://v.qq.com/x/page/i3038urj2mt.html

💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.

Higher-kinded programming in OCaml

Radare2 cross platform package manager

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

commandline compiler explorer - use https://godbolt.org from your terminal!

Parsing, analyzing, and comparing source code across many languages

Vim-fork focused on extensibility and usability

Vim runtime files for OCaml

OCaml interface for creating Dockerfiles

An LZMA decoder/encoder written in pure Rust

Are we async yet?

Record Query - A tool for doing record analysis and transformation

pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code.

Mirror of aports repository

Windows installer scripts for radare2

A translator from OpenTheory to Dedukti

A Coq plugin to translate Coq proofs into Dedukti terms.

Implementation of the λΠ-calculus modulo rewriting

Proof assistant based on the λΠ-calculus modulo rewriting

date and duration in ocaml

Examples of Julia

r1 book transcription to r2

Package scripts for MSYS2.

A collection of hacking / penetration testing resources to make you better!

Stream Processing with OCaml

Embeddable Lambda Prolog Interpreter

Auto-formatter for OCaml code

Pure OCaml library to read and write tar files

Fungi: Typed incremental computation with names

General-purpose abstractions for incremental computing, in Rust

Package Manager for Radare2

Releasing is hard

Access radare2 via pipe from any programming language!

QuickCheck inspired property-based testing for OCaml.

A statically-typed, functional typesetting system

Patoline typesetting system

Encoding and decoding images in Rust

Regression Tests for the Radare2 Reverse Engineer's Debugger

The Go programming language

Interactive theorem proving with Coq in vim.

Graph data structure library for Rust.

syntax colouring for coq files

Awesome List on embedded and IoT security.

The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/

A Unicode library for OCaml

repeat.vim: enable repeating supported plugin maps with "."

Main development repository

ProbLog is a Probabilistic Logic Programming for logic programs annotated with probabilities.

Text outlining and task management for Vim based on Emacs' Org-Mode

No description.

radare2-based decompiler

Vim plugin that allows use of vifm as a file picker

Context sensitive completion for OCaml in Vim and Emacs

A Protobuf Compiler for OCaml

An OCaml library for describing Protobuf messages

OCaml cryptographic library

Skeletons for CI scripts

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

Pure OCaml implementation of Zlib.

OCaml promises and concurrent I/O.

Tools for authors of ppx rewriters

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Parser combinators built for speed and memory efficiency

Embed typed ASN.1 grammars in OCaml

An OCaml lexer generator for Unicode

Cabal like system for OCaml

A Protocol Buffers codec generator for OCaml

Type-driven code generation for OCaml >=4.02

Read files directly from ext4 filesystem images

My cheatsheets

Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion

common finance mathematics library in Rust

A 24bit colorscheme for Vim, Airline and Lightline

Library for manipulating ISO images

Upgrades opam package definition files to the latest format

Rust Bindings to interact with SMTLIB2 compliant solvers

[deprecated] helpers for ocamlbuild/oasis

Binary Analysis Platform

An experiment in using literate programming to write a static analysis tool in Rust

The official Vim repository

Nvim Go client

A modern Prolog implementation written mostly in Rust.

The Meson Build System

Datalog driven disassembly of binary executables

⚡️ Curated list of Prolog packages and resources

A static analyzer for Java, C, C++, and Objective-C

Prof. Spacetime

The core OCaml system: compilers, runtime system, base libraries

A platform to create documentation/wiki content built with PHP & Laravel

gtk ui for neovim

Bindings to xz-utils (liblzma)

A curated list of awesome awesomeness

Python best practices guidebook, written for humans.

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

Documentation of everything relevant in the OCaml world