guest › [sign in] [explore]

{/} code [~] changes [>] discussions [*] jobs

mode name

drwxr-xr-x bind_winit/

drwxr-xr-x c-ffi-gen/

drwxr-xr-x examples/

drwxr-xr-x script/

drwxr-xr-x src/

drwxr-xr-x test/

-rw-r--r-- .gitignore

-rw-r--r-- .ignore

-rw-r--r-- LICENSE

-rw-r--r-- README.md

-rw-r--r-- bind_winit.h

-rw-r--r-- justfile

-rw-r--r-- pack.toml

-rw-r--r-- window.ipkg

README

idris2-window

Idris2 native cross-platform window creation and management library.

It’s built via a C binding to winit Rust crate.

Winit bindings

The bindings for winit Rust crate are generated from bind_winit. To regenerate the C header file bind_winit.h run just gen_header