pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.
tzemanovic
add c-ffi-gen parser
Created by tzemanovic on Jun 13, 2026, 7:51 PM
KGCNLVNLYDSCJX4HKWDNJZO5IKHXMKTSWC7FUG4AALXTKFTACA5AC
State: PKXCGPKXGIKJS7XI5ENK6TLDYW2MWMWLLFKCVQ4UM7JCMUNBXEFQC
  • c-ffi-gen
  • c-ffi-gen/test
  • c-ffi-gen/test/test.ipkg
  • c-ffi-gen/test/src
  • c-ffi-gen/test/src/Main.idr
  • c-ffi-gen/src
  • c-ffi-gen/src/Main.idr
  • c-ffi-gen/pack.toml
1 more file
  • c-ffi-gen/c-ffi-gen.ipkg
tzemanovic
setup bind-winit, wip event handling and idris types
Created by tzemanovic on Jun 7, 2026, 3:48 PM
SVTZYOEX2VADF52EADGMDXUHSL4WCZZDHRVBKKCGLECNONLE4V6AC
State: HEPL7DQWLYIB6PVKNFC4KJPSODQ473TCKDB7DMPP5NY37DQIQMVAC
  • bind-winit
  • bind-winit/.gitignore
  • bind-winit/.ignore
  • bind-winit/Cargo.lock
  • bind-winit/Cargo.toml
  • bind-winit/cbindgen.toml
  • bind-winit/examples
  • bind-winit/examples/app.rs
47 more files
  • bind-winit/src
  • bind-winit/src/event.rs
  • bind-winit/src/event_loop.rs
  • bind-winit/src/lib.rs
  • bind-winit/src/util.rs
  • bind-winit/src/window.rs
  • window.ipkg
  • test
  • test/test.ipkg
  • test/src
  • test/src/Main.idr
  • src
  • src/Winit
  • src/Winit/FFI.idr
  • src/Graphics
  • src/Graphics/Window.idr
  • src/Graphics/Window
  • src/Graphics/Window/Event.idr
  • src/Graphics/Window/Event
  • src/Graphics/Window/Event/FromRaw.idr
  • script
  • script/prebuild.sh
  • pack.toml
  • justfile
  • examples
  • examples/app
  • examples/app/src
  • examples/app/src/Main.idr
  • examples/app/app.ipkg
  • bind_winit.h
  • bind_winit
  • bind_winit/src
  • bind_winit/src/window.rs
  • bind_winit/src/util.rs
  • bind_winit/src/lib.rs
  • bind_winit/src/event_loop.rs
  • bind_winit/src/event.rs
  • bind_winit/examples
  • bind_winit/examples/app.rs
  • bind_winit/cbindgen.toml
  • bind_winit/Cargo.toml
  • bind_winit/Cargo.lock
  • bind_winit/.ignore
  • bind_winit/.gitignore
  • README.md
  • .ignore
  • .gitignore
tzemanovic
add bind-winit
Created by tzemanovic on May 2, 2026, 10:18 AM
VSGWJF4FGSPGO32CKQJP3ETFPWGG5M7CYGAQC62WZ4T3BVY3JZPQC
State: RAXAE2MYHUAFRX7HURSLSSZCMUG2YJUK755R3KCH3EVXJ5ZL3G2AC
  • justfile
  • bind_winit.h
  • bind-winit
  • bind-winit/src
  • bind-winit/src/window.rs
  • bind-winit/src/util.rs
  • bind-winit/src/lib.rs
  • bind-winit/src/event_loop.rs
12 more files
  • bind-winit/src/event.rs
  • bind-winit/examples
  • bind-winit/examples/app.rs
  • bind-winit/cbindgen.toml
  • bind-winit/Cargo.toml
  • bind-winit/Cargo.lock
  • bind-winit/.ignore
  • bind-winit/.gitignore
  • README.md
  • LICENSE
  • .ignore
  • .gitignore
State: RYPMVBCYISHL6AAUZV4NNYAD25FBDDYOMLWRVGBYUJRSV6NMLOEAC