Awesome Lean / Libraries
16Graphics, GUI & Games
12 entries
- lean-sdl3SDL3 bindings.ValorZard/lean-sdl3
- lean-sdl3 (philnguyen)Comprehensive SDL3 bindings (lean-compose-ui is a cross-platform UI library built on them).philnguyen/lean-sdl3
- SDL.leanSDL2 bindings.Anderssorby/SDL.lean
- Raylib.leanBindings to the raylib game library.KislyjKisel/Raylib.lean
- rayleanBindings to the raylib game library.funexists/raylean
- lean-vulkanProof-of-concept Vulkan bindings.kuruczgy/lean-vulkan
- lean-wgpuWebGPU bindings via wgpu-native.Kiiyya/lean-wgpu
- HesperVerified GPU programming with type-safe WebGPU shaders.Verilean/hesper
- LeanPlotPlotting with deterministic SVG and PNG backends.alok/LeanPlot
- vizagramsVisualization library.arademaker/vizagrams
- LeanReactWrite React components in Lean that compile to JavaScript (experimental).theoriclabs/lean-react
- lean4-godotExperimental bindings to the Godot 4 game engine.kiranandcode/lean4-godot