Skip to content

Instantly share code, notes, and snippets.

View isti115's full-sized avatar

István Donkó isti115

18 followers · 13 following
View GitHub Profile
@isti115
isti115 / Cursor.ahk
Created September 5, 2018 20:05
AutoHotKey script mainly for cursor navigation without leaving the area around the home row. It uses the extra key next to "z" on a 102 key keyboard.
#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")
@isti115
isti115 / Hilbert.agda
Last active April 30, 2020 02:23
Hilbert system formalization in Agda
module Hilbert where
-- postulate
-- Identifier : Set
-- a b c x y z : Identifier
-- bot : Identifier
infixr 4 _=>_
data Expression : Set where
@isti115
isti115 / amixer-c1.txt
Last active May 18, 2020 19:47
Pulseaudio mirophone output feedback problem
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
isti115 / cursor.ahk
Created December 30, 2019 18:14
#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")
@isti115
isti115 / agda.sh
Created September 13, 2020 10:23
BE-AD test script for checking solutions of tasks in Agda
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
isti115 / MedianSort.hs
Created March 29, 2021 22:44
Haskell solution for Median Sort interactive problem from the Qualification Round of Google Code Jam 2021
{-# 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
isti115 / discord-auth-fix.user.js
Created April 24, 2021 20:42
Fix the Discord authentication issue with differing inner and outer widths (e.g. QuteBrowser tabs on the left)
// ==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
isti115 / sknorm.agda
Last active September 20, 2021 09:45
Normalization proof for SK combinator calculus using Agda
{-# 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
isti115 / fuzzel-translate.sh
Last active July 12, 2023 12:47
Quick translation utility using `fuzzel` and `translate-shell`
#! /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
isti115 / gamepad-control.py
Created June 19, 2020 20:10
Proof of concept blender addon for controlling the viewport with a gamepad (evdev python module needed, only tested under linux)
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