Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
-
Updated
Aug 25, 2025 - Lean
Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
Flutter application that integrate with lmdb
Minimal Python FFI for the `harper-core` Grammar Checker library
Пример реализации FFI для PHP на языке программирования Zig
Minimal Swift FFI for the `harper-core` Grammar Checker library
A fast malware scanner made in Rust. It works with PHP using FFI. This scanner reads pattern rules and checks PHP files for bad code. It works like PHP's strpos and preg_match, but it is much faster.
A Flutter app displaying a 2D isometric map created with C
Add a description, image, and links to the ffi-example topic page so that developers can more easily learn about it.
To associate your repository with the ffi-example topic, visit your repo's landing page and select "manage topics."