Rust-远程-1个月

项目编号：【22453】
我是一名在读博士，过去两年在写一门编程语言，项目接近成型，但是近期手指受伤，希望找到帮手。http://github.com/xiyuzhai/husky。主要用Rust，涉及前端后端（前端也是Rust），还在用Lean4写language specification。合作会完全以开源形式进行。时间灵活，我在美国东部，可以进行结对编程。