Skip to content

Instantly share code, notes, and snippets.

View teaishealthy's full-sized avatar
🧑‍🎓
studying hopefully

teaishealthy

🧑‍🎓
studying hopefully
  • Bonn, Germany
  • 08:33 (UTC +01:00)
View GitHub Profile
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Roughtime at teax.dev</title>
<style>
* {
box-sizing: border-box;
import asyncio
import inspect
from collections.abc import Callable, Iterable
from typing import Optional, Union
import nextcord
N_TOTAL = 150 # total messages created
AFTER_MESSAGE = nextcord.Object(id=...)
@teaishealthy
teaishealthy / networkmanager.py
Created September 21, 2025 18:07
tinkering around network mangers p2p interface
import logging
from pprint import pprint
from dbus_next.aio.message_bus import MessageBus
from dbus_next.constants import BusType
from dbus_next.signature import Variant
logger = logging.getLogger(__name__)
P2P_DEVICE_TYPE = 30
@teaishealthy
teaishealthy / rpc.py
Created June 2, 2025 17:10
teaRPC - portable Redis* RPC
import asyncio
import json
import traceback
import uuid
from typing import (
Any,
Awaitable,
Callable,
Coroutine,
Literal,

Keybase proof

I hereby claim:

  • I am teaishealthy on github.
  • I am teaishealthy (https://keybase.io/teaishealthy) on keybase.
  • I have a public key ASACEgREWCJklQi3s2D51wQPBLwxaeeY4uwGS5LF_BNxmQo

To claim this, I am signing this object:

from collections import defaultdict
import json
from typing import Any, DefaultDict
import websocket
import requests
from websocket import WebSocketApp
from threading import Event
from concurrent.futures import ThreadPoolExecutor, wait
import time
@teaishealthy
teaishealthy / chess.py
Last active February 18, 2023 22:17
Extremely simplistic chess engine, does not implement en passant or castling (yet)
from __future__ import annotations
from enum import Enum, auto
import operator
from typing import Iterator, NamedTuple
class Color(Enum):
WHITE = 1
BLACK = 2
@teaishealthy
teaishealthy / remove-pycord.js
Created June 30, 2022 15:06
Remove pycord from discord.com/developers
// ==UserScript==
// @name Remove pycord
// @namespace http://tampermonkey.net/
// @version 0.1
// @description Remove pycord from discord.com/developers
// @author teaishealthy
// @match https://discord.com/developers/docs/topics/community-resources
// @icon https://www.google.com/s2/favicons?sz=64&domain=discord.com
// ==/UserScript==
import ast
import importlib
import inspect
from os.path import samefile
from types import ModuleType
from typing import Any, Set, Tuple
import watchgod
@teaishealthy
teaishealthy / aternos.py
Last active July 22, 2021 15:54
aternos client in python
"""
This module serves as a way to interact with your aternos server
"""
import re
import pyppeteer
from bs4 import BeautifulSoup
class Aternos():
"""
Main class for building a connection