This website requires JavaScript.
Explore
Help
Sign In
phc
/
lean4game
Watch
6
Star
1
Fork
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
main
lean4game
/
relay
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
Delete Directory
History
matlorr
5b0715629a
Adjust memory to be approx. the same as by htop
2025-01-10 12:11:06 +01:00
..
bubblewrap.sh
add comment
2023-12-12 14:42:02 +01:00
cpu_usage.py
Fix turning stats to zero by casting them to int before multiplying.
2024-12-28 11:13:11 +01:00
import.mjs
separate lean server from socket server
2023-12-09 22:42:40 +01:00
index.mjs
Create CPU-usage script
2024-12-20 17:09:12 +01:00
stats.sh
Adjust memory to be approx. the same as by htop
2025-01-10 12:11:06 +01:00
unpack.sh
fix: remove tmp files after import
2024-01-15 12:15:12 +01:00