kislyjkisel Goto Github PK

3d-math

A library implementing the necessary linear algebra math for 2D and 3D computations

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-ffi-hs

Bindings to Haskell's libraries for Agda

agda-ffi-hs-example-image-manip

agda-library-lookup

agda-mode-vscode

agda-mode on VS Code

agda-stdlib

The Agda standard library

array-utils

A tiny collection of utilities to work with arrays and vectors.

backpg

chip8-lean4

Chip8 interpreter written in Lean4

cl-autowrap

(c-include "file.h") => complete FFI wrapper

cl-blend2d

cl-sdl3

cl-wgpu

cl-yogalayout

discord-reactstat

evondz

expression-jit

flecs.lean

Thin Flecs bindings for Lean4

frontpg2

uni

game1

Example/test of gamedev related libraries' bindings

http

Basic HTTP definitions and parsing for Lean

klg-fxwfxp

Fixed width fixed point numbers (for computation)

kslgui

GUI library created as part of an extensible game asset editor project

lean-pod

Low level utils (native signed integers and single precision float, byte spans etc)

lean4-gameoflife

Raylib.lean example implementing game of life

lean4-parser

Parser Combinator Library for Lean 4

lean4-unicode-basic

Basic Unicode support for Lean 4

leanmysql

A MySQL API for Lean 4

libffi-lake