You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
lean4game/server
Alexander Bentkamp bb8be70bcb error: Tried to spawn a new thread, but 1 year ago
..
.vscode change folder structure 2 years ago
GameServer error: Tried to spawn a new thread, but 1 year ago
test move test 1 year ago
.gitignore bump toolchain 1 year ago
GameServer.lean connect to all game watchdog methods 1 year ago
Main.lean stdout 1 year ago
bubblewrap.sh elan home dynamically 2 years ago
import.mjs add __dirname def 2 years ago
index.mjs load arbitrary games with tags g/local/FolderName 1 year ago
lake-manifest.json fixes of lean bump 1 year ago
lakefile.lean game module import (not quite) 1 year ago
lakefile32.lean bump toolchain 1 year ago
lean-toolchain bump toolchain 1 year ago
main.c didOpen 1 year ago
unpack.sh unzip -o 2 years ago