A collection of tools for writing technical documents that mix Rocq code and prose.
Repository Index
47,133 repositories indexed
313–336 of 649 · Most stars
Continuous area cartograms with d3 and TopoJSON
- cartogram
- javascript
- topojson
- topology
Stealing CSRF tokens with CSS injection (without iFrames)
TranslatedQ&A on buying, topping up, and top-up-on-behalf for ChatGPT Plus / Pro in China: how much it costs, Alipay, no overseas bank card, new activation or renewal on your own account, upgrading from Plus to Pro100 / 5x before Plus expires, Pro200 / formerly 20x and Pro500 plans, Codex usage, verifying that the payment arrived, and order lookup; includes a runnable offline open-source example.
- aixiamo
- alipay
- chatgpt-daichong
- chatgpt-plus
Code for the Outreachy website, based on Python, Django, and Bootstrap.
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
A set of icons for displaying a visual ("analog") representation of time stamps.
Fast, ad-free 60fps home screen for LG webOS TVs: frosted glass app shelf, live weather, trending picks. Open source, unrooted, no telemetry.
- ad-free
- homebrew
- launcher
- lg-tv
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
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
NOTE: This project in not currently maintained.
Polymer admin dashboard
Overview of the electric guitar's parts specs
- guitar
- guitar-bodies
- pickup
- electronics-wiring-options
Cryptographic library for Embarcadero Delphi and potentially for FPC as well
- delphi
- key-deviation-algorithms
- cryptographic-checksums
- kdf1
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
Embed Julia in R
- r
- julia
Browser automation solution for Kubernetes and Openshift supporting Selenium, Playwright, Puppeteer and Cypress
- selenium
- selenium-webdriver
- kubernetes
- selenium-grid
Guesses table DDL based on data
Copilot skills for building feedback loops, delegating safely, and moving repeatable work into automations.
⚡️ Progressively enhance image placeholders once they are in the viewport
- progressive-image
- image-loading
- web-components
- custom-elements
recheck for web apps – change comparison tool with local Golden Masters, Git-like ignore syntax and "Unbreakable Selenium" tests.
- selenium-java
- regression
- testing-tools
- test-automation
🚂✋📖 - Learn the choo framework through a set of exercises
- choo
- workshop
- tutorial
- handbook
💡 document everything
- knowledge
- meta
- processes
- reasearch
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