reteps

reteps's Stars

• ckaestne/kconfigreader

  KConfigReader - accurate translation of kconfig files to propositional formulas

  Language:Scala79

• ckaestne/TypeChef

  Type checking ifdef variability

  Language:C7636

• pyparsing/pyparsing

  Python library for creating PEG parsers

  Language:Python2.3k283

• lark-parser/lark

  Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

  Language:Python5k423

• dabeaz/ply

  Python Lex-Yacc

  Language:Python2.8k472

• cryptohack/ctf_archive

  Hosting awesome cryptography CTF challenges from past CTFs

  Language:Python10621

• sandialabs/halucinator

  Main HALucinator branch

  Language:Python393

• milabs/khook

  Linux Kernel hooking engine (x86)

  Language:C33951

• xcellerator/linux_kernel_hacking

  Linux Kernel Hacking

  Language:C661128

• sysprogs/kgdboe

  A network interface for GDB for Linux Kernel

  Language:C6526

• mborgerson/gdbstub

  Simple, single-file, dependency-free GDB stub that can be easily dropped in to your project.

  Language:C21924

• sefcom/greenhouse

  Language:Python474

• robert/PySkyWiFi

  Completely free, unbelievably stupid wi-fi on long-haul flights

  Language:Python1k42

• holistics/dbml

  Database Markup Language (DBML), designed to define and document database structures

  Language:JavaScript3k175

• LadybirdBrowser/ladybird

  Truly independent web browser

  Language:C++27.2k1.2k

• IdentityPython/djangosaml2

  Django SAML2 Service Provider based on pySAML2

  Language:Python262144

• BUseclab/Pandawan

  Language:Python61

• bootlin/elixir

  The Elixir Cross Referencer

  Language:C1k152

• clearbluejar/ghidriff

  Python Command-Line Ghidra Binary Diffing Engine

  Language:Python55623

• BUseclab/FirmSolo

  Language:Python195

• attify/firmware-analysis-toolkit

  Toolkit to emulate firmware and analyse it for security vulnerabilities

  Language:Python1.4k260

• cyruscyliu/firmguide

  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution

  Language:Assembly194

• fuzzware-fuzzer/fuzzware

  Fuzzware's main repository. Start here to install.

  Language:Python31855

• FirmWire/FirmWire

  FirmWire is a full-system baseband firmware emulation platform for fuzzing, debugging, and root-cause analysis of smartphone baseband firmwares

  Language:Python77882

• pr0v3rbs/FirmAE

  Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis

  Language:Python677122

• zyw-200/FirmAFL

  FIRM-AFL is the first high-throughput greybox fuzzer for IoT firmware.

  Language:C44391

• firmadyne/firmadyne

  Platform for emulation and dynamic analysis of Linux-based firmware

  Language:Shell1.9k349

• dockcross/dockcross

  Cross compiling toolchains in Docker images

  Language:Shell3.3k411

• coder/code-server

  VS Code in the browser

  Language:TypeScript69.3k5.7k

• gitpod-io/openvscode-server

  Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.

  Language:TypeScript5.2k451