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
Minimal Swift FFI for the `harper-core` Grammar Checker library
A Flutter app displaying a 2D isometric map created with C
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.
Пример реализации FFI для PHP на языке программирования Zig
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."