Grodno, Belarus

Daniil Kisel

Expert
@KislyjKisel

Raylib.lean. Raylib bindings for Lean4

31

lean4-gameOfLife. Raylib.lean example implementing game of life

6

lean-pod. Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)

6

scoped-effects. Based on https://github.com/JonasHoefer/scoped-effects-agda

1
4
Apply