A collection of tools for writing technical documents that mix Rocq code and prose.
Repository Index
73,862 visible repositories in the index
289–312 of 475 · Most stars
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
Code for the Outreachy website, based on Python, Django, and Bootstrap.
TranslatedLay out articles, case studies, or notes as 3:4 Xiaohongshu image-and-text posts | 1080×1440 | 20 master templates | Light / dark | Claude Code Skill
- ai-agent
- carousel
- chinese
- claude-code
A set of icons for displaying a visual ("analog") representation of time stamps.
NOTE: This project in not currently maintained.
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
Cryptographic library for Embarcadero Delphi and potentially for FPC as well
- delphi
- key-deviation-algorithms
- cryptographic-checksums
- kdf1
Claude Code skill that makes launch videos, ads and music videos from one line: idea, script, visuals, voice, music, edit and review, then a review room where your notes make the next take
- agent-skills
- ai-video
- claude-code
- claude-skills
⚡️ Progressively enhance image placeholders once they are in the viewport
- progressive-image
- image-loading
- web-components
- custom-elements
💡 document everything
- knowledge
- meta
- processes
- reasearch
Design rules and a zero-dependency checker for interfaces built with AI coding agents, on the web and in SwiftUI and Jetpack Compose apps. English and Turkish.
- agent-skill
- design-rules
- design-system
- lint
去除 GPT 生图在二次元 / 番剧图里的风味噪点（包括但不限于鱼鳞状纹理、碎片化细节、碎片化阴影），不重画画面 · Removes the GPT-flavoured noise (fish-scale texture, fragmented detail and shading) from anime images
WebAppSec Content Security Policy
WebGL Shader demos - GPU rendering shader experiments with procedural 3D scene generation using ray marching and distance field (also known as 'sphere tracing') rendering techniques.
a nodeschool workshop that teaches you the fundamentals of working with binary data in node.js and HTML5 browsers
A Blazor component for choosing date ranges and dates
- blazor
- daterangepicker
AI motion graphics for YouTube explainer videos: 74 animated HTML explainer boards (charts, diagrams, Venn, timeline, heatmap) synced to your voice with Whisper, exported frame by frame with Chrome + FFmpeg. Every prompt + Claude skills. By TEIN AI.
One command downloads a complete offline, no-internet emergency library: local AI (CPU/GPU), document Q&A, full Wikipedia, offline maps for any country/region (default US), survival/repair/medical archives, and public-domain manuals. Asks only where to save.
- claude
- claude-code
- emergency-preparedness
- kiwix
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
Open source privacy notice design patterns.
- privacy-notice
- icons
- legal-documents
Build RL environments for any domain from real cases that Browser Use agents mine from the web
Code and content for andrewheiss.com
- quarto