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 ist eine leistungsstarke HTML5-Parsing-Bibliothek, die in reinem C99 geschrieben ist. Sie transformiert rohes Markup in einen strukturierten Dokumentbaum, indem sie die formalen Zustandsautomaten-Tokenisierungs- und Fehlerbehebungsregeln implementiert, die in der HTML5-Spezifikation definiert sind. Das Projekt dient als HTML-Quell-Mapping-Tool, das geparste Knoten zurück auf ihre ursprünglichen Byte-Offsets und Zeiger innerhalb des Eingabepuffers verknüpft. Dies ermöglicht die präzise Nachverfolgung von Quellpositionen für Elemente innerhalb des resultierenden Parse-Baums. Über die vollständige Dokumentverarbeitung hinaus handhabt die Bibliothek isolierte HTML-Fragmente und bietet eine C-basierte Foreign Function Interface, um Integration und Sprachbindungen für andere Umgebungen zu ermöglichen.

HelloSilicon ist ein Programmierleitfaden und Tutorial zum Schreiben und Debuggen von Low-Level-64-Bit-Assembly-Code speziell für Apple Silicon-Prozessoren. Es dient als Architekturreferenz für die Interaktion mit macOS- und iOS-Kernel-Diensten unter Verwendung von Systemaufrufen und Hardware-Registern. Das Projekt bietet spezialisierte Anleitungen zum Foreign-Function-Interfacing, um Assembly mit Hochsprachen wie C oder Python zu verbinden. Es enthält zudem ein Toolkit zur Konfiguration von Mach-O-Binaries sowie zum Kompilieren universeller Binaries und dynamischer Bibliotheken für hardwareübergreifende Kompatibilität. Das Material deckt Low-Level-Systemprogrammierung ab, einschließlich Speicheradressierung, Aufrufkonventionen und der Verwendung von Debuggern zur Inspektion von Registern und Speicher.

Imageflow is a high-performance image manipulation library and composition engine available as a C-compatible library, a command-line image processor, and a dynamic image processing server. It provides the means to decode, encode, and apply complex visual transformations to images through programmatic interfaces, JSON job files, or on-the-fly URL query strings. The system distinguishes itself through a graph-based processing pipeline that allows for single-pass multi-format encoding, generating multiple image sizes and formats from a single decode to reduce overhead. It further features a res

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