Please read the profile README.
-
University of Michigan ’2030
- Shangha / Ann Arbor
- https://runxiyu.org
- https://lindenii.org
Stars
1
star
written in OCaml
Clear filter
Systems language with linear types and capability-based security.