Awesome GitHub RepositoriesForeign Function Interfaces

Skia is a high-performance 2D graphics rendering library used for drawing text, geometries, and images on digital surfaces. It functions as a hardware-accelerated graphics engine that offloads drawing operations to the GPU, a vector graphics processor for SVG and complex paths, and a typography engine for shaping and drawing characters with Unicode support. The project provides a cross-platform image codec for encoding and decoding standard image formats into raw pixel data across multiple operating systems. It also enables the development of user interfaces that maintain visual consistency a

PureScript is a statically typed, purely functional programming language that compiles to JavaScript. It is designed as a cross-platform frontend language for building safe web applications, utilizing a static type system and a JavaScript compiler to ensure program correctness across browser and server environments. The language is distinguished by its emphasis on mathematical purity, featuring a robust type system with first-class support for monads. It provides a sophisticated toolset for static verification, including algebraic data types, type classes, and automatic type inference to reje

Lean 4 is a functional programming language and interactive proof assistant used to formalize mathematics and verify software correctness. It functions as a dependent type theorem prover and a formal verification tool that allows users to construct mathematical proofs and ensure program correctness. Additionally, it serves as a logic-based source for generating verified datasets used to train and benchmark artificial intelligence reasoning systems. The system distinguishes itself through a small-kernel verification model, where all proofs are verified by a trusted core of basic logical rules.

This project is a comprehensive technical guide and diagnostic manual for analyzing memory, performance, and asynchronous behavior within Node.js applications. It provides detailed methods for asynchronous tracing, memory diagnostics, and performance analysis to resolve runtime errors and execution bottlenecks. The resource distinguishes itself by covering advanced diagnostic workflows, including the use of flame graphs for CPU profiling, the capture and comparison of heap snapshots for memory leak detection, and the mapping of asynchronous call stacks. It also provides technical guidance on

Gumbo-parser es una librería de análisis HTML5 de alto rendimiento escrita en C99 puro. Transforma el marcado sin procesar en un árbol de documentos estructurado mediante la implementación de las reglas formales de tokenización de máquina de estados y recuperación de errores definidas en la especificación HTML5. El proyecto sirve como una herramienta de mapeo de fuentes HTML, vinculando nodos analizados de nuevo a sus desplazamientos de bytes y punteros originales dentro del búfer de entrada. Esto permite el seguimiento preciso de las ubicaciones de origen para los elementos dentro del árbol de análisis resultante. Más allá del procesamiento completo de documentos, la librería maneja fragmentos HTML aislados y proporciona una interfaz de funciones extranjeras basada en C para permitir la integración y enlaces de lenguaje para otros entornos.

HelloSilicon es una guía de programación y tutorial para escribir y depurar código ensamblador de 64 bits de bajo nivel específicamente para procesadores Apple Silicon. Sirve como referencia de arquitectura para interactuar con servicios del kernel de macOS e iOS utilizando llamadas al sistema y registros de hardware. El proyecto proporciona instrucción especializada sobre la interfaz de funciones externas (FFI) para unir ensamblador con lenguajes de alto nivel como C o Python. También incluye un kit de herramientas para configurar binarios Mach-O y compilar binarios universales y bibliotecas dinámicas para compatibilidad entre hardware. El material cubre la programación de sistemas de bajo nivel, incluyendo direccionamiento de memoria, convenciones de llamada y el uso de depuradores para inspeccionar registros y memoria.

Imageflow es una librería de manipulación de imágenes y motor de composición de alto rendimiento, disponible como librería compatible con C, procesador de imágenes de línea de comandos y servidor de procesamiento de imágenes dinámico. Proporciona los medios para decodificar, codificar y aplicar transformaciones visuales complejas a imágenes a través de interfaces programáticas, archivos de trabajo JSON o cadenas de consulta URL al vuelo. El sistema se distingue por un pipeline de procesamiento basado en grafos que permite la codificación multiformato en una sola pasada, generando múltiples tamaños y formatos de imagen a partir de una sola decodificación para reducir la sobrecarga. Además, cuenta con un motor de decodificación con restricciones de recursos que impone límites estrictos de memoria y dimensiones para evitar el agotamiento de recursos y ataques de denegación de servicio. El proyecto cubre una amplia gama de capacidades de manipulación, incluyendo redimensionamiento de dimensiones, recorte, rotación y filtrado de color. Soporta tareas de composición avanzadas como marcas de agua, generación de lienzos en blanco y renderizado de formas geométricas, junto con corrección de color automatizada y ajustes de balance de blancos mediante análisis de histograma. La lógica central se expone a través de bindings de interfaz de funciones externas (FFI) para la integración entre lenguajes.

GodotSteam is a game engine plugin and API wrapper that integrates the Steamworks SDK into the Godot engine. It serves as a bridge between the engine's scripting layer and platform services, allowing applications to access social features and platform-specific connectivity. The project utilizes a C++ wrapper and a C-compatible foreign function interface to bind the Steamworks SDK. It includes a session manager that handles application ID initialization and enforces that the application is launched through the Steam client to validate ownership and session integrity. The integration covers se