Pinned Repositories
agda-ffi-hs-example-image-manip
chip8-lean4
Chip8 interpreter written in Lean4
http
Basic HTTP definitions and parsing for Lean
lean-pod
Low level utils (native signed integers and single precision float, byte spans etc)
lean4-gameOfLife
Raylib.lean example implementing game of life
Raylib.lean
Raylib bindings for Lean4
Socket.lean
A toy implementation of socket programming for Lean 4.
KislyjKisel's Repositories
KislyjKisel/Raylib.lean
Raylib bindings for Lean4
KislyjKisel/lean4-gameOfLife
Raylib.lean example implementing game of life
KislyjKisel/Socket.lean
A toy implementation of socket programming for Lean 4.
KislyjKisel/http
Basic HTTP definitions and parsing for Lean
KislyjKisel/lean-pod
Low level utils (native signed integers and single precision float, byte spans etc)
KislyjKisel/agda-ffi-hs-example-image-manip
KislyjKisel/chip8-lean4
Chip8 interpreter written in Lean4
KislyjKisel/3d-math
A library implementing the necessary linear algebra math for 2D and 3D computations
KislyjKisel/agda-ffi-hs
Bindings to Haskell's libraries for Agda
KislyjKisel/array-utils
A tiny collection of utilities to work with arrays and vectors.
KislyjKisel/backpg
KislyjKisel/cl-autowrap
(c-include "file.h") => complete FFI wrapper
KislyjKisel/cl-blend2d
KislyjKisel/cl-sdl3
KislyjKisel/cl-wgpu
KislyjKisel/cl-yogalayout
KislyjKisel/klg-fxwfxp
Fixed width fixed point numbers (for computation)
KislyjKisel/kslgui
GUI library created as part of an extensible game asset editor project
KislyjKisel/lean4-parser
Parser Combinator Library for Lean 4
KislyjKisel/lean4-unicode-basic
Basic Unicode support for Lean 4
KislyjKisel/LeanMySQL
A MySQL API for Lean 4
KislyjKisel/libffi-lake
KislyjKisel/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
KislyjKisel/Luau.lean
Thin Luau bindings for Lean4
KislyjKisel/misc
KislyjKisel/mwe-require-externlib
KislyjKisel/mwe-require-externlib2
KislyjKisel/my-editor
KislyjKisel/raylib
A simple and easy-to-use library to enjoy videogames programming
KislyjKisel/yoga.lean
Yoga layout engine bindings for Lean4