hardworkar
coq & isabelle-HOL & clj & haskell & c/c++ & cuda & prolog & lisp & java & kt & python & cdm8-asm & Shoenfield MC & PROMELA & php & js & ts & vue.js & html dev
Pinned Repositories
ctw
implementation of the CTW algorithm
driven-by-compression
gemsh
Simple shell implementation.
goedel-machine
build a scientist better than me
hm-type-inference
антихайп
octo
Low-level graphics education
oxigine
Oxigine is a place for me to cry about vulkan
realtime-deformations
Snow simulation (Material Point Method)
simpleMinecraft
блин ну да майнкрафт
hardworkar's Repositories
hardworkar/gemsh
Simple shell implementation.
hardworkar/simpleMinecraft
блин ну да майнкрафт
hardworkar/realtime-deformations
Snow simulation (Material Point Method)
hardworkar/ctw
implementation of the CTW algorithm
hardworkar/driven-by-compression
hardworkar/goedel-machine
build a scientist better than me
hardworkar/hm-type-inference
антихайп
hardworkar/platforms2019
hardworkar/19214morozovOOP
hardworkar/aemorozov_19214
hardworkar/octo
Low-level graphics education
hardworkar/oxigine
Oxigine is a place for me to cry about vulkan
hardworkar/Vulkan-playground
hardworkar/bioinformatics
hardworkar/bioinformatics-prediction
hardworkar/bioinformatics-visualization
hardworkar/cas-serializability-test
hardworkar/comp-ling
hardworkar/cuball
CUDA-based implementation of "Real-Time Rigid Body Simulation on GPUs" [from GPU Gems 3]
hardworkar/entropy-compressed-rs-dict
hardworkar/hardworkar.github.io
hardworkar/java-concurrency
hardworkar/java-internals
hardworkar/learn-coq
hardworkar/nsu_crypto
hardworkar/oxidbg
hardworkar/ram-compression
hardworkar/solvers
Some simple game solvers (mostly using dynamic programming) :)