Skip to content
View nifey's full-sized avatar

Block or report nifey

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 Copilot-CLI Plugin for F* and Related Tools

Shell 2 Updated Apr 7, 2026

FixMorph is a morphing tool for C source codes which supports automated code-transfer

Python 36 10 Updated Apr 9, 2025

Implement your own USB device in Python, supported by a hardware peripheral such as Cynthion or GreatFET

Python 954 148 Updated Feb 25, 2026

A demo server for CVE-2016-3955 (UBOAT)

Go 5 2 Updated Mar 29, 2017

The Missing Semester of Your CS Education 📚

CSS 5,670 1,355 Updated Apr 12, 2026
Python 169 32 Updated Apr 2, 2017

A powerful static binary rewriting tool

C 1,104 68 Updated Mar 3, 2026

GUI library for ocaml based on SDL2

OCaml 242 14 Updated Mar 3, 2026

Triforce is a Neovim plugin with beautiful UI that adds a bit of RPG flavor to your coding — XP, levels, and achievements while you work.

Lua 288 9 Updated Apr 19, 2026

Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation

C 63 16 Updated Dec 2, 2024

StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing

C++ 98 17 Updated Aug 16, 2023

Code of KextFuzz: Fuzzing macOS Kernel EXTensions on Apple Silicon via Exploiting Mitigations (USENIX Security'23)

Python 93 12 Updated Aug 31, 2023

This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

5,508 1,695 Updated Apr 16, 2026

Dead-code analyzer for OCaml

OCaml 101 12 Updated Apr 13, 2026
Python 1 Updated Nov 21, 2025

CS6868: Concurrent Programming

OCaml 69 10 Updated Apr 19, 2026

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Scala 3,081 407 Updated Apr 18, 2026
C++ 2 Updated Sep 27, 2025

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

HTML 2,041 81 Updated Apr 17, 2026

Linux kernel CVE exploit analysis report and relative debug environment. You don't need to compile Linux kernel and configure your environment anymore.

C 1,288 195 Updated Jan 29, 2026

APISpecGen: Generating API Specifications for Bug Detection via Specification Propagation Analysis (NDSS 2025)

Python 9 2 Updated Jan 10, 2025

A verified, modern, hardened memory allocator. [maintainer=@cmovcc]

F* 46 1 Updated Jan 24, 2026

The CVE Binary Tool helps you determine if your system includes known vulnerabilities. You can scan binaries for over 350 common, vulnerable components (openssl, libpng, libxml2, expat and others),…

Python 1,663 616 Updated Apr 17, 2026

Collection of USB hacking links and materials for my talk on the topic

382 37 Updated Sep 7, 2025
BitBake 46 10 Updated Apr 15, 2026

📦 Data files for Trezor

HTML 48 51 Updated Apr 14, 2026

cve-search - a tool to perform local searches for known vulnerabilities

Python 2,605 617 Updated Apr 18, 2026
Next