ssaroussi

ssaroussi's Stars

• mastodon/mastodon

  Your self-hosted, globally interconnected microblogging community

  Language:Ruby47.4k70811.7k7k

• geekan/HowToLiveLonger

  程序员延寿指南 | A programmer's guide to live longer

  30.8k2361292.1k

• rossant/awesome-math

  A curated list of awesome mathematics resources

  Language:Python9.2k23421974

• JonathanSalwan/Triton

  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

  Language:C++3.6k138968540

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.6k1371.8k893

• antonio-morales/Fuzzing101

  An step by step fuzzing tutorial. A GitHub Security Lab initiative

  3.3k5627348

• e-m-b-a/emba

  EMBA - The firmware security analyzer

  Language:Shell2.8k44287242

• GerevAI/gerev

  🧠 AI-powered enterprise search engine 🔎

  Language:Python2.7k2139180

• danbev/learning-v8

  Project for learning V8 internals

  Language:C++2.6k7610238

• weggli-rs/weggli

  weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

  Language:Rust2.4k3366131

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• bootleg/ret-sync

  ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2/x64dbg) with IDA/Ghidra/Binary Ninja disassemblers.

  Language:C2.1k5393263

• ramnes/notion-sdk-py

  The official Notion API client library, but rewritten in Python! (sync + async)

  Language:Python1.8k2590145

• NanoComp/meep

  free finite-difference time-domain (FDTD) software for electromagnetic simulations

  Language:C++1.3k681.1k634

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq811511813

• m1ghtym0/browser-pwn

  An updated collection of resources targeting browser-exploitation.

  810381116

• allpaca/chrome-sbx-db

  A Collection of Chrome Sandbox Escape POCs/Exploits for learning

  809483135

• FirmWire/FirmWire

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

  Language:Python777413680

• perfectblue/ctf-writeups

  Perfect Blue's CTF Writeups

  Language:Max671521052

• ngscopeclient/scopehal-apps

  ngscopeclient and other client applications for libscopehal.

  Language:C++63630611112

• mahaloz/decomp2dbg

  A plugin to introduce interactive symbols into your debugger from your decompiler

  Language:Python626124439

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++4342820580

• tagtime/TagTime

  Stochastic Time Tracking for Space Cadets

  Language:Mathematica369265051

• SpiralBL0CK/Browser-Pwning-

  A proper well structured documentation for getting started with chrome pwning & v8 pwning

  18816019

• GhidraJupyter/ghidra-jupyter-kotlin

  Language:Java1165129

• intel/ModernFW

  Language:C10719518

• jyao1/STM

  Language:C7013032

• barkayshahar/mi-scale-automation

  Automate the process of retrieving weight data from the Xiaomi Mi Scale 2 without the need to connect to Xiaomi's cloud services.

  Language:Python21101

• makotoshimazu/pwntools-rs

  Language:Rust14402

• OmriLevy888/luzer

  Language:Jupyter Notebook1310