A collection of tools for writing technical documents that mix Rocq code and prose.
Repository Index
47,133 repositories indexed
49–72 of 96 · Most stars
Stealing CSRF tokens with CSS injection (without iFrames)
A simple, functional HTTP client library for F#
- http
- f-sharp
- http-client
The most comprehensive Hack The Box writeup collection - 500+ machines, 400+ challenges, interactive knowledge graph, skill trees, attack path diagrams, ProLabs, Sherlocks, OSCP/CPTS/CRTO prep. Browse: momenbasel.github.io/htb-writeups
- active-directory
- cheatsheet
- ctf
- cybersecurity
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
Who do websites think you are? A privacy self-check: every sniffer any site can run, the portrait they paint, and the contradictions that give away a VPN or proxy
- browser-fingerprinting
- cloudflare-workers
- dns-leak
- network-tools
Proper YAML support for Objective-C. Based on recommended libyaml.
An Objective-C framework for your everyday HTML needs.
Quantum Insert
- quantum-insert
- python
- detection
- pcap
functional data manipulation for pandas
Collection of tools and scripts useful to automate microscopy workflows in ZEN Blue using Python and Open Application Development tools and AI tools.
- python
- microscopy
- scripting
- automation
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
Create transactional email with a fluent interface (.net)
- dotnetcore
- fluent-interface
- csharp
- dotnet
US federal income tax forms and instructions as cited, executable, machine-checkable data.
A Python library and command line tools to provide interactive log visualization.
- cybersecurity
- investigation
- malware-analysis
- malware-research
Interactive voting results for PHP RFC process.
PureMVC Standard Framework for ActionScript 3
(THIS IS THE PUBLIC VERSION) Muse-by-Meta usage audit companion designed for those who want to understand Muse’s actions during a multi-step task without pretending to have telemetry they can’t actually access.Check out Muse, your personal AI agent. Code: 5F2V31 https://muse.ai/join
- meta
- metaai
- metaai-api
- metaai-download
EasyAGAL is an open source ActionScript library that simplifies coding assembly language shaders. Advantages include: Code completion and hinting, easier-to-read code, macro libraries -- including trigonometry functions like atan2(), color blending formulas from Photoshop, and more -- ready to use in your own shaders.
Second Brain automation for Obsidian vaults — entity management, ingestion, compression, and sync via Claude Code skills
- ai
- claude-code
- claude-code-plugin
- claude-code-skill
Node-Red Nodes for interacting with Alexa
A collection of nodes for the IBM Watson services
- node-red
- watson
Modular web-application honeypot platform built using go and gin
- cti
- cyber-threat-intelligence
- golang
- honeypot
A curated dataset of malware and benign Windows executable samples for malware researchers
- machine-learning
- deep-learning
- malware-research
- malware-detection