isti115

# Discord splash screen loading tip messages
#
# They show up for a very short time, sometimes making it hard for me to read
# them, and if I manage to read one partially, whatever mental disorder I have
# drives me crazy about not knowing the rest of it. I couldn't find an up to
# date list, so I extracted them from the source to make it easier to search
# for them online.

UPDATED_AT = 2023-10-03

isti115

#! /usr/bin/env sh

# Quick translation utility using `fuzzel` and `translate-shell`
# Written by Isti115 (on 2022-02-11)

# Dependencies:
# - fuzzel: https://codeberg.org/dnkl/fuzzel (Language selection and text entry)
# - translate-shell: https://github.com/soimort/translate-shell (Translation)

# Demo screencast: https://imgur.com/a/NYXpUHC

isti115

{-# OPTIONS --rewriting #-}
module sknorm where

open import Agda.Primitive
open import Level
open import Relation.Binary.PropositionalEquality
open import Agda.Builtin.Equality.Rewrite
open import Data.Product
open import Data.Empty

isti115

// ==UserScript==
// @name         Discord Auth Fix
// @namespace    http://istvan.donko.hu/
// @version      0.1
// @description  Fix Discord auth issue with window sizing
// @author       István Donkó (Isti115)
// @match        https://discord.com/*
// @run-at       document-start
// ==/UserScript==

isti115

{-# LANGUAGE DeriveFoldable #-}

import System.IO
import Control.Monad
import Data.Foldable

data Tree a = Leaf | Node (Tree a) a (Tree a) deriving (Foldable)

singleton :: a -> Tree a
singleton a = Node Leaf a Leaf

isti115

AGDA_STDLIB=/usr/share/agda-stdlib

# build()
#
# Available:
# - submission: the text of submission (file)
# - tests: test cases (file)
# - SANDBOX_PATH: root of the directory where run() will be invoked
build() {
  name=$(cat tests | grep -m 1 -oP "(?<=module ).*(?= where)")

isti115

bl_info = {
    "name" : "Gamepad Control",
    "author" : "István Donkó",
    "description" : "Control the blender viewport using a gamepad",
    "blender" : (2, 80, 1),
    # "location" : "View3D",
    "category" : "Generic"
}

import bpy

isti115

Simple mixer control 'Master',0
  Capabilities: pvolume pvolume-joined pswitch pswitch-joined
  Playback channels: Mono
  Limits: Playback 0 - 87
  Mono: Playback 61 [70%] [-19.50dB] [on]
Simple mixer control 'Headphone',0
  Capabilities: pvolume pswitch
  Playback channels: Front Left - Front Right
  Limits: Playback 0 - 87
  Mono:

isti115

module Hilbert where

-- postulate
--   Identifier : Set
--   a b c x y z : Identifier
--   bot : Identifier

infixr 4 _=>_

data Expression : Set where

isti115

#SingleInstance force
;#NoTrayIcon
Menu, Tray, Icon, C:\Users\isti\programming\AutoHotKey\icons\cursor.ico

;#If GetKeyState("CapsLock", "P")

; --- Space

#If GetKeyState("vkE2", "P") && GetKeyState("Space", "P")