#
Starred repositories
Python implementations of cryptographic attacks and utilities.
curl-impersonate: A special build of curl that can impersonate Chrome & Firefox
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Cheatsheet useful for solving Python-related challenges during CTFs.
This is a tool that converts java structure test (give on java exams in ELTE) to the skeleton of the java Project. It creates the files, sets packages, class, interface name, inheritance properties…
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Ostorlab KEV: One-command to detect most remotely known exploitable vulnerabilities. Sourced from CISA KEV, Google's Tsunami, Ostorlab's Asteroid and Bug Bounty programs.
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
Robust Video Matting in PyTorch, TensorFlow, TensorFlow.js, ONNX, CoreML!
Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications
🌘 Scope your inline style tags in pure vanilla CSS! Only 16 lines. No build. No dependencies.
🗿 Mini jQuery alternative. Dependency-free animations. Locality of Behavior. Use one element or arrays transparently. Pairs with htmx. Vanilla querySelector() but better!
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Powerful RSA cracker for CTFs. Supports RSA, X509, OPENSSH in PEM and DER formats.
Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Find, Filter, Preview, Pick. All lua, all the time.
surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease