Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Proteas's full-sized avatar

Block or report Proteas

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
Showing results

Segment-accurate iBoot/SecureROM loader for Binary Ninja & IDA Pro

Python 31 3 Updated Dec 10, 2025

public index of IDA Pro plugins

Python 13 3 Updated Dec 18, 2025

SQL Native Memory Layer for LLMs, AI Agents & Multi-Agent Systems

Python 11,238 736 Updated Dec 18, 2025

Binary Utils for Zen Microcode

Python 31 3 Updated Oct 16, 2025

A markup-based typesetting system that is powerful and easy to learn.

Rust 49,746 1,372 Updated Dec 19, 2025

Implementation of the LLVM tutorial in Python using llvmlite

Python 333 37 Updated Jan 25, 2025

A code skeleton for Samsung's S5400 5G baseband modem & S5540 RF transceiver as integrated on Google Tensor G5 SoCs

C 7 2 Updated Aug 30, 2025

Cybersecurity AI (CAI), the framework for AI Security

Python 6,433 873 Updated Dec 19, 2025

This project runs a Model Context Protocol (MCP) server that wraps the CodeQL query server. It enables tools like [Cursor](https://cursor.sh/) or AI agents to interact with CodeQL through structure…

Python 122 17 Updated Mar 30, 2025

Buttercup finds and patches software vulnerabilities

Python 1,413 153 Updated Dec 18, 2025

An educational, whole-system simulation of the ao486 SystemVerilog CPU core and PC architecture

Verilog 15 1 Updated Jul 21, 2025

Emulating Apple Silicon devices.

C 3,362 280 Updated Dec 19, 2025

12 Lessons to Get Started Building AI Agents

Jupyter Notebook 47,326 16,257 Updated Dec 19, 2025

Open-source FPGA retro emulation handheld

Scala 642 38 Updated Aug 21, 2025

A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one

C 82 11 Updated Dec 17, 2025

Bear is a tool that generates a compilation database for clang tooling.

C++ 6,080 347 Updated Dec 14, 2025

A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!

Python 123 17 Updated Dec 4, 2025

LLVM based static binary analysis framework

C++ 290 29 Updated Apr 2, 2025

Paper list and datasets for the paper: A Survey on Data Selection for LLM Instruction Tuning

47 1 Updated Feb 3, 2024

The Decompilation Wiki: info on all things decompilation

229 13 Updated Nov 30, 2025

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

C++ 396 20 Updated Dec 4, 2024

A high-level build system based on llbuild, used by Xcode, Swift Playground, and the Swift Package Manager

Swift 2,144 138 Updated Dec 20, 2025

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

HTML 570 42 Updated Oct 11, 2025

Resources from my talk "Hacking the RP2350" at 38C3

Python 106 12 Updated Jan 3, 2025

Plugin to generate BOM + CPL files for JLCPCB, assigning LCSC part numbers directly from the plugin, query the JLCPCB parts database, lookup datasheets and much more.

Python 1,683 136 Updated Sep 26, 2025

An IDA plugin that can be used to partially synchronize IDBs between different users reversing the same binaries

Python 136 7 Updated Jan 8, 2025

checkm8 for S5L8747X & S5L8947X rewritten in C

C 32 2 Updated Dec 28, 2024

Semgrep queries developed by Trail of Bits.

Go 460 46 Updated Nov 12, 2025
Next