Derenash's repositories
MIT000
Language:Cuda000
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Language:RustMIT000
Kind2
Kind refactor based on HVM
Language:Rust000
kind2.0
Temporary repository for Kind2's refactor based on HVM2
Language:Rust000
LeagueReplays
Processes `.rofl` replay files from League of Legends matches, extracts relevant statistical data, and displays it in a web interface.
Language:Python000
000
LolReplays
processes `.rofl` replay files from League of Legends matches, extracts relevant statistical data, and displays it in a web interface.
Language:Python000