Image manipulation example for agda-ffi-hs

An example demonstrating usage of agda-ffi-hs to build interactive graphical application in Agda with OpenGL, SDL2 and DearImGui.

Screenshot

Features

• Resizing (nearest neighbor, 2 variants of bilinear)
• Rotation
• Filters (3x3: median, convolutional)

Requirements

• ghc-9.4
• cabal-2.4
• libsdl2
• Agda compatible with agda-ffi-hs (ffi pragmas with type arity annotation)
• agda-stdlib experimental
• agda-ffi-hs (tested with 1bd3a14)

Running

./build.sh && cabal run