Skip to content

Instantly share code, notes, and snippets.

View scollovati's full-sized avatar

Stefano Collovati scollovati

View GitHub Profile
@federicocarboni
federicocarboni / layout.ahk
Last active February 6, 2024 23:16
Digita Backtick ` e Tilde ~ su Windows senza Tastierino Numerico
<^>!'::Send `` ; AltGr + ' => `
<^>!vkDD::Send ~ ; AltGr + ì => ~
@mika76
mika76 / stars.ps1
Last active January 28, 2024 15:08 — forked from sebble/stars.sh
List all starred repositories of a GitHub user.
[CmdletBinding()]
param (
[Parameter()]
[string]
$user = "mika76"
)
$URL = "https://api.github.com/users/$user/starred"
$PAGE = 0
@lyshie
lyshie / config-deb-i386.json
Last active November 17, 2023 00:06
Scratch Desktop (Scratch 3.0 Offline Editor) on GNU/Linux
{
"src": "/tmp/scratch-desktop/",
"dest": "/tmp/",
"arch": "i386",
"icon": "/tmp/scratch-desktop/resources/Icon.png",
"categories": [
"Education"
]
}
@SpotlightKid
SpotlightKid / clone-gists.py
Last active April 11, 2024 15:31
Clone all gists of GitHub username given on the command line.
#!/usr/bin/env python
# -*- coding: utf-8 -*-
"""Clone all gists of GitHub user with given username.
Clones all gist repos into the current directory, using the gist id as the
directory name. If the directory already exists as a git repo, try to perform a
'git pull' in it.
"""
@shiffman
shiffman / sketch1.js
Created September 15, 2015 20:02
10PRINT in p5.js
// 10print.org
// Animated version of 10 print.
var x = 0;
var y = 0;
function setup() {
createCanvas(640, 360);
background(255);
}