what game library to use for Lean?

Stream: lean4

[Srayan Jana]

I’ve done a bit of googling and found a couple
https://github.com/funexists/raylean/

• raylib bindings that use Rust for some odd reason
  https://github.com/KislyjKisel/Raylib.lean

• more “traditional” raylib bindings
  https://github.com/Anderssorby/SDL.lean

• SDL bindings (seem abandoned)

I don’t think this is really the same thing, but honorary mention to the Lean Game Server
https://github.com/leanprover-community/lean4game

Has anyone tried any of these? Are there more that I haven’t heard of yet?

[Srayan Jana]

On closer inspection, Raylean seems more like a full fledged game engine, including an ECS (!!!!) and a sample game
https://github.com/funexists/jessicacantswim

[Andrés Goens]

Haven't tried any of those, but just wanted to say I love the name of that organization, "fun exists"!

[Jon Eugster]

indeed, lean4game does not really have anything to do with video games and doesn't use any of the mentioned libraries.