Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
12
 Projects Packages Public Activity Starred Repositories
9
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
RustCallLean
Rust 0 0
Example of calling Lean from Rust via the FFI
Updated 2024-04-12 16:09:37 -07:00
udon
Rust 0 0
WIP: Wayland kanban screenlocker
Updated 2023-09-11 16:10:19 -07:00