Yan Mendes's repositories
Language:RustApache-2.0000
HVM
A massively parallel, optimal functional runtime in Rust
Language:CudaApache-2.0000
Language:RustApache-2.0000
kind
Temporary repository for Kind2's refactor based on HVM2
Language:RustMIT000
Kindelia
Kindelia: an efficient, secure cryptocomputer
Language:Rust000
Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Language:RustMIT000
uwuchat
chat based messaging and rollback state computer
Language:JavaScript000