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

  • Admin of this website

  • Joined on 2023-08-21
Repositories
22
 Projects Packages Public Activity Starred Repositories
2
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