György Kurucz

Advanced
@kuruczgy
kuruczgy.com/

x1e-nixos-config. NixOS configs for the Lenovo Yoga Slim 7x

79

lean-vulkan. Lean

6

lean-esp32. This is a mirror, please contribute on Codeberg: https://codeberg.org/kuruczgy/lean-esp32

4

kiwmi. My fork of kiwmi

2

libtouch. A library for processing multi-touch gestures

2

lean-model-checking. Formalizations of some theorems related to model checking

2

cross-build-tools. A set of build scripts for compiling C applications to Linux, WebAssembly, and Android

1
7
Apply