Skip to content

Instantly share code, notes, and snippets.

@MichalPt
MichalPt / readleaf.user.js
Last active January 24, 2025 12:09 — forked from tillahoffmann/readleaf.user.js
Readcube-Overleaf integration: support for Papers 5.0.13
// ==UserScript==
// @name Readcube-Overleaf integration
// @namespace https://tillahoffmann.github.io/
// @version 0.5
// @description Adds an "Update Library" button to Overleaf that allows you to import your Readcube library.
// @author Till Hoffmann, Michal Ptacek
// @match https://www.overleaf.com/*
// @connect readcube.com
// @grant GM_xmlhttpRequest
// ==/UserScript==
@haf
haf / LICENSE
Last active February 14, 2024 11:15
Setting up a digitalocean proxy
https://www.gnu.org/licenses/gpl-3.0.en.html
GNU GENERAL PUBLIC LICENSE v3