balasub

formula

FORMULA 2.0: Formal Specifications for Verification and Synthesis

ml-engineering

Machine Learning Engineering Open Book

chathn

Chat with Hacker News using natural language. Built with OpenAI Functions and Vercel AI SDK.

prompt-engineering

Tips and tricks for working with Large Language Models like OpenAI's GPT-4.

ControlNet

Let us control diffusion models!

Fuzzing101

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

nle

The NetHack Learning Environment

stable-diffusion

A latent text-to-image diffusion model

Terminal.Gui

Cross Platform Terminal UI toolkit for .NET

RsaCtfTool

RSA attack tool (mainly for ctf) - retrieve private key from weak public key and/or uncipher data

seer

Seer - a gui frontend to gdb

vulhub

Pre-Built Vulnerable Environments Based on Docker-Compose

osint_stuff_tool_collection

A collection of several hundred online tools for OSINT

core-to-core-latency

Measures the latency between CPU cores

FISSURE

The RF and reverse engineering framework for everyone. Follow and ★ to show your support!

ctf-katana

This repository aims to hold suggestions (and hopefully/eventually code) for CTF challenges. The "project" is nicknamed Katana.

formula-dotnet

MicrocodeDecryptor

PINKPANTHER

Windows x64 handcrafted token stealing kernel-mode shellcode

pamspy

Credentials Dumper for Linux using eBPF

TripleCross

A Linux eBPF rootkit with a backdoor, C2, library injection, execution hijacking, persistence and stealth capabilities.

silero-models

Silero Models: pre-trained speech-to-text, text-to-speech and text-enhancement models made embarrassingly simple

magmide

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

tree-sitter-formula

Formula grammar for tree-sitter