Pinned Repositories
BACnet.Examples
Examples how to use System.IO.BACnet
binCynth
Synthesizing black boxed library functions via symbolic execution and component based synthesis.
ConcurrentActorGC
Concurrent Garbage Collection in the Actor Model
cs460
pushed for shit
eve-o-preview
An EVE client window switcher tool created to aid playing with multiple clients in CCP game EVE Online
guidb
An easy way to tag, view, and sort your media.
LDP
LDP Experiments/Implementations
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.
nim-utils
stuff i wrote for nim
RandomStuff
This repository contains random stuff that I have written and is useful. For example libraries and proved systems.
pokhym's Repositories
pokhym/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.
pokhym/binCynth
Synthesizing black boxed library functions via symbolic execution and component based synthesis.
pokhym/LDP
LDP Experiments/Implementations
pokhym/BACnet.Examples
Examples how to use System.IO.BACnet
pokhym/ConcurrentActorGC
Concurrent Garbage Collection in the Actor Model
pokhym/cs460
pushed for shit
pokhym/eve-o-preview
An EVE client window switcher tool created to aid playing with multiple clients in CCP game EVE Online
pokhym/guidb
An easy way to tag, view, and sort your media.
pokhym/leet-code
leet-code solutions
pokhym/nim-utils
stuff i wrote for nim
pokhym/RandomStuff
This repository contains random stuff that I have written and is useful. For example libraries and proved systems.
pokhym/linux-insides
A little bit about a linux kernel
pokhym/MVT
Maude Verification Tool
pokhym/nvim
pokhym/PICalc
PI Calculator
pokhym/pokhym.github.io
pokhym.github.io
pokhym/python-course-udemy
These are notes for a Udemy Python Course
pokhym/scrapy
Scrapy, a fast high-level screen scraping and web crawling framework for Python.
pokhym/shortcut
ShortCut: Accelerating Mostly-Deterministic Code Regions
pokhym/Spoon-Knife
This repo is for demonstration purposes only.
pokhym/vimrc
vim config