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

Skip to content
View jaybosamiya's full-sized avatar
🦊
🦊

Organizations

@pwning @FStarLang @BinaryAnalysisPlatform @TeamColonelPanic @project-everest @InfoSecIITR @secure-foundations

Block or report jaybosamiya

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

Maintain a shadow branch for GitHub PRs that never requires force-pushing

Ruby 5 Updated Jan 23, 2026

S.A.R.C.A.S.M : Slightly Annoying Rubik's Cube Automatic Solving Machine

C 177 3 Updated Nov 1, 2025

Human-readable ANSI sequences πŸͺ©

Go 777 10 Updated Jan 19, 2026

A markdown terminal slideshow tool

Rust 7,743 163 Updated Jan 25, 2026
Rust 1,781 31 Updated Jan 27, 2026

Executes commands in response to file modifications

Rust 6,683 177 Updated Jan 26, 2026

Helper crate to work with systemd/catflap socket activation

Rust 229 16 Updated Jan 20, 2025

Development helper utility for helping with auto reloading for projects supporting systemd socket activation

Rust 613 18 Updated Jan 22, 2025

Known attacks on Elliptic Curve Cryptography

Sage 583 43 Updated Nov 8, 2024

Fuzz anything with Program Environment Fuzzing

C++ 398 30 Updated Jan 31, 2025

Write dynamic binary analysis tools in Python

C 129 10 Updated Jul 25, 2025

Scan your Rust crate for semver violations.

Rust 1,570 125 Updated Jan 26, 2026

Insecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them

C 290 56 Updated Sep 19, 2017

For when people get too hyped up about things

7,341 81 Updated Jan 5, 2024

(Cross-Platform) An open source approach to locally record and enable searching everything you view on any computer.

Rust 280 16 Updated Apr 24, 2024

Fast lattice reduction

C++ 227 26 Updated Aug 25, 2025

Convert your ascii diagram scribbles into happy little SVG

Rust 4,115 116 Updated Apr 8, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,201 434 Updated Nov 21, 2024

pry.py - an interactive drop in shell for python, similar to binding.pry in ruby

Python 51 4 Updated Aug 5, 2025

Function to drop into a python repl real quick.

Python 2 1 Updated Dec 28, 2015

Playing NES ROMs with Ghidra's PCode Emulator

HTML 102 1 Updated Sep 16, 2023

Lean 4 programming language and theorem prover

Lean 7,171 742 Updated Jan 28, 2026

supply-chain security for Rust

Rust 789 58 Updated Jan 13, 2026

A cryptographically verifiable code review system for the cargo (Rust) package manager.

Rust 2,261 97 Updated Nov 21, 2025

The TinyLlama project is an open endeavor to pretrain a 1.1B Llama model on 3 trillion tokens.

Python 8,879 591 Updated May 3, 2024

Get up and running with GLM-4.7, DeepSeek, gpt-oss, Qwen, Gemma and other models.

Go 160,848 14,315 Updated Jan 28, 2026

This repository aims to compile all Flare-On challenge binaries and write-ups. Update: 2014 -2024.

373 53 Updated Mar 24, 2025

A cargo-subcommand to speed up Rust Docker builds using Docker layer caching.

Rust 2,462 133 Updated Nov 10, 2025

LLEF is a plugin for LLDB to make it more useful for RE and VR

Python 458 23 Updated Jan 8, 2026

a generic package manager, for including other people's code in your projects

Python 1,140 71 Updated Oct 22, 2025
Next