Nicole Vadot ninivert
aarondewindt
/ adt.py
Last active
July 4, 2025 20:29
Experimental Algebraic Data Types implementation in Python 3.10
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from dataclasses import dataclass | |
| class ADTMeta(type): | |
| def __new__(mcs, name, bases, namespace: dict): | |
| adtc_class = super().__new__(mcs, name, bases, namespace) | |
| if "__is_adt_variant__" in namespace: | |
| if namespace["__is_adt_variant__"]: | |
| return adtc_class |
idolpx
/ download.py
Last active
April 9, 2020 22:17
— forked from mjohnsullivan/download.py
Python HTTP download with resume and optional MD5 hash checking
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import os.path | |
| import requests | |
| import shutil | |
| import hashlib | |
| import logging | |
| def validate_file(file_path, hash): | |
| """ | |
| Validates a file against an MD5 hash value | |
steventhebrave
/ make-sounds.html
Created
September 25, 2017 13:19
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html> | |
| <head><title>SOUND</title></head> | |
| <body> | |
| <div>Frequence: <span id="frequency"></span></div> | |
| <script type="text/javascript"> | |
| var audioCtx = new (window.AudioContext || window.webkitAudioContext)(); | |
| var oscillatorNode = audioCtx.createOscillator(); | |
| var gainNode = audioCtx.createGain(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //spam message the chats with thirugram.js | |
| //open up telegram web and go to the chat you want to spam | |
| //open console ( Ctrl + Shift + J ) | |
| //execute the code | |
| var message = ""; //spam message | |
| var interval = 1 ; // in seconds | |
| var count = 10 ; //number of times to send | |
| var notifyInterval = 5 ; //notify | |
| var i = 0 ; | |
| var timer = setInterval(function(){ |