17-day longest streak
Hi there 👋 <!-- cascades-sjtu/cascades-sjtu is a ✨ _special_ ✨ repository because its README.md (this file) appears on your GitHub profile. Here are some ideas to get you started: 🔭…
Hi there 👋
<!--
cascades-sjtu/cascades-sjtu is a ✨ _special_ ✨ repository because its README.md (this file) appears on your GitHub profile.
Here are some ideas to get you started:
- 🔭 I’m currently working on ...
- 🌱 I’m currently learning ...
- 👯 I’m looking to collaborate on ...
- 🤔 I’m looking for help with ...
- 💬 Ask me about ...
- 📫 How to reach me: ...
- 😄 Pronouns: ...
- ⚡ Fun fact: ...
- 👨🎓 I'm a second-year Ph.D. student in HKUST's Prism Lab, focusing on binary program analysis
- 🪄 In SJTU, I sometimes play CTF for Ph0t1n1a and I'm the former maintainer of SJTUBeamer
- ⭐ I like hanging out on GitHub, becoming a stargazer of interesting repos in Software Security
- 📧 How to reach me: [email protected]
<!-- !Anurag's GitHub stats -->
-
nis7021-labs ★ PINNED
Homepage for SJTU NIS7021 labs documentation
Python ★ 9 3y agoExplain → -
CCF-CSP ★ PINNED
Solutions and instructions for CCF-CSP mocking test
C++ ★ 7 4y agoExplain → -
nand2tetris ★ PINNED
solutions for nand2tetris course
Hack ★ 4 3y agoExplain → -
FirmVulHub
Firmware Vulnerabilities Detection System
Python ★ 9 5y agoExplain → -
MyBlockchain
simple blockchain simulation
Python ★ 8 5y agoExplain → -
play_with_ask
Using GNU Radio and HackRF One to Receive, Analyze and Send ASK/OOK signals
Python ★ 6 4y agoExplain → -
HarmonyOSCamp
HarmonyOS-SJTU training camp course sources
Java ★ 5 5y agoExplain → -
Wechat-Q2A-Assistant
A Q&A Assistant in Wechat to automatically answer redundant questions and chat with groups.
★ 3 5y agoExplain → -
x14ngch3n
github profile
★ 2 8mo agoExplain → -
smms-cli
A command line HTTP client of https://sm.ms
Python ★ 2 4y agoExplain → -
EthernautWP
Writeups of Ethernaut, a Web3/Solidity based wargame.
★ 2 5y agoExplain → -
popl2020-tutorial ⑂
Tutorial for Building Program Reasoning Tools using LLVM and Z3
C++ ★ 1 2y agoExplain → -
top4grep ⑂
find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
Python ★ 1 2y agoExplain → -
CS110L
My solutions of CS 110L: Safety in Systems Programming
Rust ★ 1 4y agoExplain → -
voxel-challenge
No description.
Python ★ 1 4y agoExplain → -
SoftwareDesign
COVID-19 prevetion and control system based on facemask recognition
Python ★ 1 6y agoExplain → -
C-Plus-Plus ⑂
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
C++ ★ 1 4y agoExplain → -
Goshawk-tutorial
Tutorial of https://github.com/Yunlongs/Goshawk, which is a static analyze tool to detect memory corruption bugs in C source codes.
Dockerfile ★ 0 3y agoExplain → -
x14ngch3n.github.io
My personal website
HTML ★ 0 1mo agoExplain → -
modern-software-dev-assignments ⑂
Assignments for CS146S: The Modern Software Dev (Stanford University Fall 2025)
Python ★ 0 4mo agoExplain → -
llvmcpy
Python bindings for LLVM auto-generated from the LLVM-C API, port to LLVM-3.6
Python ★ 0 5mo agoExplain → -
llvm-docs
Self-hosted LLVM documentation archive
HTML ★ 0 9mo agoExplain → -
NYU_CTF_Bench ⑂
No description.
Python ★ 0 10mo agoExplain → -
mini-swe-agent ⑂
The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no crazy configs, no giant monorepo—but scores 65% on SWE-bench verified!
Python ★ 0 10mo agoExplain → -
SWE-agent ⑂
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
Python ★ 0 11mo agoExplain → -
CodeLLMPaper ⑂
A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
★ 0 11mo agoExplain → -
MyDisassembler ⑂
Disassembler for X86-64 implemented from scratch in C++
C++ ★ 0 1y agoExplain → -
llvm-project ⑂
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
LLVM ★ 0 1y agoExplain → -
llvm-upgrading-trend
No description.
Python ★ 0 1y agoExplain → -
llvm-tutor ⑂
A collection of out-of-tree LLVM passes for teaching and learning
C++ ★ 0 1y agoExplain → -
rCore-Tutorial-v3 ⑂
Let's write an OS which can run on RISC-V in Rust from scratch!
Rust ★ 0 2y agoExplain → -
CV
Curriculum Vitae written in Typst
Typst ★ 0 2y agoExplain → -
vscode-codeql-starter ⑂
Starter workspace to use with the CodeQL extension for Visual Studio Code.
★ 0 2y agoExplain → -
infer ⑂
A static analyzer for Java, C, C++, and Objective-C
OCaml ★ 0 2y agoExplain → -
Goshawk ⑂
Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.
C++ ★ 0 3y agoExplain → -
Pake ⑂
🤱🏻 很简单的用 Rust 打包网页生成很小的 Mac App 🤱🏻 A simple way to package a web page with Rust to create Mac App.
Rust ★ 0 3y agoExplain → -
taichi_dem
DEM Code Optimization Challenge: https://forum.taichi.graphics/t/topic/2975
Python ★ 0 3y agoExplain → -
learn-assembly-on-Apple-Silicon-Mac ⑂
在 Apple Silicon Mac 上入门汇编语言
★ 0 3y agoExplain → -
PL-Compiler-Resource ⑂
程序语言与编译技术相关资料(持续更新中)
★ 0 3y agoExplain → -
docker_ghidra_headless_base ⑂
base docker image for ghidra headless scripting
Dockerfile ★ 0 4y agoExplain → -
cwe_checker ⑂
cwe_checker finds vulnerable patterns in binary executables
Rust ★ 0 4y agoExplain → -
FACT_core ⑂
Firmware Analysis and Comparison Tool
Python ★ 0 4y agoExplain → -
rustlings
My solutions of rustlings
Rust ★ 0 4y agoExplain → -
ctf-wiki ⑂
Come and join us, we need you!
Python ★ 0 4y agoExplain → -
awesome-llvm-security ⑂
awesome llvm security [Welcome to PR]
★ 0 4y agoExplain → -
Learning-C ⑂
A series of mini-projects used to learn C for beginners
C ★ 0 4y agoExplain → -
karonte ⑂
Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
★ 0 5y agoExplain → -
FuzzingPaper ⑂
Recent Fuzzing Paper
★ 0 4y agoExplain → -
IS497-PrivacyProtection-Proj ⑂
Final project of IS497: PC Personal Privacy Protection System
★ 0 5y agoExplain → -
Smartcopy
A small tool used for crop pictures
Python ★ 0 6y agoExplain →
No repos match these filters.