Skip to content
View basavesh's full-sized avatar
👨‍💻
👨‍💻

Block or report basavesh

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A tiny educational decompiler that helps people understand how decompilation works.

Python 227 10 Updated May 27, 2026

Lean for Scientists and Engineers, course taught in Summer 2024

Lean 34 10 Updated Jan 6, 2025

A listing of compiler, language and runtime teams for people looking for jobs in this area

HTML 773 76 Updated Apr 24, 2026

A curated list of awesome directed fuzzing research papers

591 46 Updated Jun 14, 2026

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Rust 2,584 479 Updated Jun 12, 2026
Rocq Prover 56 5 Updated May 15, 2026

Blogpost about optimizing binary-only fuzzing with AFL++

Shell 69 5 Updated Oct 7, 2023

A complete computer science study plan to become a software engineer.

351,870 83,508 Updated Aug 28, 2025

The rev.ng demos

Shell 13 2 Updated Mar 11, 2026

BinRec: Dynamic Binary Lifting and Recompilation

C++ 149 17 Updated Sep 18, 2023

Lift machine code to performant LLVM IR

C++ 505 45 Updated Jun 17, 2024

Academic papers related to fuzzing, binary analysis, and exploit dev, which I want to read or have already read

Python 1,359 130 Updated Feb 21, 2025

Python Toolkit for Causal and Probabilistic Reasoning

Python 3,277 1,127 Updated Jun 14, 2026

Retypd plugin for Ghidra reverse engineering framework from NSA

Java 28 5 Updated Jul 6, 2023

The Jakstab static analysis platform for binaries

Java 164 25 Updated Dec 10, 2019

Machine Learning to Deobfuscate Binaries

Python 455 60 Updated Jun 17, 2024

libBIL: an intermediate language for binary derived from BAP

OCaml 1 Updated Oct 22, 2015

Haskell parser for BIL

Haskell 1 Updated Aug 21, 2013

Verified, Incremental, Binary Editing with Synthesis

OCaml 55 1 Updated Mar 7, 2023

Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com

Rust 406 20 Updated Jun 5, 2026

Haskell JIT

Haskell 187 9 Updated Jan 19, 2020

Fuzzware's main repository. Start here to install.

Python 372 71 Updated Dec 18, 2025

Lessons to get to know UEFI programming in Linux with the help of EDKII

C 359 65 Updated Mar 5, 2024

GLM uCode dumps

296 38 Updated May 27, 2020
Python 79 4 Updated Jan 14, 2024

BINSEC binary-level open-source platform

OCaml 409 41 Updated Apr 1, 2026

Binary Analysis Platform

OCaml 2,237 283 Updated May 7, 2026
Next