phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,085 Commits 19 Branches 10 Tags
main
Commit Graph
1085 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
aziis98 61ed224788 added fork info to readme 2025-02-08 19:39:28 +00:00
aziis98 39137f6d0b some docs 2025-02-08 19:34:06 +01:00
aziis98 cd5870347b feat: added dockerfile and dockercompose 2025-02-08 19:33:17 +01:00
Jon Eugster 50bf73a0c5 Update publish_game.md 2025-01-30 11:02:20 +01:00
Jon Eugster 39d7af9d3e Merge pull request #287 from leanprover-community/add_game_knights 
feat: add game `Knights and Knaves` by JadAbouHawili
 2025-01-27 11:13:36 +01:00
Jon Eugster 49062cc3d5 add new game 2025-01-26 14:29:54 +01:00
Matvey Lorkish f75389e93f Merge pull request #283 from leanprover-community/server_capacity 
Server capacity
 2025-01-24 14:33:01 +01:00
matlorr 92665b7521 Merge branch 'main' into server_capacity 2025-01-24 13:52:18 +01:00
matlorr 1845644e86 Extract fetching of stats and perform it every 2 seconds 2025-01-24 13:51:28 +01:00
Matvey Lorkish 341a9ae14b Merge pull request #281 from leanprover-community/server_capacity 
Adjust memory to be approx. the same as by htop
 2025-01-10 12:18:14 +01:00
matlorr 0895821baa Merge branch 'main' into server_capacity 2025-01-10 12:15:28 +01:00
matlorr 5b0715629a Adjust memory to be approx. the same as by htop 2025-01-10 12:11:06 +01:00
Matvey Lorkish 39e08194f6 Merge pull request #280 from leanprover-community/server_capacity 
Fixed display error of server capacity by performing rounding as last…
 2025-01-10 10:16:09 +01:00
matlorr 451dc262b2 Fixed display error of server capacity by performing rounding as last step. 2025-01-10 10:13:36 +01:00
matlorr 52898d93e7 Fix turning stats to zero by casting them to int before multiplying. 2024-12-28 11:13:11 +01:00
matlorr 5f30572741 Merge branch 'main' of github.com:leanprover-community/lean4game 2024-12-28 10:10:14 +01:00
matlorr 76f2414bd5 Refactor stats.sh to be more efficient. 2024-12-28 10:08:53 +01:00
Jon Eugster f1f9325c54 update gitignore 2024-12-22 11:18:00 +01:00
matlorr bd3375ada7 Create CPU-usage script 2024-12-20 17:09:12 +01:00
ADAM 64f34acd7a TMP: set github token 2024-12-10 17:47:10 +00:00
TentativeConvert ae38ad977a update redirects 2024-12-10 14:35:27 +01:00
TentativeConvert a191c47b8e update queue of pre-loaded games 2024-12-10 14:28:30 +01:00
Jon Eugster 0e58e81875 parse CPU/MEM usage as integer. 2024-11-25 12:38:16 +01:00
Marcus Zibrowius f0aa6b58ed Edits on landing page, with updates to German & Spanish translations. 
modified:   ../de/translation.json
	modified:   ../en/translation.json
	modified:   ../es/translation.json
	modified:   ../ko/target/translation.json
	modified:   translation.json
	modified:   ../../../src/components/landing_page.tsx
 2024-11-08 16:51:38 +01:00
Matvey Lorkish 045b1ea3fb Merge pull request #261 from leanprover-community/stats 
feat: improved stat logging
 2024-10-25 08:08:18 +02:00
matlorr dc6f7b2822 Specify that logs should be created relative to the current working directory. 2024-10-21 08:02:08 +00:00
Jon Eugster db5ac7ed15 Merge pull request #269 from chabulhwi/fix-korean 
fix `config.json` and add Korean translation
 2024-10-20 15:02:13 +02:00
Jon Eugster 6a0e739301 Merge pull request #267 from chabulhwi/update-npm-deps 
update npm deps
 2024-10-20 14:55:14 +02:00
Jon Eugster ed96cf9534 Merge pull request #268 from chabulhwi/add-translation-keys 
add some translation keys
 2024-10-20 14:54:13 +02:00
Bulhwi Cha 64670d1579 fix config.json and add Korean translation 
* In the `config.json` file, the ISO code representing Korean should be
  `ko`, not `kr`.
* Remove the `client/public/locales/kr` subdirectory.
* Add the `client/public/locales/ko` subdirectory, which itself is the
  OmegaT project for the Korean translation of `lean4game`.

OmegaT[0] is a translation memory application intended for professional
translators. I use it to translate English documentation into Korean.

[0] https://omegat.org/
 2024-10-18 13:10:10 +09:00
Bulhwi Cha 25141b9613 add some translation keys 2024-10-17 20:03:46 +09:00
Bulhwi Cha ab9d0d0679 add some translation keys 2024-10-17 19:38:41 +09:00
Bulhwi Cha 6dca770dbf update npm deps 2024-10-17 19:32:36 +09:00
matlorr 2022fa9a44 Added logging game-access data 2024-10-11 09:10:39 +00:00
Jon Eugster b77afebe0a add sample 2024-10-01 14:54:13 +02:00
matlorr 4ac38ef7dd Refactored stats.sh to display approx. cpu usage and mem usage in .csv format 2024-10-01 08:28:07 +00:00
Jon Eugster 6a8abf41bd implement stats script 2024-09-29 14:02:56 +02:00
Jon Eugster 1466a41169 fix fetch url for stats 2024-09-29 12:43:51 +02:00
Jon Eugster 3cdb9a026b fix stats 2024-09-29 12:39:09 +02:00
Jon Eugster ebd7268421 feat: add option to display server capacity 2024-09-26 18:07:25 +02:00
Jon Eugster af15982804 Merge pull request #260 from 0417taehyun/feat/generate-structure-of-korean-document 
feat: Generate a structure of Korean document
 2024-09-07 20:15:16 +02:00
Taehyun Lee 5a404a9a58 Generate translation.json of Korean 2024-09-07 21:16:18 +09:00
Taehyun Lee cebea6a6aa Add Korean on config.json 2024-09-07 21:14:59 +09:00
Jon Eugster 36499c0257 add note for servers with different base url 2024-08-27 14:52:20 +02:00
Jon EugsterandJadAbouHawili 8c5e47dd7b improve doc, adaptation of #250 
Co-authored-by: JadAbouHawili <jad-abou-hawili@hotmail.com>
 2024-07-31 17:13:24 +02:00
Jon Eugster a46840d327 Merge pull request #253 from pitmonticone/fix-typos 
Fix typos
 2024-07-25 06:50:11 +02:00
Pietro Monticone f518efc81c Update LetIntros.lean 2024-07-24 11:06:26 +02:00
Pietro Monticone 9b93e3817d Update RpcHandlers.lean 2024-07-24 11:06:24 +02:00
Pietro Monticone 54c1e0dcaf Update FileWorker.lean 2024-07-24 11:06:22 +02:00
Pietro Monticone 2c1e69611b Update Commands.lean 2024-07-24 11:06:21 +02:00