jaybosamiya

Jay Bosamiya's repositories

security-notes

:notebook: Some security related notes

457 350

busysteg

:ghost: Hide information content into busy areas of images, optimally

Language:C++63 4 2

fuzzing-numpy

:snake: Experiments in trying to find 0-days in numpy

Language:CApache-2.040 20

nautilus-interactive-typeahead-debian

:cake: Bring back Interactive Typeahead to Nautilus on Debian

Unlicense16 60

automatic-differentiation

:chart_with_upwards_trend: Find first derivatives of functions automagically

Language:OCaml10 50

latex-paper-template

:book: A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.

Language:Python8 40

CTF-pwn-tips

Here records some tips about pwn.

6 40

dotfiles

A collection of my dotfiles.

Language:Standard ML5 40

simple-raytracer-ocaml

:flashlight: A simple raytracer written in OCaml (quick hacky code written in <2 hours)

Language:OCamlUnlicense5 40

fstardoc

Tool for nicely extract documentation for F* files

Language:F*2 30

lowstar-dlist-trials

[WIP] Writing low* code to implement dlists

Language:F*Apache-2.02 30

simple-raytracer

:flashlight: A simple raytracer written in C++ (quick hacky code written in <2 hours)

Language:C++Unlicense2 40

to-spotify

:musical_note: Be able to add playlists to spotify from terminal

Language:PythonMIT2 20

benchify

A tool for declaratively specifying and running benchmarks of different tools against various tests

Language:RustBSD-3-Clause1 40

bent-function-analysis

A set of tools made to make analysis of bent functions easier

Language:OCaml1 30

cmu-csd-phd_csd-blog

CSD Blog

Language:SCSS1 20

cpython

The Python programming language

Language:PythonNOASSERTION1 30

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION1 20

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispMIT1 20

FStar

Verification system for effectful programs

Language:OCamlApache-2.01 30

inline-crate

Inline an entire crate into a single file

Language:RustBSD-3-Clause100

nixpkgs

Nix Packages collection

Language:NixMIT1 20

poly1305-equivalence

Proving equivalence of spec for Poly1305 in HACL* and Vale

Language:Makefile1 30

ppp-public-writeup-fork

CTF write-ups by Plaid Parliament of Pwning

Language:Python100

preeny

Some helpful preload libraries for pwning stuff.

Language:CBSD-2-Clause1 20

vale-mode.el

:wrench: Emacs support for Vale

Language:Emacs LispApache-2.01 20

cmu-csd-thesis-template

A template-ified version of my PhD thesis

Language:Python000

forked--binary_type_inference

Forked from ToB

GPL-3.0000

rtx

Runtime Executor (asdf rust clone)

Language:RustMIT010

verus-pest

A pest grammar for Verus

Language:Rust020