pokhym

pokhym's repositories

mdr

PC tool to replace the auto-update/download features of Tachiyomi extensions post v0.15.2. To be used with software such as Kavita/Komga.

Language:Python3 10

binCynth

Synthesizing black boxed library functions via symbolic execution and component based synthesis.

Language:Python1 20

LDP

LDP Experiments/Implementations

Language:C++1 20

BACnet.Examples

Examples how to use System.IO.BACnet

Language:C#MIT010

ConcurrentActorGC

Concurrent Garbage Collection in the Actor Model

000

cs460

pushed for shit

Language:Python010

eve-o-preview

An EVE client window switcher tool created to aid playing with multiple clients in CCP game EVE Online

Language:C#MIT000

guidb

An easy way to tag, view, and sort your media.

Language:Python020

leet-code

leet-code solutions

Language:C++000

nim-utils

stuff i wrote for nim

Language:Nim000

RandomStuff

This repository contains random stuff that I have written and is useful. For example libraries and proved systems.

Language:OCaml020

linux-insides

A little bit about a linux kernel

010

MVT

Maude Verification Tool

010

PICalc

PI Calculator

Language:Python000

pokhym.github.io

Language:JavaScriptMIT000

python-course-udemy

These are notes for a Udemy Python Course

Language:Python000

scrapy

Scrapy, a fast high-level screen scraping and web crawling framework for Python.

Language:PythonBSD-3-Clause000

shortcut

ShortCut: Accelerating Mostly-Deterministic Code Regions

Language:CBSD-2-Clause000

Spoon-Knife

This repo is for demonstration purposes only.

Language:HTML010

vimrc

vim config

Language:Vim Script010