Pinned Repositories
calamity-build
calamity-front-end
class
farsantes-game
hots-map
hotslike
HVM2-WIP
IcSim
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Wikinder
Vast collection of Kind2 definitions
Derenash's Repositories
Derenash/IcSim
Derenash/Wikinder
Vast collection of Kind2 definitions
Derenash/calamity-build
Derenash/calamity-front-end
Derenash/class
Derenash/farsantes-game
Derenash/hots-map
Derenash/hotslike
Derenash/HVM2-WIP
Derenash/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Derenash/Kind2
Kind refactor based on HVM
Derenash/kind2.0
Temporary repository for Kind2's refactor based on HVM2
Derenash/LeagueReplays
Processes `.rofl` replay files from League of Legends matches, extracts relevant statistical data, and displays it in a web interface.
Derenash/Loot-and-Run
Derenash/LolReplays
processes `.rofl` replay files from League of Legends matches, extracts relevant statistical data, and displays it in a web interface.